Initial Segments of the Degrees of Unsolvability Part I: A Survey
- 1 January 1970
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Some nondistributive lattices as initial segments of the degrees of unsolvabilityThe Journal of Symbolic Logic, 1969
- Initial Segments of Turing DegreesProceedings of the London Mathematical Society, 1969
- SOME CONSEQUENCES OF THE AXIOM OF DEFINABLE DETERMINATENESSProceedings of the National Academy of Sciences, 1968
- The axiom of determinateness and reduction principles in the analytical hierarchyBulletin of the American Mathematical Society, 1968
- Distributive Initial Segments of the Degrees of UnsolvabilityMathematical Logic Quarterly, 1968
- A theorem on minimal degreesThe Journal of Symbolic Logic, 1966
- A minimal degree less than 0’Bulletin of the American Mathematical Society, 1961
- On Degrees of UnsolvabilityAnnals of Mathematics, 1959
- Recursive well-orderingsThe Journal of Symbolic Logic, 1955
- Undecidability of Some Topological TheoriesFundamenta Mathematicae, 1951