On Supersimplicity and Lovely Pairs of Cats

Journal of Symbolic Logic 71 (3):763 - 776 (2006)
  Copy   BIBTEX

Abstract

We prove that the definition of supersimplicity in metric structures from [7] is equivalent to an a priori stronger variant. This stronger variant is then used to prove that if T is a supersimple Hausdorff cat then so is its theory of lovely pairs

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

Uncountable Dense Categoricity in Cats.Itay Ben-Yaacov - 2005 - Journal of Symbolic Logic 70 (3):829 - 860.
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.
Intentionality.Alex Byrne - 2006 - In J. Pfeifer & Sahotra Sarkar (eds.), The Philosophy of Science: An Encyclopedia. Routledge.
On Cofinal Submodels and Elementary Interstices.Roman Kossak & James H. Schmerl - 2012 - Notre Dame Journal of Formal Logic 53 (3):267-287.
You are simple.David Barnett - 2010 - In Robert C. Koons & George Bealer (eds.), The Waning of Materialism. Oxford University Press. pp. 161--174.
T-convexity and Tame extensions.LouDen Dries & Adam H. Lewenberg - 1995 - Journal of Symbolic Logic 60 (1):74 - 102.
Reply to mr. Aranyosi.David H. Sanford - 2003 - Analysis 63 (4):305–309.

Analytics

Added to PP
2010-08-24

Downloads
23 (#661,981)

6 months
10 (#257,583)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On perturbations of continuous structures.Itaï Ben Yaacov - 2008 - Journal of Mathematical Logic 8 (2):225-249.

Add more citations

References found in this work

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.
Generic pairs of SU-rank 1 structures.Evgueni Vassiliev - 2003 - Annals of Pure and Applied Logic 120 (1-3):103-149.
Compactness and independence in non first order frameworks.Itay Ben-Yaacov - 2005 - Bulletin of Symbolic Logic 11 (1):28-50.

Add more references