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 [Ben Yaacov, Uncountable dense categoricity in cats] is equivalent to an textit{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

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

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.Itaï Ben Yaacov - 2004 - Journal of Symbolic Logic 69 (3):641-662.
The independence property in generalized dense pairs of structures.Alexander Berenstein, Alf Dolich & Alf Onshuus - 2011 - Journal of Symbolic Logic 76 (2):391 - 404.
Uncountable Dense Categoricity in Cats.Itay Ben-Yaacov - 2005 - Journal of Symbolic Logic 70 (3):829 - 860.
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.
Lovely pairs of models.Itay Ben-Yaacov, Anand Pillay & Evgueni Vassiliev - 2003 - Annals of Pure and Applied Logic 122 (1-3):235-261.
Dependent pairs.Ayhan Günaydin & Philipp Hieronymi - 2011 - Journal of Symbolic Logic 76 (2):377 - 390.
On lovely pairs of geometric structures.Alexander Berenstein & Evgueni Vassiliev - 2010 - Annals of Pure and Applied Logic 161 (7):866-878.
On Lovely Pairs and the (∃ y ∈ P ) Quantifier.Anand Pillay & Evgueni Vassiliev - 2005 - Notre Dame Journal of Formal Logic 46 (4):491-501.
Weakly one-based geometric theories.Alexander Berenstein & Evgueni Vassiliev - 2012 - Journal of Symbolic Logic 77 (2):392-422.
Compactness and independence in non first order frameworks.Itay Ben-Yaacov - 2005 - Bulletin of Symbolic Logic 11 (1):28-50.
The cat page.Bas van Fraassen - manuscript

Analytics

Added to PP
2013-11-22

Downloads
5 (#1,540,528)

6 months
1 (#1,471,493)

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.
Compactness and independence in non first order frameworks.Itay Ben-Yaacov - 2005 - Bulletin of Symbolic Logic 11 (1):28-50.
Discouraging results for ultraimaginary independence theory.Itay Ben-Yaacov - 2003 - Journal of Symbolic Logic 68 (3):846-850.
Lovely pairs of models: the non first order case.Itaï Ben Yaacov - 2004 - Journal of Symbolic Logic 69 (3):641-662.

View all 6 references / Add more references