UNIVERSISM AND EXTENSIONS OF V

DOI10.1017/S1755020320000271zbMath1500.03002arXiv1708.05751MaRDI QIDQ5001554

Carolin Antos, Neil Barton, Sy-David Friedman

Publication date: 22 July 2021

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1708.05751

zbMATH Keywords

extensionsadmissible setmodels of set theoryset theoriesmultiversismuniversism

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Nonclassical and second-order set theories (03E70)

Related Items (6)

Ideal objects for set theory ⋮ Inner-model reflection principles ⋮ First‐order undefinability of the notion of transfinitely uplifting cardinals ⋮ Set Theory and Structures ⋮ Forcing and the universe of sets: must we lose insight? ⋮ Structural relativity and informal rigour

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Classes and truths in set theory
• Multiverse conceptions in set theory
• A natural model of the multiverse axioms
• On an alleged refutation of Hilbert's Program using Gödel's first incompleteness theorem
• Hilbert's program. An essay on mathematical instrumentalism
• Fine structure and class forcing
• Maximality and ontology: how axiom content varies across philosophical frameworks
• Forcing and the universe of sets: must we lose insight?
• Naive infinitism: the case for an inconsistency approach to infinite collections
• Certain very large cardinals are not created in small forcing extensions
• Set-theoretic geology
• On strong forms of reflection in set theory
• The hyperuniverse program
• THE SET-THEORETIC MULTIVERSE
• DEFINABILITY OF SATISFACTION IN OUTER MODELS
• Iterated Forcing and Elementary Embeddings
• Class Forcing in Class Theory
• Hyperclass Forcing in Morse-Kelley Class Theory
• On the Set-Generic Multiverse
• On the consistency strength of the inner model hypothesis
• Characterization of generic extensions of models of set theory
• A characterization of Martin's axiom in terms of absoluteness
• The downward directed grounds hypothesis and very large cardinals
• Plural Quantification and Classes†
• Foundations of Mathematics
• Open determinacy for class games
• The Impact of Paul Erdős on Set Theory
• Internal Consistency and the Inner Model Hypothesis
• What Does Gödel's Second Theorem Say†

This page was built for publication: UNIVERSISM AND EXTENSIONS OF V