Quotients of strongly proper forcings and guessing models

&
Journal of Symbolic Logic 81 (1):264-283 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2015.46

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

Aronszajn lines and the club filter.Justin Tatch Moore - 2008 - Journal of Symbolic Logic 73 (3):1029-1035.
Guessing models and generalized Laver diamond.Matteo Viale - 2012 - Annals of Pure and Applied Logic 163 (11):1660-1678.
Preserving Preservation.Jakob Kellner & Saharon Shelah - 2005 - Journal of Symbolic Logic 70 (3):914 - 945.
Club Guessing and the Universal Models.Mirna Džamonja - 2005 - Notre Dame Journal of Formal Logic 46 (3):283-300.
Many countable support iterations of proper forcings preserve Souslin trees.Heike Mildenberger & Saharon Shelah - 2014 - Annals of Pure and Applied Logic 165 (2):573-608.
Forcing with quotients.Michael Hrušák & Jindřich Zapletal - 2008 - Archive for Mathematical Logic 47 (7-8):719-739.
PFA and Ideals on $\omega_{2}$ Whose Associated Forcings Are Proper.Sean Cox - 2012 - Notre Dame Journal of Formal Logic 53 (3):397-412.
Proper forcing extensions and Solovay models.Joan Bagaria & Roger Bosch - 2004 - Archive for Mathematical Logic 43 (6):739-750.
The club principle and the distributivity number.Heike Mildenberger - 2011 - Journal of Symbolic Logic 76 (1):34 - 46.
Continuum-many Boolean algebras of the form.Michael Oliver - 2004 - Journal of Symbolic Logic 69 (3):799-816.
Continuum-Many Boolean Algebras of the Form [image] Borel.Michael Ray Oliver - 2004 - Journal of Symbolic Logic 69 (3):799 - 816.
Inner models with large cardinal features usually obtained by forcing.Arthur W. Apter, Victoria Gitman & Joel David Hamkins - 2012 - Archive for Mathematical Logic 51 (3-4):257-283.
Continuum-many Boolean algebras of the form $\mathcal{p}(\omega)/\mathcal{I}, \mathcal{I}$ borel.Michael Ray Oliver - 2004 - Journal of Symbolic Logic 69 (3):799 - 816.
Guessing and non-guessing of canonical functions.David Asperó - 2007 - Annals of Pure and Applied Logic 146 (2):150-179.
Preserving Non-null with Suslin+ Forcings.Jakob Kellner - 2006 - Archive for Mathematical Logic 45 (6):649-664.

Analytics

Added to PP
2016-06-30

Downloads
20 (#769,678)

6 months
5 (#644,465)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Guessing models and the approachability ideal.Rahman Mohammadpour & Boban Veličković - 2020 - Journal of Mathematical Logic 21 (2):2150003.
The approachability ideal without a maximal set.John Krueger - 2019 - Annals of Pure and Applied Logic 170 (3):297-382.
Club isomorphisms on higher Aronszajn trees.John Krueger - 2018 - Annals of Pure and Applied Logic 169 (10):1044-1081.
Mitchell's theorem revisited.Thomas Gilton & John Krueger - 2017 - Annals of Pure and Applied Logic 168 (5):922-1016.

View all 6 citations / Add more citations

References found in this work

Forcing with Sequences of Models of Two Types.Itay Neeman - 2014 - Notre Dame Journal of Formal Logic 55 (2):265-298.
The combinatorial essence of supercompactness.Christoph Weiß - 2012 - Annals of Pure and Applied Logic 163 (11):1710-1717.
On the Hamkins approximation property.William J. Mitchell - 2006 - Annals of Pure and Applied Logic 144 (1-3):126-129.
Coherent adequate forcing and preserving CH.John Krueger & Miguel Angel Mota - 2015 - Journal of Mathematical Logic 15 (2):1550005.

View all 7 references / Add more references