Feferman on Set Theory: Infinity up on Trial
From MaRDI portal
Publication:5214797
DOI10.1007/978-3-319-63334-3_19zbMath1429.03156OpenAlexW2795137837MaRDI QIDQ5214797
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
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
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