Studia Logica 108 (2):277-290 (2020)

Authors
Giorgio Venturi
University of Campinas
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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11225-019-09851-8
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,447
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Set-Theoretic Multiverse.Joel David Hamkins - 2012 - Review of Symbolic Logic 5 (3):416-449.
Set-Theoretic Geology.Gunter Fuchs, Joel David Hamkins & Jonas Reitz - 2015 - Annals of Pure and Applied Logic 166 (4):464-501.
Resurrection Axioms and Uplifting Cardinals.Joel David Hamkins & Thomas A. Johnstone - 2014 - Archive for Mathematical Logic 53 (3-4):463-485.
Bounded Forcing Axioms as Principles of Generic Absoluteness.Joan Bagaria - 2000 - Archive for Mathematical Logic 39 (6):393-401.
The Hyperuniverse Program.Tatiana Arrigoni & Sy-David Friedman - 2013 - Bulletin of Symbolic Logic 19 (1):77-96.

View all 6 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Essential Forcing Generics.Stephanie Cawthorne & David Kueker - 2000 - Notre Dame Journal of Formal Logic 41 (1):41-52.
Solovay Models and Forcing Extensions.Joan Bagaria & Roger Bosch - 2004 - Journal of Symbolic Logic 69 (3):742-766.
Bounded Forcing Axioms as Principles of Generic Absoluteness.Joan Bagaria - 2000 - Archive for Mathematical Logic 39 (6):393-401.
Forcing Isomorphism II.M. C. Laskowski & S. Shelah - 1996 - Journal of Symbolic Logic 61 (4):1305-1320.
Forcing Isomorphism II.M. C. Laskowski & S. Shelah - 1996 - Journal of Symbolic Logic 61 (3):1305-1320.
A Characterization of Permutation Models in Terms of Forcing.Eric J. Hall - 2002 - Notre Dame Journal of Formal Logic 43 (3):157-168.
Parameterized Partition Relations on the Real Numbers.Joan Bagaria & Carlos A. Di Prisco - 2009 - Archive for Mathematical Logic 48 (2):201-226.
Forcing Under Anti‐Foundation Axiom: An Expression of the Stalks.Sato Kentaro - 2006 - Mathematical Logic Quarterly 52 (3):295-314.
Proper Forcing Extensions and Solovay Models.Joan Bagaria & Roger Bosch - 2003 - Archive for Mathematical Logic 43 (6):739-750.

Analytics

Added to PP index
2019-02-12

Total views
14 ( #644,248 of 2,326,497 )

Recent downloads (6 months)
5 ( #162,878 of 2,326,497 )

How can I increase my downloads?

Downloads

My notes