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

DOI10.1073/PNAS.24.12.556zbMATH Open0020.29701OpenAlexW2022040382WikidataQ24521986 ScholiaQ24521986MaRDI QIDQ5772630FDOQ5772630

Authors 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

zbMATH Keywords

Set theory, real functions

Cited in

(49)

• How many real numbers are there?
• A note on continuous functions on metric spaces
• Levy and set theory
• scientific article; zbMATH DE number 7649968 (Why is no real title available?)
• Concrete mathematical incompleteness: basic emulation theory
• On the axiom of extensionality – Part I
• The inverse conjecture for the Gowers norm over finite fields in low characteristic
• The Continuum Hypothesis
• Measures: Back and Forth Between Point sets and Large sets
• The determinacy of Blackwell games
• The discovery of forcing.
• On Nonisomorphic Analytic Sets
• An inverse theorem for the Gowers \(U^{s+1}[N]\)-norm
• The structure of approximate groups.
• The Mathematical Import of Zermelo's Well-Ordering Theorem
• An axiomatic theory of well-orderings
• The Relative Consistency of the Axiom of Choice Mechanized Using Isabelle⁄zf
• What is a logic translation?
• sets of reals
• Uniqueness of trigonometric series and descriptive set theory, 1870-1985
• The Limits of Predicativity Revisited
• Zermelo and Set Theory
• Why Sets?
• Computable numberings of families of infinite sets
• Strong measure zero and meager-additive sets through the prism of fractal measures
• The work of Kurt Gödel
• Hamelsche Basis und projektive Mengen
• Relations between some cardinals in the absence of the axiom of choice
• Gödel and Set Theory
• Non‐isomorphic projective sets
• Projective Measure Without Projective Baire
• Early history of the generalized continuum hypothesis: 1878--1938
• Maximal ideals in countable rings, constructively
• Infinitary logic and admissible sets
• Measure-theoretic construction of incomparable hyperdegrees
• Platonism and Mathematical Intuition in Kurt Gödel's Thought
• Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)
• Forcing and reducibilities. III. Forcing in fragments of set theory
• The Mathematical Intelligencer flunks the Olympics
• Gödel's Program Revisited Part I: The Turn to Phenomenology
• Variational Measure
• The definability of fields
• Intuitionistic sets and ordinals
• Gödel and intuitionism
• Ethics and the continuum hypothesis
• The Mathematical Development of Set Theory from Cantor to Cohen
• Zermelo and Set Theory
• Predicativity and Feferman
• Set theory -- from Cantor's heaven to the first theory among equals

This page was built for publication: The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5772630)