Infinite forcing and the generic multiverse

DOI10.1007/S11225-019-09851-8MaRDI QIDQ2307303zbMATH OpenOpenAlexWikidataFDO

Authors Giorgio Venturi

Publication date 27 March 2020

Published in Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

forcinggenericitybounded forcing axiomsgeneric absolutenessRobinson's infinite forcing

Mathematics Subject Classification ID

Consistency and independence results (03E35) Model-theoretic forcing (03C25) Generic absoluteness and forcing axioms (03E57)

Abstract: In this article we present a technique for selecting models of set theory that are complete in a model-theoretic sense. Specifically, we will apply Robinson infinite forcing to the collections of models of ZFC obtained by Cohen forcing. This technique will be used to suggest a unified perspective on generic absoluteness principles.

Recommendations

• Forcing, Multiverse and Realism
• A general no-cloning theorem for an infinite multiverse
• The set-theoretic multiverse
• Taming the indefinitely extensible definable universe
• A MULTIVERSE PERSPECTIVE ON THE AXIOM OF CONSTRUCTIBILITY
• A new fine-tuning argument for the multiverse
• Multiverse conceptions in set theory
• Multiverse conceptions in set theory
• The inflationary multiverse
• On the set-generic multiverse

Cites work

• scientific article; zbMATH DE number 3908418 (Why is no real title available?)
• scientific article; zbMATH DE number 1250161 (Why is no real title available?)
• A simple maximality principle
• Bounded forcing axioms as principles of generic absoluteness
• Category forcings, \(\mathsf{MM}^{+++}\), and generic absoluteness for the theory of strong forcing axioms
• Forcing, arithmetic, division rings
• Multiverse set theory and absolutely undecidable propositions
• Resurrection axioms and uplifting cardinals
• Robinson forcing is not absolute
• Set-theoretic geology
• Skolem and pessimism about proof in mathematics
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• The hyperuniverse program
• The realm of the infinite
• The set-theoretic multiverse

Cited in

(7)

• Set-theoretic blockchains
• On the set-generic multiverse
• On the set-generic multiverse
• Cocovering and set forcing
• Forcing, Multiverse and Realism
• An axiomatic approach to forcing and generic extensions
• Forcing in Łukasiewicz predicate logic

This page was built for publication: Infinite forcing and the generic multiverse

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