Evidence for Set-Theoretic Truth and the Hyperuniverse Programme
From MaRDI portal
Publication:3305407
DOI10.1007/978-3-319-62935-3_4zbMath1439.03021OpenAlexW2793995442MaRDI QIDQ3305407
Publication date: 7 August 2020
Published in: The Hyperuniverse Project and Maximality (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-62935-3_4
Philosophical and critical aspects of logic and foundations (03A05) Axiomatics of classical set theory and its fragments (03E30)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Foundational implications of the inner model hypothesis
- Multiverse conceptions in set theory
- Fine structure and class forcing
- Ordinal definable subsets of singular cardinals
- Naive infinitism: the case for an inconsistency approach to infinite collections
- On strong forms of reflection in set theory
- The hyperuniverse program
- The Stable core
- DEFINABILITY OF SATISFACTION IN OUTER MODELS
- A quasi-lower bound on the consistency strength of PFA
- Multiversism and Concepts of Set: How Much Relativism Is Acceptable?
- On the consistency strength of the inner model hypothesis
- Set Theory
- THE POTENTIAL HIERARCHY OF SETS
- A MULTIVERSE PERSPECTIVE ON THE AXIOM OF CONSTRUCTIBILITY
- Collapsing the cardinals of HOD
- Internal Consistency and the Inner Model Hypothesis
- Defending the Axioms
- Interpreting Gödel
- The Search for New Axioms in the Hyperuniverse Programme
- On reflection principles
- Semantic theory and necessary truth
This page was built for publication: Evidence for Set-Theoretic Truth and the Hyperuniverse Programme