Gödel and Set Theory

DOI10.2178/bsl/1185803804zbMath1145.03002MaRDI QIDQ5421029

Akihiro Kanamori

Publication date: 22 October 2007

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.bsl/1185803804

zbMATH Keywords

consistency; Zermelo; Tarski; truth; large cardinals; set theory; continuum hypothesis; axiom of choice; proof; Cantor; Cohen; constructible universe

Mathematics Subject Classification ID

00A30: Philosophy of mathematics

01A60: History of mathematics in the 20th century

03A05: Philosophical and critical aspects of logic and foundations

03E55: Large cardinals

03E50: Continuum hypothesis and Martin's axiom

03-03: History of mathematical logic and foundations

03E25: Axiom of choice and related propositions

Cites Work

• Unnamed Item
• Unnamed Item
• Gödel on Tarski
• Descriptive set theory
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• Measurable cardinals and the continuum hypothesis
• From Dedekind to Gödel. Essays on the development of the foundations of mathematics
• Axiom schemata of strong infinity in axiomatic set theory
• Abstract set theory
• Undefinability of truth. the problem of priority:tarski vs gödel
• The Mathematical Development of Set Theory from Cantor to Cohen
• The fine structure of the constructible hierarchy
• Gödel's Program Revisited Part I: The Turn to Phenomenology
• The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
• Consistency-Proof for the Generalized Continuum-Hypothesis
• What is Cantor's Continuum Problem?