The Search for New Axioms in the Hyperuniverse Programme

DOI10.1007/978-3-319-62935-3_8zbMath1439.03092OpenAlexW4253733851MaRDI QIDQ5896167

Claudio Ternullo, 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://philarchive.org/rec/TERTSF

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Inner models, including constructibility, ordinal definability, and core models (03E45)

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

This page was built for publication: The Search for New Axioms in the Hyperuniverse Programme