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?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
It does not have any particular name or notation: it is just ''the height of the minimal model of set theory'' 

