Evidence for Set-Theoretic Truth and the Hyperuniverse Programme

DOI10.1007/978-3-319-62935-3_4zbMath1439.03021OpenAlexW2793995442MaRDI QIDQ3305407

Sy-David Friedman

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

Mathematics Subject Classification ID

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