On Lovely Pairs and the (∃ y ∈ P ) Quantifier

Notre Dame Journal of Formal Logic 46 (4):491-501 (2005)

Given a lovely pair P ≺ M of models of a simple theory T, we study the structure whose universe is P and whose relations are the traces on P of definable (in ℒ with parameters from M) sets in M. We give a necessary and sufficient condition on T (which we call weak lowness) for this structure to have quantifier-elimination. We give an example of a non-weakly-low simple theory
Keywords simple theory   low   pair
Categories (categorize this paper)
DOI 10.1305/ndjfl/1134397664
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: 39,024
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

No references found.

Add more references

Citations of this work BETA

Weakly One-Based Geometric Theories.Alexander Berenstein & Evgueni Vassiliev - 2012 - Journal of Symbolic Logic 77 (2):392-422.

Add more citations

Similar books and articles

On Supersimplicity and Lovely Pairs of Cats.Itay Ben-Yaacov - 2006 - Journal of Symbolic Logic 71 (3):763 - 776.
Lovely Pairs of Models: The Non First Order Case.Itay Ben-Yaacov - 2004 - Journal of Symbolic Logic 69 (3):641-662.
T-Convexity and Tame Extensions.LouDen Dries & Adam H. Lewenberg - 1995 - Journal of Symbolic Logic 60 (1):74 - 102.
Compactness and Independence in Non First Order Frameworks.Itay Ben-Yaacov - 2005 - Bulletin of Symbolic Logic 11 (1):28-50.
You Are Simple.David Barnett - 2010 - In Robert C. Koons & George Bealer (eds.), The Waning of Materialism. Oxford University Press. pp. 161--174.
On Cofinal Submodels and Elementary Interstices.Roman Kossak & James H. Schmerl - 2012 - Notre Dame Journal of Formal Logic 53 (3):267-287.
The Lovely and the Probable. [REVIEW]Christopher Hitchcock - 2007 - Philosophy and Phenomenological Research 74 (2):433–440.
Definability of Types, and Pairs of o-Minimal Structures.Anand Pillay - 1994 - Journal of Symbolic Logic 59 (4):1400-1409.
Quantifier Probability Logic and the Confirmation Paradox.Theodore Hailperin - 2007 - History and Philosophy of Logic 28 (1):83-100.


Added to PP index

Total views
11 ( #589,644 of 2,319,729 )

Recent downloads (6 months)
3 ( #451,904 of 2,319,729 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature