On Extensions of Elementary Submodels by Forcing

, &
Logic Journal of the IGPL 15 (5-6):637-651 (2007)
  Copy   BIBTEX

Abstract

We study when a partial order preserves certain properties of an elementary submodel , including countable closure and ω-covering. In particular, we discuss the existence of ω-covering elementary submodels of different sizes

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzm043

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,928

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Preservation theorems for Kripke models.Morteza Moniri & Mostafa Zaare - 2009 - Mathematical Logic Quarterly 55 (2):177-184.
On Nonstructure of Elementary Submodels of an Unsuperstable Homogeneous Structure.Tapani Hyttinen - 1997 - Mathematical Logic Quarterly 43 (1):134-142.
Compact spaces, elementary submodels, and the countable chain condition.Lúcia R. Junqueira, Paul Larson & Franklin D. Tall - 2006 - Annals of Pure and Applied Logic 144 (1-3):107-116.
On the Number of Elementary Submodels of an Unsuperstable Homogeneous Structure.Tapani Hyttinen & Saharon Shelah - 1998 - Mathematical Logic Quarterly 44 (3):354-358.
The real line in elementary submodels of set theory.Kenneth Kunen & Franklin D. Tall - 2000 - Journal of Symbolic Logic 65 (2):683-691.
Applications of elementary submodels in general topology.Stefan Geschke - 2002 - Synthese 133 (1-2):31 - 41.
Potential isomorphism of elementary substructures of a strictly stable homogeneous model.Sy-David Friedman, Tapani Hyttinen & Agatha C. Walczak-Typke - 2011 - Journal of Symbolic Logic 76 (3):987 - 1004.
Certain very large cardinals are not created in small forcing extensions.Richard Laver - 2007 - Annals of Pure and Applied Logic 149 (1-3):1-6.
On Cofinal Submodels and Elementary Interstices.Roman Kossak & James H. Schmerl - 2012 - Notre Dame Journal of Formal Logic 53 (3):267-287.
A rank for the class of elementary submodels of a superstable homogeneous model.Tapani Hyttinen & Olivier Lessmann - 2002 - Journal of Symbolic Logic 67 (4):1469-1482.
Unidimensional modules: uniqueness of maximal non-modular submodels.Anand Pillay & Philipp Rothmaler - 1993 - Annals of Pure and Applied Logic 62 (2):175-181.
Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets.Roman Kossak - 1997 - Logic Journal of the IGPL 5 (6):787-794.
Main gap for locally saturated elementary submodels of a homogeneous structure.Tapani Hyttinen & Saharon Shelah - 2001 - Journal of Symbolic Logic 66 (3):1286-1302.
A set of axioms for nonstandard extensions.Abhijit Dasgupta - 2011 - Mathematical Logic Quarterly 57 (5):485-493.
Chains of end elementary extensions of models of set theory.Andrés Villaveces - 1998 - Journal of Symbolic Logic 63 (3):1116-1136.

Analytics

Added to PP
2015-02-04

Downloads
8 (#1,318,299)

6 months
1 (#1,471,551)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references