The search for new axioms in the hyperuniverse programme

DOI10.1007/978-3-319-31644-4_10MaRDI QIDQ5896080zbMATHOpenAlexFDO

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

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)

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

• 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?)
• 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
• 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 Question of Absolute Undecidability
• On the consistency strength of the inner model hypothesis
• Set theoretic naturalism
• THE POTENTIAL HIERARCHY OF SETS
• The continuum hypothesis. II.
• The hyperuniverse program
• What is Cantor's Continuum Problem?

Cited in

(4)

• Maddy On The Multiverse
• Evidence for Set-Theoretic Truth and the Hyperuniverse Programme
• The hyperuniverse program
• The search for new axioms 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)