Skip Navigation


Logic Journal of IGPL Advance Access originally published online on October 17, 2007
Logic Journal of IGPL 2007 15(5-6):637-651; doi:10.1093/jigpal/jzm043
This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Junqueira, L. R.
Right arrow Articles by Passos, M. D.
Right arrow Search for Related Content
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

© The Author, 2007. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org

On Extensions of Elementary Submodels by Forcing*

Lúcia R. Junqueira

Universidade de São Paulo, São Paulo, Brazil. E-mail: lucia{at}ime.usp.br

Paul Larson

Miami University, Oxford, Ohio, USA. E-mail: larsonpb{at}muohio.edu

Marcelo D. Passos

Universidade de São Paulo, São Paulo, Brazil. E-mail: md_passos{at}yahoo.com

We study when a partial order Formula preserves certain properties of an elementary submodel (of a structure of the form H{theta}), including countable closure and {omega}-covering. In particular, we discuss the existence of {omega}-covering elementary submodels of different sizes.

Key Words: forcing • elementary submodels • {omega}-covering.

*Dedicated to the memory of Prof. Edison Farah



References

    Abraham Uri, Magidor Menachem. Cardinal arithmetic. In: Handbook of Set Theory—Foreman Matt, Kanamori Akihiro, Magidor Menachem, eds. (2005) To appear.

    Dow Alan. An introduction to applications of elementary submodels to topology. Topology Proc (1988) 13(1):17–72.

    Gitik Moti. The negation of the singular cardinal hypothesis from o({kappa})={kappa}++. Ann. Pure Appl. Logic (1989) 43(3):209–234.[CrossRef]

    Jech Thomas. Multiple forcing, volume 88 of Cambridge Tracts in Mathematics. (1986) Cambridge: Cambridge University Press.

    Jech Thomas. Singular cardinals and the pcf theory. Bull. Symbolic Logic (1995) 1(4):408–424.[CrossRef]

    Jech Thomas, Shelah Saharon. Possible PCF algebras. J. Symbolic Logic (1996) 61(1):313–317.[CrossRef]

    Jech Thomas. Set theory. In: Springer Monographs in Mathematics (2003) Berlin: Springer-Verlag. The third millennium edition, revised and expanded.

    Junqueira Lúcia R. Upwards preservation by elementary submodels. (2000) In Proceedings of the 2000 Topology and Dynamics Conference (San Antonio, TX), volume 25. 225–249.

    Kojman Menachem, Shelah Saharon. A ZFC Dowker space in N{omega}+1: an application of PCF theory to topology. Proc. Amer. Math. Soc. (1998) 126(8):2459–2465.[CrossRef]

    Kojman Menachem. Pcf theory. Topology Atlas Invited Contributions (2001) 6(issue 1):74–77.

    Kunen Kenneth. Set theory, volume 102 of Studies in Logic and the Foundations of Mathematics. (1980) Amsterdam: North-Holland Publishing Co. An introduction to independence proofs.

    Larson Paul B. The stationary tower, volume 32 of University Lecture Series. (2004) Providence, RI: American Mathematical Society. Notes on a course by W. Hugh Woodin.

    Magidor Menachem. On the singular cardinals problem.I. Israel J. Math (1977) 28(1-2):1–31.[CrossRef]

    Magidor Menachem. On the singular cardinals problem.II. Ann. Math. (2) (1977) 106(3):517–547.[CrossRef]

    Namba Kanji. Independence proof of ({omega}, {omega}{alpha})-distributive law in complete Boolean algebras. Comment. Math. Univ. St. Paul (1971) 19:1–12.

    Shelah Saharon. Proper forcing, volume 940 of Lecture Notes in Mathematics. (1982) Berlin: Springer-Verlag.

    Shelah Saharon. Applications of PCF theory. J. Symbolic Logic (2000) 65(4):1624–1674.[CrossRef]

    Zapletal Jindrich. Preserving {sigma}-ideals. J. Symbolic Logic (1998) 63(4):1437–1441.[CrossRef]


Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?



This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Junqueira, L. R.
Right arrow Articles by Passos, M. D.
Right arrow Search for Related Content
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?