Answer by Joel David Hamkins for Gödel's Constructible Universe in Infinitary...
Theorem.$L_\infty$ is the entire set-theoretic universe $V$.Proof. I claim that every set will arise in the construction process, because eventually it will become explicitly definable by a formula. In...
View ArticleGödel's Constructible Universe in Infinitary Logics (A Possible Approach to...
Gödel's constructible universe ($L$) is defined using definable power set operator in first order logic ($\mathcal{L}_{\omega ,\omega}$). One can produce such a universe in infinitary logics in the...
View Article
More Pages to Explore .....
