Gödel and Set Theory

DOI10.2178/bsl/1185803804zbMath1145.03002OpenAlexW2094562124MaRDI 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

consistencyZermeloTarskitruthlarge cardinalsset theorycontinuum hypothesisaxiom of choiceproofCantorCohenconstructible universe

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50) History of mathematical logic and foundations (03-03) Axiom of choice and related propositions (03E25)

Related Items (1)

Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective

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?

This page was built for publication: Gödel and Set Theory