Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)



Forcing with matrices of countable elementary submodels

Authors: Borisa Kuzeljevic and Stevo Todorcevic
Journal: Proc. Amer. Math. Soc. 145 (2017), 2211-2222
MSC (2010): Primary 03E57
Published electronically: January 26, 2017
Full-text PDF

Abstract | References | Similar Articles | Additional Information

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 [Enhancements On Off] (What's this?)

  • [1] 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,
  • [2] D. Aspero, A forcing notion collapsing $ \aleph _3$ and preserving all other cardinals, preprint (2014).
  • [3] Mohammad Golshani, Almost Souslin Kurepa trees, Proc. Amer. Math. Soc. 141 (2013), no. 5, 1821-1826. MR 3020868,
  • [4] 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,
  • [5] William J. Mitchell, $ I[\omega _2]$ can be the nonstationary ideal on $ {\rm Cof}(\omega _1)$, Trans. Amer. Math. Soc. 361 (2009), no. 2, 561-601. MR 2452816,
  • [6] Itay Neeman, Forcing with sequences of models of two types, Notre Dame J. Form. Log. 55 (2014), no. 2, 265-298. MR 3201836,
  • [7] I. Neeman, Higher analog of the proper forcing axiom, Talk at the Fields Institute, Toronto, October 2012.
  • [8] Andrzej Roslanowski and Saharon Shelah, More forcing notions imply diamond, Arch. Math. Logic 35 (1996), no. 5-6, 299-313. MR 1420260,
  • [9] Saharon Shelah, Proper and improper forcing, 2nd ed., Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1998. MR 1623206
  • [10] 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,
  • [11] S. Todorcevic, Kurepa tree with no stationary antichain, Note of September, 1987.
  • [12] S. Todorcevic, Forcing club with finite conditions, Note of December, 1982.

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC (2010): 03E57

Retrieve articles in all journals with MSC (2010): 03E57

Additional Information

Borisa Kuzeljevic
Affiliation: Mathematical Institute SANU, Kneza Mihaila 36, 11001 Belgrade, Serbia

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

Keywords: Proper forcing, side condition, countable elementary submodel
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
Article copyright: © Copyright 2017 American Mathematical Society

American Mathematical Society