Quotients of strongly proper forcings and guessing models

DOI10.1017/JSL.2015.46MaRDI QIDQ2805037zbMATH OpenOpenAlexFDO

Authors John Krueger, Sean Cox

Publication date 9 May 2016

Published in The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

approximation propertyguessing modeladequate set forcingstrongly proper

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40)

Abstract: We prove that a wide class of strongly proper forcing posets have quotients with strong properties. Specifically, we prove that quotients of forcing posets which have simple universal strongly generic conditions on a stationary set of models by certain nice regular suborders satisfy the $omeg{a}_1$-approximation property. We prove that the existence of stationarily many $omeg{a}_1$-guessing models in $P_{omeg{a}_2}(H(heta))$, for sufficiently large cardinals $heta$, is consistent with the continuum being arbitrarily large, solving a problem of Viale and Weiss.

Recommendations

• Namba forcing, weak approximation, and guessing
• Guessing models imply the singular cardinal hypothesis
• Guessing and non-guessing of canonical functions
• Indestructible guessing models and the continuum
• PFA and guessing models

Cites work

• scientific article; zbMATH DE number 1113072 (Why is no real title available?)
• Adding a club with finite conditions. II
• Coherent adequate sets and forcing square
• Forcing with sequences of models of two types
• On the Hamkins approximation property
• On the consistency strength of the proper forcing axiom
• The combinatorial essence of supercompactness

Cited in

(12)

• THE TREE PROPERTY AT AND
• SPECIALISING TREES WITH SMALL APPROXIMATIONS I
• Guessing models and the approachability ideal
• Club stationary reflection and the special Aronszajn tree property
• Club isomorphisms on higher Aronszajn trees
• The approachability ideal without a maximal set
• Indestructibility of some compactness principles over models of \(\mathsf{PFA} \)
• Forcing with quotients
• Guessing and non-guessing of canonical functions
• Namba forcing, weak approximation, and guessing
• Mitchell's theorem revisited
• Proper forcing extensions and Solovay models

This page was built for publication: Quotients of strongly proper forcings and guessing models

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