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

If ZF has a standard model there is a least ordinal $\sigma$ such that $L_{\sigma}$ is a model of ZFC. What is $\sigma$ called?

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

It does not have any particular name or notation: it is just ''the height of the minimal model of set theory''

share|cite|improve this answer
I thought as much. Wikipedia misleadingly calls it an $unprovable \ ordinal $. Perhaps one should start calling it $ the \ Cohen \ ordinal $. – Frode Bjørdal Aug 3 '13 at 18:01
``The Cohen ordinal'' would be a misattribution: John Shepherdson also identified the ordinal more than a decade earlier in one of three JSL articles in the late forties (I forget which one) analysing the Goedel model. I doubt he was alone. Mostowski? – Philip Welch Aug 8 '13 at 18:56
I knew about Shepherdson, who I thought wrote in the early fifties. If I remember correctly, though, Cohen made some improvements in describing the minimal model. Nevertheless, a $Shepherdson \ ordinal$ would be fine. A reference to Mostowski on this would be welcome. – Frode Bjørdal Aug 10 '13 at 1:03

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.