|
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 are models of ZFC with the same ordinals, and that for all regular cardinals in , satisfies . If contains a sequence for some ordinal , then for all cardinals in with regular in and , is stationary in . That is, a new -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
, 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
-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.
|