MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

From wikipedia:

"Shoenfield's theorem shows that if there is a model ZF in which a given $\Pi^1_3$ statement $\phi$ is false, then $\phi$ is also false in the constructible universe of that model."

The problem is that the only proofs I can find seem to use "a model of ZF+DC" or "a model of ZFC".

Is wikipedia right? If so, is there a proof from just "a model of ZF" online or short enough to sketch here?

share|cite|improve this question
up vote 9 down vote accepted

Wikipedia is correct in that the Shoenfield Absoluteness Theorem holds for plain ZF.

Since the proof of the theorem relies heavily on the absoluteness of well-foundedness, it is tempting to assume DC. However, since the trees that occur in the usual proof of the theorem are canonically well-ordered, DC is not necessary to prove that the well-foundedness of these trees is absolute. For a different approach, see the proof given by Barwise and Fisher in The Shoenfield Absoluteness Lemma. [Israel J. Math. 8 1970, 329-339, MR278934]

share|cite|improve this answer
Does it somehow follow easily from Theorem 4a in that paper? I don't quite see it. – Ricky Demer May 9 '10 at 6:58
It actually follows from Theorem 3a, see Remark 3 which follows that theorem. – François G. Dorais May 18 '10 at 22:25

Your Answer


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.