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

I know that arithmetic sentences are conserved under the addition of the axiom of choice and the continuum hypothesis to ZF (i.e. ($ZF+AC \vdash \phi$ iff $ZF \vdash \phi$) and ($ZF+CH \vdash \phi$ iff $ZF \vdash \phi$) for arithmetic sentences $\phi$) Does this result extend to analytic sentences or other hyperarithmetic sentences? If so, how far does it extend up the hyperarithmetic hierarchy?

share|improve this question
add comment

1 Answer

up vote 8 down vote accepted

First, let me remark that in your question, you can combine AC and CH together, rather than having two separate conservation results as you did. In fact, you can ramp CH up to GCH and more, including such principles as $\Diamond$ or others, without any problem. That is, the conservation result is that ZFC + GCH proves $\varphi$ if and only if ZF proves $\varphi$, for a large class of statements $\varphi$, including the arithmetic statements, as you mentioned, but much more.

The phenomenon extends completely up the hyperarithmetic hierarchy and beyond, beyond even the analytic sentences up into the projective hiearchary at the level of $\Sigma^1_2$. (In this hiearchy, the hyperarithmetic statements are $\Delta^1_1$ and the analytic statements $\Sigma^1_1$.)

This absoluteness result is the content of the Shoenfield Absoluteness Theorem, which asserts that any $\Sigma^1_2$ statement is absolute between between any two transitive models of set theory $V\subset W$ having the same ordinals. In particular, a $\Sigma^1_2$ statement holds in the universe if and only if it holds in the constructible universe $L$, where both AC and GCH hold.

Thus, the $\Sigma^1_2$ statements provable in ZFC+GCH are the same as those provable in ZF.

share|improve this answer
    
The Wikipedia article suggests that it also holds for $\Pi^1_2$ statements. Is it accurate? –  Russell O'Connor May 3 '10 at 19:37
    
Yes, since if $\Sigma^1_2$ statements are absolute, then so are their negations, which are the $\Pi^1_2$ statements, as well as Boolean combinations of such statements. –  Joel David Hamkins May 4 '10 at 0:00
add comment

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.