Consistency-Proof for the Generalized Continuum-Hypothesis
From MaRDI portal
Publication:5773170
DOI10.1073/pnas.25.4.220zbMath0021.00102WikidataQ33744505 ScholiaQ33744505MaRDI QIDQ5773170
Publication date: 1939
Published in: Proceedings of the National Academy of Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1073/pnas.25.4.220
Related Items
Iteration Trees, Zermelo and Set Theory, Singular Cardinals and the PCF Theory, The Mathematical Development of Set Theory from Cantor to Cohen, Gödel and Set Theory, THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES, The independence of Ramsey's theorem, Degrees of unsolvability of constructible sets of integers, A choice free theory of Dedekind cardinals, Hierarchies of number-theoretic functions. I, On the inadequacy of inner models, Zermelo and Set Theory, Measure-Theoretic Uniformity in Recursion Theory and Set Theory, Levy and set theory, Characterizations of ordinal numbers in set theory, Maximal sets in \(\alpha\)-recursion theory, The Role of True Finiteness in the Admissible Recursively Enumerable Degrees, Cohen and Set Theory, Constructible models of subsystems of ZF, The work of Kurt Gödel