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

DOI10.1073/PNAS.24.12.556MaRDI QIDQ5772630zbMATH OpenOpenAlexWikidataFDO

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

(56)

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

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)