Evidence for Set-Theoretic Truth and the Hyperuniverse Programme

DOI10.1007/978-3-319-62935-3_4MaRDI QIDQ3305407zbMATH OpenOpenAlexFDO

Authors 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://doi.org/10.1007/978-3-319-62935-3_4

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Axiomatics of classical set theory and its fragments (03E30)

Recommendations

• Multiverse set theory and absolutely undecidable propositions
• Multiple universes of sets and indeterminate truth values
• The search for new axioms in the hyperuniverse programme
• The search for new axioms in the hyperuniverse programme
• The set-theoretic multiverse
• The set-theoretic multiverse: a natural context for set theory
• scientific article; zbMATH DE number 1107496
• Set-theoretic absoluteness and the revision theory of truth
• Setoids and universes
• From the universality of mathematical truth to the interoperability of proof systems

Cites work

• scientific article; zbMATH DE number 3733900 (Why is no real title available?)
• scientific article; zbMATH DE number 3743241 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 3508498 (Why is no real title available?)
• scientific article; zbMATH DE number 3593522 (Why is no real title available?)
• scientific article; zbMATH DE number 194992 (Why is no real title available?)
• A MULTIVERSE PERSPECTIVE ON THE AXIOM OF CONSTRUCTIBILITY
• A quasi-lower bound on the consistency strength of PFA
• Collapsing the cardinals of HOD
• Defending the axioms. On the philosophical foundations of set theory
• Definability of satisfaction in outer models
• Fine structure and class forcing
• Foundational implications of the inner model hypothesis
• Internal Consistency and the Inner Model Hypothesis
• Interpreting Gödel. Critical essays
• Multiverse conceptions in set theory
• Multiversism and concepts of set: how much relativism is acceptable?
• Naive infinitism: the case for an inconsistency approach to infinite collections
• On reflection principles
• On strong forms of reflection in set theory
• On the consistency strength of the inner model hypothesis
• Ordinal definable subsets of singular cardinals
• Semantic theory and necessary truth
• Set Theory
• THE POTENTIAL HIERARCHY OF SETS
• The hyperuniverse program
• The search for new axioms in the hyperuniverse programme
• The stable core

Cited in

(4)

• The search for new axioms in the hyperuniverse programme
• The search for new axioms in the hyperuniverse programme
• The hyperuniverse project and maximality
• Explaining maximality through the hyperuniverse programme

This page was built for publication: Evidence for Set-Theoretic Truth and the Hyperuniverse Programme

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