Journal of Symbolic Logic 53 (4):1070-1081 (1988)
We combine two techniques of set theory relating to minimal degrees of constructibility. Jensen constructed a minimal real which is additionally a Π 1 2 singleton. Groszek built an initial segment of order type 1 + α * , for any ordinal α. This paper shows how to force a Π 1 2 singleton such that the c-degrees beneath it, all represented by reals, are of type 1 + α * , for many ordinals α. We also examine the definability α needs to be so represented by a real
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Citations of this work BETA
No citations found.
Similar books and articles
Some Nondistributive Lattices as Initial Segments of the Degrees of Unsolvability.Manuel Lerman - 1969 - Journal of Symbolic Logic 34 (1):85-98.
Initial Segments of the Lattice of Ideals of R.E. Degrees.Frank P. Weber - 1994 - Journal of Symbolic Logic 59 (4):1326-1350.
Countable Initial Segments of the Degrees of Unsolvability.A. H. Lachlan & R. Lebeuf - 1976 - Journal of Symbolic Logic 41 (2):289-300.
A Theorem on Initial Segments of Degrees.S. K. Thomason - 1970 - Journal of Symbolic Logic 35 (1):41-45.
Degrees of Monotone Complexity.William C. Calhoun - 2006 - Journal of Symbolic Logic 71 (4):1327 - 1341.
Initial Segments of ▵12n + 1-Degrees.Ilias G. Kastanas - 1988 - Journal of Symbolic Logic 53 (1):259 - 268.
Initial Segments of the Degrees of Unsolvability Part II: Minimal Degrees.C. E. M. Yates - 1970 - Journal of Symbolic Logic 35 (2):243-266.
Ω*1 as an Initial Segment of the C-Degrees.Marcia Groszek - 1994 - Journal of Symbolic Logic 59 (3):956 - 976.
Added to index2009-01-28
Total downloads9 ( #458,130 of 2,158,363 )
Recent downloads (6 months)1 ( #355,511 of 2,158,363 )
How can I increase my downloads?