↧
Answer by C7X for Smallest ordinal modelling $\aleph_1$?
About well-definedness of $X_1$, "being a model of ZFC" is definable since ZFC is a recursive theory, so we could construct some $\Sigma_1^0$ predicate $\textrm{isZFCAxiom}(e)$ for $e$ a Godel-coding...
View ArticleSmallest ordinal modelling $\aleph_1$?
Let $X_1$ be the class of all ordinals $\alpha$ such that there exists a transitive model $M$ of ZF(C) such that $M$ thinks that $\alpha$ is $\aleph_1$.Every class of ordinals has a minimum element...
View Article
More Pages to Explore .....