Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 53, Issue 4 (1988), 1070-1081.
Definability and Initial Segments of $c$-Degrees
We combine two techniques of set theory relating to minimal degrees of constructibility. Jensen constructed a minimal real which is additionally a $\Pi^1_2$ singleton. Groszek built an initial segment of order type $1 + \alpha^\ast$, for any ordinal $\alpha$. This paper shows how to force a $\Pi^1_2$ singleton such that the $c$-degrees beneath it, all represented by reals, are of type $1 + \alpha^\ast$, for many ordinals $\alpha$. We also examine the definability $\alpha$ needs to be so represented by a real.
J. Symbolic Logic, Volume 53, Issue 4 (1988), 1070-1081.
First available in Project Euclid: 6 July 2007
Permanent link to this document
Mathematical Reviews number (MathSciNet)
Lubarsky, Robert S. Definability and Initial Segments of $c$-Degrees. J. Symbolic Logic 53 (1988), no. 4, 1070--1081. https://projecteuclid.org/euclid.jsl/1183742782