Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
|
   
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
MathSciNet review: 2373613
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 and Social Media LinkedIn Facebook Podcasts Twitter YouTube RSS Feeds Blogs Wikipedia