On the Weak Non-Finite Cover Property and the n-Tuples of Simple Structures

Journal of Symbolic Logic 70 (1):235 - 251 (2005)
Abstract
The weak non-finite cover property (wnfcp) was introduced in [1] in connection with "axiomatizability" of lovely pairs of models of a simple theory. We find a combinatorial condition on a simple theory equivalent to the wnfcp, yielding a direct proof that the non-finite cover property implies the wnfcp, and that the wnfcp is preserved under reducts. We also study the question whether the wnfcp is preserved when passing from a simple theory T to the theory TP of lovely pairs of models of T (true in the stable case). While the question remains open, we show, among other things, that if (for a T with the wnfcp) TP is low, then TP has the wnfcp. To study this question, we describe "double lovely pairs", and, along the way, we develop the notion of a "lovely n-tuple" of models of a simple theory, which is an analogue of the notion of a beautiful tuple of models of stable theories [2]
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1107298518
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 37,241
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Lovely Pairs of Models.Itay Ben-Yaacov, Anand Pillay & Evgueni Vassiliev - 2003 - Annals of Pure and Applied Logic 122 (1-3):235-261.
Generic Pairs of SU-Rank 1 Structures.Evgueni Vassiliev - 2003 - Annals of Pure and Applied Logic 120 (1-3):103-149.

Add more references

Citations of this work BETA

On Lovely Pairs of Geometric Structures.Alexander Berenstein & Evgueni Vassiliev - 2010 - Annals of Pure and Applied Logic 161 (7):866-878.

Add more citations

Similar books and articles

Compactness and Independence in Non First Order Frameworks.Itay Ben-Yaacov - 2005 - Bulletin of Symbolic Logic 11 (1):28-50.
Pseudo-Finite Homogeneïty and Saturation.Jörg Flum & Martin Ziegler - 1999 - Journal of Symbolic Logic 64 (4):1689-1699.
Lovely Pairs of Models: The Non First Order Case.Itay Ben-Yaacov - 2004 - Journal of Symbolic Logic 69 (3):641-662.
The Geometry of Forking and Groups of Finite Morley Rank.Anand Pillay - 1995 - Journal of Symbolic Logic 60 (4):1251-1259.
Local Homogeneity.Bektur Baizhanov & John T. Baldwin - 2004 - Journal of Symbolic Logic 69 (4):1243 - 1260.
On Minimal Structures.Oleg V. Belegradek - 1998 - Journal of Symbolic Logic 63 (2):421-426.
On Kueker Simple Theories.Ziv Shami - 2005 - Journal of Symbolic Logic 70 (1):216 - 222.
On Supersimplicity and Lovely Pairs of Cats.Itay Ben-Yaacov - 2006 - Journal of Symbolic Logic 71 (3):763 - 776.
On the Binding Group in Simple Theories.Ziv Shami & Frank O. Wagner - 2002 - Journal of Symbolic Logic 67 (3):1016-1024.
Splittings and the Finite Model Property.Marcus Kracht - 1993 - Journal of Symbolic Logic 58 (1):139-157.

Analytics

Added to PP index
2010-08-24

Total views
14 ( #432,644 of 2,309,178 )

Recent downloads (6 months)
8 ( #75,671 of 2,309,178 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature