Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

It is a classical result that if $0^{\sharp}$ exists, then there is a model of $ZFC$ in which there is a $\Delta^1_3$ well ordering of reals but no $\Delta^1_2$-well ordering.

My question is: Is $0^{\sharp}$ necessary to prove this? Or does the statement $\mathbf{CON}(ZFC+\mbox{there is a }\Delta^1_3\mbox{ well ordering of reals but no }\Delta^1_2 )$ implies the consistency of the existence of $0^{\sharp}$?

share|improve this question

1 Answer 1

up vote 6 down vote accepted

Hi Yu,

No, your statement is equiconsistent with $\mathsf{ZFC}$. In

Leo Harrington. Long projective wellorderings, Annals of Mathematical Logic 12 (1977) 1-21, MR0465866 (57 #5752).

it is shown that it is equiconsistent with $\mathsf{ZFC}$ to have a boldface $\Delta^1_3$ well-ordering and Martin's axiom. But the existence of boldface $\Delta^1_2$ well-orderings implies that the reals are the reals of $L[r]$ for some real $r$ (this is a result of Mansfield), and this fails under Martin's axiom.

(The boldface in Leo's result can be made lightface at the cost of more complicated coding techniques. This was shown by Sy Friedman, see his book on "Class forcing". If we do not care about also having $\mathsf{MA}$, Leo's paper also shows how to obtain from $\mathsf{ZFC}$ models with lightface $\Delta^1_3$ well-orderings.)

Going beyond $\mathsf{MA}$, recently, Sy and I proved that if $\mathsf{BPFA}$ holds and $\omega_1=\omega_1^L$, then there is a lightface $\Delta^1_3$ well-ordering of $\mathbb R$. Curiously, it is still open whether starting with $L$ and using the standard forcing for $\mathsf{MA}$ ($+2^\omega=\omega_2$) results in a model with a definable well-ordering of $\mathbb R$.

On the other hand, there is a connection with sharps: Assume that there are no inner models with a strong cardinal (or there is a measurable, but there are no inner models with a Woodin cardinal). If all reals have sharps, and there is a $\Delta^1_3(r)$ well-ordering (for some real $r$), then the reals are the reals of the core model $K_r$. This was first noted by Welch.


Some references:

  • Mansfield result was nicely reproved by Alekos: Alexander Kechris. The perfect set theorem and definable wellorderings of the continuum, J. Symbolic Logic 43 (1978), no. 4, 630–634, MR0518668 (80b:03067).

  • Sy D. Friedman. Fine structure and class forcing, de Gruyter Series in Logic and its Applications, 3. Walter de Gruyter & Co., Berlin, 2000, MR1780138 (2001g:03001).

  • Andrés E. Caicedo, Sy D. Friedman. $\mathsf{BPFA}$ and projective well-orderings of the reals, J. Symbolic Logic 76 (2011), no. 4, 1126–1136, MR2895389 (2012m:03123).

  • For Welch's result, see: Ralf Schindler. Coding into $K$ by reasonable forcing, Trans. Amer. Math. Soc. 353 (2001), no. 2, 479–489, MR1804506 (2002c:03083).

share|improve this answer
    
Andres, thanks! I just got the paper. It seems that Leo also proved the lightface $\Delta^1_3$ one in the same paper. –  Liang Yu Dec 15 '12 at 17:18
    
Yes, the complication that needed Sy's techniques comes in trying to get MA as well, I'll edit to reflect this. –  Andres Caicedo Dec 15 '12 at 17:23

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.