Feferman on Set Theory: Infinity up on Trial

DOI10.1007/978-3-319-63334-3_19zbMath1429.03156OpenAlexW2795137837MaRDI QIDQ5214797

Peter Koellner

Publication date: 5 February 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-63334-3_19

zbMATH Keywords

continuum hypothesispredicativitydefinitenesssemi-constructive systems

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Continuum hypothesis and Martin's axiom (03E50) Second- and higher-order arithmetic and fragments (03F35) Categoricity and completeness of theories (03C35) Determinacy principles (03E60)

Related Items

The scope of Feferman's semi-intuitionistic set theories and his second conjecture

Cites Work

• The constructive Hilbert program and the limits of Martin-Löf type theory
• The unfolding of non-finitist arithmetic
• Does reductive proof theory have a viable rationale?
• Complexity of winning strategies
• Does Mathematics Need New Axioms?
• THE SET-THEORETIC MULTIVERSE
• Large Cardinals from Determinacy
• INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN
• Incompatible Ω-Complete Theories
• Reflecting on incompleteness
• Parsons and I: Sympathies and Differences
• The Predicative Conception of the Continuum
• Strong Logics of First and Second Order
• Systems of predicative analysis
• Does Mathematics Need New Axioms?
• Multiple universes of sets and indeterminate truth values
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item