The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis

From MaRDI portal
Publication:5772630

DOI10.1073/pnas.24.12.556zbMath0020.29701OpenAlexW2022040382WikidataQ24521986 ScholiaQ24521986MaRDI QIDQ5772630

Kurt Gödel

Publication date: 1938

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.24.12.556



Related Items

The determinacy of Blackwell games, The Continuum Hypothesis, The Mathematical Intelligencer flunks the Olympics, The Relative Consistency of the Axiom of Choice Mechanized Using Isabelle⁄zf, Infinitary logic and admissible sets, Platonism and Mathematical Intuition in Kurt Gödel's Thought, The definability of fields, The structure of approximate groups., Measures: Back and Forth Between Point sets and Large sets, What is a logic translation?, How many real numbers are there?, On the axiom of extensionality – Part I, Unnamed Item, The inverse conjecture for the Gowers norm over finite fields in low characteristic, Measure-theoretic construction of incomparable hyperdegrees, The discovery of forcing., Hamelsche Basis und projektive Mengen, Zermelo and Set Theory, The Mathematical Development of Set Theory from Cantor to Cohen, Intuitionistic sets and ordinals, An inverse theorem for the Gowers \(U^{s+1}[N\)-norm], Ethics and the Continuum Hypothesis, Relations Between Some Cardinals in the Absence of the Axiom of Choice, The Mathematical Import of Zermelo's Well-Ordering Theorem, sets of reals, Gödel and Set Theory, Non‐isomorphic projective sets, Levy and set theory, The work of Kurt Gödel, Zermelo and Set Theory, Gödel's Program Revisited Part I: The Turn to Phenomenology, Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\), Why Sets?, Uniqueness of trigonometric series and descriptive set theory, 1870-1985, Concrete Mathematical Incompleteness: Basic Emulation Theory, Predicativity and Feferman, Computable numberings of families of infinite sets, AN AXIOMATIC THEORY OF WELL-ORDERINGS, Strong measure zero and meager-additive sets through the prism of fractal measures, Projective Measure Without Projective Baire, Variational Measure, Set theory -- from Cantor's heaven to the first theory among equals, Early History of the Generalized Continuum Hypothesis: 1878–1938, On Nonisomorphic Analytic Sets, Gödel and Intuitionism, The Limits of Predicativity Revisited, Maximal ideals in countable rings, constructively, Forcing and reducibilities. III. Forcing in fragments of set theory