Lovely pairs of models: the non first order case

Journal of Symbolic Logic 69 (3):641-662 (2004)
  Copy   BIBTEX

Abstract

We prove that for every simple theory T there is a compact abstract theory T

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Lovely pairs of models: the non first order case.Itaï Ben Yaacov - 2004 - Journal of Symbolic Logic 69 (3):641-662.
Lovely pairs of models.Itay Ben-Yaacov, Anand Pillay & Evgueni Vassiliev - 2003 - Annals of Pure and Applied Logic 122 (1-3):235-261.
The independence property in generalized dense pairs of structures.Alexander Berenstein, Alf Dolich & Alf Onshuus - 2011 - Journal of Symbolic Logic 76 (2):391 - 404.
On the Weak Non-Finite Cover Property and the n-Tuples of Simple Structures.Evgueni Vassiliev - 2005 - Journal of Symbolic Logic 70 (1):235 - 251.
On the weak non-finite cover property and the n-tuples of simple structures.Evgueni Vassiliev - 2005 - Journal of Symbolic Logic 70 (1):235-251.
On Supersimplicity and Lovely Pairs of Cats.Itay Ben-Yaacov - 2006 - Journal of Symbolic Logic 71 (3):763 - 776.
On supersimplicity and lovely pairs of cats.Itaï Ben Yaacov - 2006 - Journal of Symbolic Logic 71 (3):763-776.
Compactness and independence in non first order frameworks.Itay Ben-Yaacov - 2005 - Bulletin of Symbolic Logic 11 (1):28-50.
On Lovely Pairs and the (∃ y ∈ P ) Quantifier.Anand Pillay & Evgueni Vassiliev - 2005 - Notre Dame Journal of Formal Logic 46 (4):491-501.
On lovely pairs of geometric structures.Alexander Berenstein & Evgueni Vassiliev - 2010 - Annals of Pure and Applied Logic 161 (7):866-878.
Ben-Yaacov, I., Pillay, A. and Vassiliev, E., Lovely pairs of.A. Khelif, S. Neumann & Z. Petric - 2003 - Annals of Pure and Applied Logic 122:293.
On pseudolinearity and generic pairs.Evgueni Vassiliev - 2010 - Mathematical Logic Quarterly 56 (1):35-41.
On Cofinal Submodels and Elementary Interstices.Roman Kossak & James H. Schmerl - 2012 - Notre Dame Journal of Formal Logic 53 (3):267-287.
Local order property in nonelementary classes.Rami Grossberg & Olivier Lessmann - 2000 - Archive for Mathematical Logic 39 (6):439-457.
Generic pairs of SU-rank 1 structures.Evgueni Vassiliev - 2003 - Annals of Pure and Applied Logic 120 (1-3):103-149.

Analytics

Added to PP
2009-02-05

Downloads
79 (#210,156)

6 months
7 (#419,182)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Positive Jonsson Theories.Bruno Poizat & Aibat Yeshkeyev - 2018 - Logica Universalis 12 (1-2):101-127.
Compactness and independence in non first order frameworks.Itay Ben-Yaacov - 2005 - Bulletin of Symbolic Logic 11 (1):28-50.

Add more citations

References found in this work

Simple theories.Byunghan Kim & Anand Pillay - 1997 - Annals of Pure and Applied Logic 88 (2-3):149-164.
Positive model theory and compact abstract theories.Itay Ben-Yaacov - 2003 - Journal of Mathematical Logic 3 (01):85-118.
Simplicity in compact abstract theories.Itay Ben-Yaacov - 2003 - Journal of Mathematical Logic 3 (02):163-191.
Lovely pairs of models.Itay Ben-Yaacov, Anand Pillay & Evgueni Vassiliev - 2003 - Annals of Pure and Applied Logic 122 (1-3):235-261.

Add more references