The search for new axioms in the hyperuniverse programme

DOI10.1007/978-3-319-31644-4_10MaRDI QIDQ5896080zbMATH OpenOpenAlexFDO

Authors 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

hyperuniverse programmenew axiomsset-theoretic multiverse

Mathematics Subject Classification ID

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

Recommendations

• The search for new axioms in the hyperuniverse programme
• The hyperuniverse program
• Evidence for Set-Theoretic Truth and the Hyperuniverse Programme
• Multiverse conceptions in set theory
• Explaining maximality through the hyperuniverse programme

Cites work

• Believing the axioms. I
• Believing the axioms. II
• Bounded forcing axioms as principles of generic absoluteness
• Category forcings, \(\mathsf{MM}^{+++}\), and generic absoluteness for the theory of strong forcing axioms
• Characterization of generic extensions of models of set theory
• Foundational implications of the inner model hypothesis
• scientific article; zbMATH DE number 3882394 (Why is no real title available?)
• scientific article; zbMATH DE number 3873291 (Why is no real title available?)
• scientific article; zbMATH DE number 4070882 (Why is no real title available?)
• scientific article; zbMATH DE number 50939 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 1254495 (Why is no real title available?)
• scientific article; zbMATH DE number 1301814 (Why is no real title available?)
• scientific article; zbMATH DE number 1301817 (Why is no real title available?)
• scientific article; zbMATH DE number 1092439 (Why is no real title available?)
• scientific article; zbMATH DE number 1093813 (Why is no real title available?)
• scientific article; zbMATH DE number 194992 (Why is no real title available?)
• scientific article; zbMATH DE number 2107962 (Why is no real title available?)
• scientific article; zbMATH DE number 928934 (Why is no real title available?)
• scientific article; zbMATH DE number 5046787 (Why is no real title available?)
• scientific article; zbMATH DE number 2212217 (Why is no real title available?)
• scientific article; zbMATH DE number 3021448 (Why is no real title available?)
• Internal Consistency and the Inner Model Hypothesis
• Is Cantor's Continuum Problem Inherently Vague?
• Multiverse conceptions in set theory
• On reflection principles
• On strong forms of reflection in set theory
• On the consistency strength of the inner model hypothesis
• On the Question of Absolute Undecidability
• Set theoretic naturalism
• The continuum hypothesis. II.
• The hyperuniverse program
• THE POTENTIAL HIERARCHY OF SETS
• What is Cantor's Continuum Problem?

Cited in

(5)

• The hyperuniverse program
• Evidence for Set-Theoretic Truth and the Hyperuniverse Programme
• The search for new axioms in the hyperuniverse programme
• Maddy On The Multiverse
• Maximality principles in the hyperuniverse programme

This page was built for publication: The search for new axioms in the hyperuniverse programme

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5896080)