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)

Request Permissions   Purchase Content 
 
 

 

PFA and precipitousness of the nonstationary ideal


Author: Boban Veličković
Journal: Proc. Amer. Math. Soc. 146 (2018), 791-802
MSC (2010): Primary 03E35, 03E55, 03E65; Secondary 03E05
DOI: https://doi.org/10.1090/proc/13770
Published electronically: August 7, 2017
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We apply Neeman's method of forcing with side conditions to show that PFA does not imply the precipitousness of the nonstationary ideal on $ \omega _1$.


References [Enhancements On Off] (What's this?)

  • [1] Matthew Foreman, Ideals and generic elementary embeddings, Handbook of set theory. Vols. 1, 2, 3, Springer, Dordrecht, 2010, pp. 885-1147. MR 2768692, https://doi.org/10.1007/978-1-4020-5764-9_14
  • [2] M. Foreman, M. Magidor, and S. Shelah, Martin's maximum, saturated ideals, and nonregular ultrafilters. I, Ann. of Math. (2) 127 (1988), no. 1, 1-47. MR 924672, https://doi.org/10.2307/1971415
  • [3] Fred Galvin and András Hajnal, Inequalities for cardinal powers, Ann. of Math. (2) 101 (1975), 491-498. MR 0376359, https://doi.org/10.2307/1970936
  • [4] F. Galvin, T. Jech, and M. Magidor, An ideal game, J. Symbolic Logic 43 (1978), no. 2, 284-292. MR 0485391, https://doi.org/10.2307/2272827
  • [5] T. Jech, M. Magidor, W. Mitchell, and K. Prikry, Precipitous ideals, J. Symbolic Logic 45 (1980), no. 1, 1-8. MR 560220, https://doi.org/10.2307/2273349
  • [6] Richard Laver, Precipitousness in forcing extensions, Israel J. Math. 48 (1984), no. 2-3, 97-108. MR 770692, https://doi.org/10.1007/BF02761155
  • [7] Itay Neeman, Forcing with sequences of models of two types, Notre Dame J. Form. Log. 55 (2014), no. 2, 265-298. MR 3201836, https://doi.org/10.1215/00294527-2420666
  • [8] Saharon Shelah, Proper and improper forcing, 2nd ed., Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1998. MR 1623206

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC (2010): 03E35, 03E55, 03E65, 03E05

Retrieve articles in all journals with MSC (2010): 03E35, 03E55, 03E65, 03E05


Additional Information

Boban Veličković
Affiliation: Equipe de Logique Mathématique, Institut de Mathématiques de Jussieu - Paris Rive Gauche, Université Paris Diderot, 8 Place Aurélie Nemours, 75205 Paris Cedex 13, France
Email: boban@math.univ-paris-diderot.fr

DOI: https://doi.org/10.1090/proc/13770
Keywords: Proper forcing axiom, nonstationary ideal, side conditions
Received by editor(s): August 8, 2016
Received by editor(s) in revised form: March 19, 2017
Published electronically: August 7, 2017
Communicated by: Mirna Džamonja
Article copyright: © Copyright 2017 American Mathematical Society

American Mathematical Society