The search for new axioms in the hyperuniverse programme

DOI10.1007/978-3-319-31644-4_10zbMATH Open1436.03261OpenAlexW2494638727MaRDI QIDQ5896080FDOQ5896080

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Internal Consistency and the Inner Model Hypothesis
• On the consistency strength of the inner model hypothesis
• Foundational implications of the inner model hypothesis
• Title not available (Why is that?)
• On strong forms of reflection in set theory
• The hyperuniverse program
• Title not available (Why is that?)
• Title not available (Why is that?)
• Is Cantor's Continuum Problem Inherently Vague?
• THE POTENTIAL HIERARCHY OF SETS
• Multiverse conceptions in set theory
• What is Cantor's Continuum Problem?
• On reflection principles
• Believing the axioms. I
• The continuum hypothesis. II.
• Characterization of generic extensions of models of set theory
• Believing the axioms. II
• Set theoretic naturalism
• Bounded forcing axioms as principles of generic absoluteness
• On the Question of Absolute Undecidability
• Title not available (Why is that?)
• Category forcings, \(\mathsf{MM}^{+++}\), and generic absoluteness for the theory of strong forcing axioms
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

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

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)