Hostname: page-component-cd9895bd7-dzt6s Total loading time: 0 Render date: 2024-12-26T20:39:21.914Z Has data issue: false hasContentIssue false
  • English
  • Français

QUOTIENTS OF STRONGLY PROPER FORCINGS AND GUESSING MODELS

Published online by Cambridge University Press:  09 March 2016

SEAN COX  and
JOHN KRUEGER
SEAN COX
Affiliation:
DEPARTMENT OF MATHEMATICS AND APPLIED MATHEMATICS VIRGINIA COMMONWEALTH UNIVERSITY 1015 FLOYD AVENUE PO BOX 842014 RICHMOND, VIRGINIA 23284, USAE-mail: [email protected]
JOHN KRUEGER
Affiliation:
DEPARTMENT OF MATHEMATICS UNIVERSITY OF NORTH TEXAS 1155 UNION CIRCLE #311430 DENTON, TX 76203, USAE-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

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 universal strongly generic conditions on a stationary set of models by certain nice regular suborders satisfy the ω1-approximation property. We prove that the existence of stationarily many ω1-guessing models in Pω2(H(θ)), for sufficiently large cardinals θ, is consistent with the continuum being arbitrarily large, solving a problem of Viale and Weiss [13].

Keywords

Primary 03E40Secondary 03E35strongly properapproximation propertyadequate set forcingguessing model
Type
Articles
Information
The Journal of Symbolic Logic , Volume 81 , Issue 1 , March 2016 , pp. 264 - 283
Copyright
Copyright © The Association for Symbolic Logic 2016 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Abraham, U. and Shelah, S., Forcing closed unbounded sets. this Journal, vol. 48 (1983), no. 3, pp. 643–657.Google Scholar
Friedman, S.D., BPFA and inner models. Annals of the Japan Association for Philosophy of Science, vol. 19 (2011), pp. 29–36.CrossRefGoogle Scholar
Krueger, J., Coherent adequate sets and forcing square. Fundamenta Mathematicae, vol. 224 (2014), no. 3, pp. 279–300.Google Scholar
Krueger, J., Adding a club with finite conditions, part II. Archive for Mathematical Logic, vol. 54 (2015), no. 1–2, pp. 161–172.Google Scholar
Krueger, J., Forcing with adequate sets of models as side conditions, submitted.Google Scholar
Krueger, J. and Mota, M. A., Coherent adequate forcing and preserving CH. Journal of Mathematical Logic, to appear.Google Scholar
Mitchell, W., Aronszajn trees and the independence of the transfer property. Annals of Mathematical Logic, pp. 21–46, 1972.Google Scholar
Mitchell, W., On the Hamkins approximation property. Annals of Pure and Applied Logic, vol. 144 (2006), no. 1–3, pp. 126–129.Google Scholar
Mitchell, W., I[ω 2] can be the nonstationary ideal on Cof(ω 1). Transactions of the American Mathematical Society, vol. 361 (2009), no. 2, pp. 561–601.Google Scholar
Miyamoto, T., Forcing a quagmire via matrices of models, preprint.Google Scholar
Neeman, I., Forcing with sequences of models of two types. Notre Dame Journal of Formal Logic, vol. 55 (2014), no. 2, pp. 265–298.Google Scholar
Shelah, S., Proper and Improper Forcing, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, second edition, 1998.CrossRefGoogle Scholar
Viale, M. and Weiss, C., On the consistency strength of the proper forcing axiom. Advances in Mathemetics, vol. 228 (2011), no. 5, pp. 2672–2687.Google Scholar
Weiss, C., The combinatorial essence of supercompactness. Annals of Pure and Applied Logic, vol. 163 (2012), no. 11, pp. 1710–1717.Google Scholar