On the Set-Generic Multiverse

DOI10.1007/978-3-319-62935-3_5zbMath1439.03090arXiv1607.01625OpenAlexW2467005568MaRDI QIDQ3305408

Sakaé Fuchino, Hiroshi Sakai, 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://arxiv.org/abs/1607.01625

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (3)

Generic extensions of models of ZFC ⋮ The long extender algebra ⋮ UNIVERSISM AND EXTENSIONS OF V

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Foundational implications of the inner model hypothesis
• A natural model of the multiverse axioms
• Proof theory. 2nd ed
• Set theory. An introduction to independence proofs
• Intermediate submodels and generic extensions in set theory
• Fine structure and class forcing
• Certain very large cardinals are not created in small forcing extensions
• Set-theoretic geology
• The hyperuniverse program
• THE SET-THEORETIC MULTIVERSE
• Characterization of generic extensions of models of set theory
• The downward directed grounds hypothesis and very large cardinals
• The modal logic of forcing
• Internal Consistency and the Inner Model Hypothesis

This page was built for publication: On the Set-Generic Multiverse