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

I want to show the following theorem from Feferman and Kreisel:

Let $\phi$ be such that there is a theorem $\sigma$ of ZFC so that for every transitive model $M$ of $\sigma$, we have: $\phi^M \to \phi$.

Then: $\phi$ is equivalent to a $\Sigma_1$ formula.

Can someone give me a proof or some bibliographic references please?

share|cite|improve this question

Suppose that $\phi$ is an assertion and there is a sentence $\sigma$ provable in ZFC such that whenever $\sigma$ holds in a transitive set $M$ and $\phi$ also holds in $M$, then $\phi$ is true.

Since there definitely are transitive sets in which $\sigma$ is true, by the Levy reflection theorem, it follows that $\phi$ is true provided that there is a transitive set $M$ such that $\sigma$ and $\phi$ are both true in $M$. And conversely, if $\phi$ is true, then again by reflection there are transitive sets in which both $\sigma$ and $\phi$ are true. Thus, $\phi$ is equivalent to the assertion: "There is a set $M$ such that $M$ is transitive and $\langle M,{\in}\rangle\models\sigma\wedge\phi$". But this is a $\Sigma_1$ assertion in set theory, because you have the initial unbounded quantifier $\exists M$, followed by assertions all of whose quantifiers may be bounded by $M$. Thus, the only unbounded quantifier is $\exists M$, and so $\phi$ is equivalent to a $\Sigma_1$ assertion, as requested.

I am sorry that I don't know any bibliographic reference.

share|cite|improve this answer

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.