Forcing, Multiverse and Realism

DOI10.1007/978-3-319-31644-4_12zbMath1436.03263OpenAlexW2495570669MaRDI QIDQ3295824

Giorgio Venturi

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://doi.org/10.1007/978-3-319-31644-4_12

zbMATH Keywords

realismset theorygenericity

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (4)

Ideal objects for set theory ⋮ \(\mathsf{ZF}\) and its interpretations ⋮ INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES ⋮ Second order arithmetic as the model companion of set theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Multiverse conceptions in set theory
• A natural model of the multiverse axioms
• Dependence of variables construed as an atomic formula
• Set theory. An introduction to independence proofs
• Kreisel, the continuum hypothesis and second order set theory
• Provability interpretations of modal logic
• Labyrinth of thought. A history of set theory and its role in modern mathematics
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• Fine structure and class forcing
• A Platonist epistemology.
• Set-theoretic geology
• Category forcings, 𝑀𝑀⁺⁺⁺, and generic absoluteness for the theory of strong forcing axioms
• The hyperuniverse program
• THE SET-THEORETIC MULTIVERSE
• On Arbitrary sets andZFC
• The ground axiom is consistent with V $\neq $ HOD
• Incompatible Ω-Complete Theories
• A Proof of Projective Determinacy
• Second-Order Logic and Foundations of Mathematics
• Logical dreams
• A MULTIVERSE PERSPECTIVE ON THE AXIOM OF CONSTRUCTIBILITY
• The modal logic of forcing
• The ground axiom
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
• Does Mathematics Need New Axioms?
• On reflection principles
• Multiple universes of sets and indeterminate truth values

This page was built for publication: Forcing, Multiverse and Realism