The Search for New Axioms in the Hyperuniverse Programme

DOI10.1007/978-3-319-31644-4_10zbMath1436.03261OpenAlexW2494638727MaRDI QIDQ5896080

Claudio Ternullo, Sy-David Friedman

Publication date: 13 July 2020

Published in: Boston Studies in the Philosophy and History of Science (Search for Journal in Brave)

Full work available at URL: https://philarchive.org/rec/TERTSF

zbMATH Keywords

new axiomshyperuniverse programmeset-theoretic multiverse

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Consistency and independence results (03E35) Axiomatics of classical set theory and its fragments (03E30) Other set-theoretic hypotheses and axioms (03E65)

Related Items

Maddy On The Multiverse ⋮ Evidence for Set-Theoretic Truth and the Hyperuniverse Programme

Cites Work

• Foundational implications of the inner model hypothesis
• Multiverse conceptions in set theory
• Bounded forcing axioms as principles of generic absoluteness
• On strong forms of reflection in set theory
• Category forcings, 𝑀𝑀⁺⁺⁺, and generic absoluteness for the theory of strong forcing axioms
• The hyperuniverse program
• On the Question of Absolute Undecidability
• On the consistency strength of the inner model hypothesis
• Believing the axioms. I
• Believing the axioms. II
• Characterization of generic extensions of models of set theory
• Is Cantor's Continuum Problem Inherently Vague?
• Set theoretic naturalism
• THE POTENTIAL HIERARCHY OF SETS
• Internal Consistency and the Inner Model Hypothesis
• What is Cantor's Continuum Problem?
• On reflection principles
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item