Forcing with matrices of countable elementary submodels
HTML articles powered by AMS MathViewer
- by Borisa Kuzeljevic and Stevo Todorcevic PDF
- Proc. Amer. Math. Soc. 145 (2017), 2211-2222 Request permission
Abstract:
We analyze the forcing notion $\mathcal P$ of finite matrices whose rows consist of isomorphic countable elementary submodels of a given structure of the form $H_{\theta }$. We show that forcing with this poset adds a Kurepa tree $T$. Moreover, if $\mathcal P_c$ is a suborder of $\mathcal P$ containing only continuous matrices, then the Kurepa tree $T$ is almost Souslin, i.e., the level set of any antichain in $T$ is not stationary in $\omega _1$.References
- David Asperó and Miguel Angel Mota, Forcing consequences of PFA together with the continuum large, Trans. Amer. Math. Soc. 367 (2015), no. 9, 6103–6129. MR 3356931, DOI 10.1090/S0002-9947-2015-06205-9
- D. Aspero, A forcing notion collapsing $\aleph _3$ and preserving all other cardinals, preprint (2014).
- Mohammad Golshani, Almost Souslin Kurepa trees, Proc. Amer. Math. Soc. 141 (2013), no. 5, 1821–1826. MR 3020868, DOI 10.1090/S0002-9939-2012-11461-3
- Keith J. Devlin, Concerning the consistency of the Souslin hypothesis with the continuum hypothesis, Ann. Math. Logic 19 (1980), no. 1-2, 115–125. MR 593030, DOI 10.1016/0003-4843(80)90022-4
- William J. Mitchell, $I[\omega _2]$ can be the nonstationary ideal on $\textrm {Cof}(\omega _1)$, Trans. Amer. Math. Soc. 361 (2009), no. 2, 561–601. MR 2452816, DOI 10.1090/S0002-9947-08-04664-3
- Itay Neeman, Forcing with sequences of models of two types, Notre Dame J. Form. Log. 55 (2014), no. 2, 265–298. MR 3201836, DOI 10.1215/00294527-2420666
- I. Neeman, Higher analog of the proper forcing axiom, Talk at the Fields Institute, Toronto, October 2012.
- Andrzej Rosłanowski and Saharon Shelah, More forcing notions imply diamond, Arch. Math. Logic 35 (1996), no. 5-6, 299–313. MR 1420260, DOI 10.1007/s001530050047
- Saharon Shelah, Proper and improper forcing, 2nd ed., Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1998. MR 1623206, DOI 10.1007/978-3-662-12831-2
- Stevo Todorčević, A note on the proper forcing axiom, Axiomatic set theory (Boulder, Colo., 1983) Contemp. Math., vol. 31, Amer. Math. Soc., Providence, RI, 1984, pp. 209–218. MR 763902, DOI 10.1090/conm/031/763902
- S. Todorcevic, Kurepa tree with no stationary antichain, Note of September, 1987.
- S. Todorcevic, Forcing club with finite conditions, Note of December, 1982.
Additional Information
- Borisa Kuzeljevic
- Affiliation: Mathematical Institute SANU, Kneza Mihaila 36, 11001 Belgrade, Serbia
- Email: borisa@mi.sanu.ac.rs
- Stevo Todorcevic
- Affiliation: Department of Mathematics, University of Toronto, Toronto, Canada, M5S 2E4 – and – Institut de Mathématiques de Jussieu, UMR 7586, 2 pl. Jussieu, Case 7012, 75251 Paris Cedex 05, France – and – Mathematical Institute SANU, Kneza Mihaila 36, 11001 Belgrade, Serbia
- MR Author ID: 172980
- Email: stevo@math.toronto.edu, stevo.todorcevic@imj-prg.fr, stevo@mi.sanu.ac.rs
- Received by editor(s): March 28, 2015
- Received by editor(s) in revised form: June 19, 2015, and September 2, 2015
- Published electronically: January 26, 2017
- Additional Notes: This paper was conceived during the Summer of 2014 when the first author was visiting Institut de Mathématiques de Jussieu. The first author would like to thank the Equipe de Logique of that Institute for support which made this visit possible. The first author was partially supported by the MPNTR grant ON174006
- Communicated by: Mirna Džamonja
- © Copyright 2017 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 145 (2017), 2211-2222
- MSC (2010): Primary 03E57
- DOI: https://doi.org/10.1090/proc/13133
- MathSciNet review: 3611332