Forcing, Multiverse and Realism

DOI10.1007/978-3-319-31644-4_12MaRDI QIDQ3295824zbMATH OpenOpenAlexFDO

Authors 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

genericityrealismset theory

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)

Recommendations

• Infinite forcing and the generic multiverse
• Multiverses: description, uniqueness and testing
• Multiverse theories. A philosophical perspective
• Beyond consistent and complete possible worlds
• Multiverse conceptions in set theory
• Multiverse conceptions in set theory
• Mathematics, Metaphysics and the Multiverse
• A MULTIVERSE PERSPECTIVE ON THE AXIOM OF CONSTRUCTIBILITY
• The set-theoretic multiverse
• Multiverse in the third quantized formalism

Cites work

• A MULTIVERSE PERSPECTIVE ON THE AXIOM OF CONSTRUCTIBILITY
• A natural model of the multiverse axioms
• A Platonist epistemology.
• A Proof of Projective Determinacy
• Category forcings, \(\mathsf{MM}^{+++}\), and generic absoluteness for the theory of strong forcing axioms
• Dependence logic. A new approach to independence friendly logic
• Dependence of variables construed as an atomic formula
• Does mathematics need new axioms?
• Fine structure and class forcing
• scientific article; zbMATH DE number 2184445 (Why is no real title available?)
• scientific article; zbMATH DE number 50939 (Why is no real title available?)
• scientific article; zbMATH DE number 1254495 (Why is no real title available?)
• scientific article; zbMATH DE number 3004282 (Why is no real title available?)
• scientific article; zbMATH DE number 2107962 (Why is no real title available?)
• scientific article; zbMATH DE number 2121504 (Why is no real title available?)
• scientific article; zbMATH DE number 833164 (Why is no real title available?)
• scientific article; zbMATH DE number 3249763 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• scientific article; zbMATH DE number 3335896 (Why is no real title available?)
• Incompatible Ω-Complete Theories
• Kreisel, the continuum hypothesis and second order set theory
• Labyrinth of thought. A history of set theory and its role in modern mathematics
• Logical dreams
• Multiple universes of sets and indeterminate truth values
• Multiverse conceptions in set theory
• Multiverse set theory and absolutely undecidable propositions
• On arbitrary sets and ZFC
• On reflection principles
• Provability interpretations of modal logic
• Second-Order Logic and Foundations of Mathematics
• Set theory. An introduction to independence proofs
• Set-theoretic geology
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• The continuum hypothesis. I
• The ground axiom
• The ground axiom is consistent with V \neq HOD
• The hyperuniverse program
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
• The modal logic of forcing
• The realm of the infinite
• The set-theoretic multiverse

Cited in

(13)

• Ideal objects for set theory
• Forcing and the universe of sets: must we lose insight?
• An axiomatic approach to forcing and generic extensions
• Infinite forcing and the generic multiverse
• Second order arithmetic as the model companion of set theory
• The set-theoretic multiverse: a natural context for set theory
• The set-theoretic multiverse
• On the set-generic multiverse
• Genericity and arbitrariness
• Against the countable transitive model approach to forcing
• \(\mathsf{ZF}\) and its interpretations
• INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES
• TWO ARGUMENTS AGAINST THE GENERIC MULTIVERSE

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

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