Skip to main content
added 976 characters in body
Source Link
Will Brian
  • 18.6k
  • 3
  • 79
  • 106

Jensen proved in this paper that, beginning with $V = L$, it is possible to add a real $a$ by forcing such that $a$ is a $\Delta^1_3$ real in $L[a]$.

This result is the best possible, in the sense that one can never add $\Sigma^1_2$ or $\Pi^1_2$ reals by forcing. This follows from Shoenfield's Absoluteness Theorem (that ismentioned already by Asaf in the comments). In fact, Shoenfield's theorem implies that all $\Sigma^1_2$ and $\Pi^1_2$ reals are constructible; so they can't be added by forcing because they're already in the setground model. $\{a\}$(For a proof, see Theorem 25.20 and Corollary 25.21 in Jech's book).

I do not know whether anyone has improved on Jensen's result to show that a $\Delta^1_3$ real can be added to any ground model by forcing.

Jensen's forcing is lightfacea bit difficult to understand. For an easier-to-understand example of a non-constructible $\Delta^1_3$ real, there is $0^\sharp$. Even if $0^\sharp$ does exist (which is not provable in ZFC $L[a]$-- it is a large cardinal axiom), it cannot be added by any set-sized notion of forcing. So $0^\sharp$ does not answer your question, but it seems related, so I thought I'd share.

Jensen proved in this paper that, beginning with $V = L$, it is possible to add a real $a$ by forcing such that $a$ is a $\Delta^1_3$ real in $L[a]$ (that is, the set $\{a\}$ is lightface $\Delta^1_3$ in $L[a]$).

Jensen proved in this paper that, beginning with $V = L$, it is possible to add a real $a$ by forcing such that $a$ is $\Delta^1_3$ in $L[a]$.

This result is the best possible, in the sense that one can never add $\Sigma^1_2$ or $\Pi^1_2$ reals by forcing. This follows from Shoenfield's Absoluteness Theorem (mentioned already by Asaf in the comments). In fact, Shoenfield's theorem implies that all $\Sigma^1_2$ and $\Pi^1_2$ reals are constructible; so they can't be added by forcing because they're already in the ground model. (For a proof, see Theorem 25.20 and Corollary 25.21 in Jech's book).

I do not know whether anyone has improved on Jensen's result to show that a $\Delta^1_3$ real can be added to any ground model by forcing.

Jensen's forcing is a bit difficult to understand. For an easier-to-understand example of a non-constructible $\Delta^1_3$ real, there is $0^\sharp$. Even if $0^\sharp$ does exist (which is not provable in ZFC -- it is a large cardinal axiom), it cannot be added by any set-sized notion of forcing. So $0^\sharp$ does not answer your question, but it seems related, so I thought I'd share.

Source Link
Will Brian
  • 18.6k
  • 3
  • 79
  • 106

Jensen proved in this paper that, beginning with $V = L$, it is possible to add a real $a$ by forcing such that $a$ is a $\Delta^1_3$ real in $L[a]$ (that is, the set $\{a\}$ is lightface $\Delta^1_3$ in $L[a]$).