Cohen forcing and inner models

Mathematical Logic Quarterly 66 (1):65-72 (2020)
  Copy   BIBTEX

Abstract

Given an inner model and a regular cardinal κ, we consider two alternatives for adding a subset to κ by forcing: the Cohen poset Add(κ, 1), and the Cohen poset of the inner model. The forcing from W will be at least as strong as the forcing from V (in the sense that forcing with the former adds a generic for the latter) if and only if the two posets have the same cardinality. On the other hand, a sufficient condition is established for the poset from V to fail to be as strong as that from W. The results are generalized to, and to iterations of Cohen forcing where the poset at each stage comes from an arbitrary intermediate inner model.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Infinite Forcing and the Generic Multiverse.Giorgio Venturi - 2020 - Studia Logica 108 (2):277-290.
More Notions of Forcing Add a Souslin Tree.Ari Meir Brodsky & Assaf Rinot - 2019 - Notre Dame Journal of Formal Logic 60 (3):437-455.
Generic trees.Otmar Spinas - 1995 - Journal of Symbolic Logic 60 (3):705-726.
Essential Forcing Generics.Stephanie Cawthorne & David Kueker - 2000 - Notre Dame Journal of Formal Logic 41 (1):41-52.
Splitting families and forcing.Miloš S. Kurilić - 2007 - Annals of Pure and Applied Logic 145 (3):240-251.
Forcing with Non-wellfounded Models.Paul Corazza - 2007 - Australasian Journal of Logic 5:20-57.
Forcing notions in inner models.David Asperó - 2009 - Archive for Mathematical Logic 48 (7):643-651.
Forcing with Sequences of Models of Two Types.Itay Neeman - 2014 - Notre Dame Journal of Formal Logic 55 (2):265-298.
Order-isomorphic η 1 -orderings in Cohen extensions.Bob A. Dumas - 2009 - Annals of Pure and Applied Logic 158 (1-2):1-22.
Co-stationarity of the Ground Model.Natasha Dobrinen & Sy-David Friedman - 2006 - Journal of Symbolic Logic 71 (3):1029 - 1043.
More on simple forcing notions and forcings with ideals.M. Gitik & S. Shelah - 1993 - Annals of Pure and Applied Logic 59 (3):219-238.
A Characterization of Permutation Models in Terms of Forcing.Eric J. Hall - 2002 - Notre Dame Journal of Formal Logic 43 (3):157-168.
Iteratively Changing the Heights of Automorphism Towers.Gunter Fuchs & Philipp Lücke - 2012 - Notre Dame Journal of Formal Logic 53 (2):155-174.
Unfoldable cardinals and the GCH.Joel David Hamkins - 2001 - Journal of Symbolic Logic 66 (3):1186-1198.

Analytics

Added to PP
2020-04-03

Downloads
9 (#1,258,729)

6 months
4 (#798,951)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Set Theory.Thomas Jech - 1999 - Studia Logica 63 (2):300-300.
The Ground Axiom.Jonas Reitz - 2007 - Journal of Symbolic Logic 72 (4):1299 - 1317.
Inner mantles and iterated HOD.Jonas Reitz & Kameryn J. Williams - 2019 - Mathematical Logic Quarterly 65 (4):498-510.

Add more references