Available in electronic format
Available in print format
Proceedings of the American Mathematical Society
Proceedings of the American Mathematical Society
ISSN 1088-6826 (e) ISSN 0002-9939 (p)
     

Global co-stationarity of the ground model from a new countable length sequence

Author(s): Natasha Dobrinen
Journal: Proc. Amer. Math. Soc. 136 (2008), 1815-1821.
MSC (2000): Primary 03E05, 03E35, 03E65, 05C05
Posted: January 9, 2008
Retrieve article in: PDF

Abstract | References | Similar articles | Additional information

Abstract: Suppose $ V\subseteq W$ are models of ZFC with the same ordinals, and that for all regular cardinals $ \kappa$ in $ W$, $ V$ satisfies $ \square_{\kappa}$. If $ W\setminus V$ contains a sequence $ r:\omega\rightarrow\gamma$ for some ordinal $ \gamma$, then for all cardinals $ \kappa<\lambda$ in $ W$ with $ \kappa$ regular in $ W$ and $ \lambda\ge\gamma$, $ (\mathscr{P}_{\kappa}(\lambda))^W\setminus V$ is stationary in $ (\mathscr{P}_{\kappa}(\lambda))^W$. That is, a new $ \omega$-sequence achieves global co-stationarity of the ground model.


References:

1.
Uri Abraham and Saharon Shelah, Forcing closed and unbounded sets, The Journal of Symbolic Logic 48 (1983), no. 3, 643-657. MR 716625 (85i:03112)

2.
Keith J. Devlin, Constructibility, Springer-Verlag, 1984. MR 750828 (85k:03001)

3.
Natasha Dobrinen and Sy-David Friedman, Internal consistency and global co-stationarity of the ground model, The Journal of Symbolic Logic (to appear).

4.
-, Co-stationarity of the ground model, The Journal of Symbolic Logic 71 (2006), no. 3, 1029-1043. MR 2251553

5.
Moti Gitik, Nonsplitting subsets of $ \mathcal{P}_{\kappa}(\kappa^+)$, The Journal of Symbolic Logic 50 (1985), no. 4, 881-894. MR 820120 (87g:03054)

6.
Thomas Jech, Set theory, the 3rd millennium ed., Springer, 2003. MR 1940513 (2004g:03071)

7.
David W. Kueker, Löwenheim-Skolem and interpolation theorems in infinitary languages, Bulletin of the American Mathematical Society 78 (1972), 211-215. MR 0290942 (45:36)

8.
Menachem Magidor, Representing sets of ordinals as countable unions of sets in the core model, Transactions of the American Mathematical Society 317 (1990), no. 1, 91-126. MR 939805 (90d:03108)

9.
Telis K. Menas, On strong compactness and supercompactness, Annals of Mathematical Logic 7 (1974/75), 327-359. MR 0357121 (50:9589)

10.
Kanji Namba, Independence proof of $ (\omega ,\,\omega \sb{\alpha })$-distributive law in complete Boolean algebras, Commentarii Mathematici Universitatis Sancti Pauli 19 (1971), 1-12. MR 0297548 (45:6602)

11.
Saharon Shelah, Proper and Improper Forcing, second ed., Springer-Verlag, 1998. MR 1623206 (98m:03002)

12.
Stevo Todorčević, Coherent sequences, Handbook of Set Theory (Matthew Foreman, Akihiro Kanamori, and Menachem Magidor, eds.), Kluwer (to appear).


Similar Articles:

Retrieve articles in Proceedings of the American Mathematical Society with MSC (2000): 03E05, 03E35, 03E65, 05C05

Retrieve articles in all Journals with MSC (2000): 03E05, 03E35, 03E65, 05C05


Additional Information:

Natasha Dobrinen
Affiliation: Kurt Gödel Research Center for Mathematical Logic, Währinger Strasse 25, 1090 Wien, Austria
Address at time of publication: Department of Mathematics, University of Denver, Denver, Colorado 80208
Email: dobrinen@logic.univie.ac.at. natasha.dobrinen@du.edu

DOI: 10.1090/S0002-9939-08-09094-1
PII: S 0002-9939(08)09094-1
Received by editor(s): November 20, 2006
Posted: January 9, 2008
Additional Notes: This work was supported by FWF grant P 16334-N05. The author wishes to thank Justin Moore for invaluable help and Paul Larson for direction
Communicated by: Julia Knight
Copyright of article: Copyright 2008, American Mathematical Society
The copyright for this article reverts to public domain after 28 years from publication.


  AMS Website Logo Small Comments: webmaster@ams.org
© Copyright 2009, American Mathematical Society
Privacy Statement
Search the AMSPowered by Google