Supersimple structures with a dense independent subset

Mathematical Logic Quarterly 63 (6):552-573 (2017)
  Copy   BIBTEX

Abstract

Based on the work done in [][] in the o‐minimal and geometric settings, we study expansions of models of a supersimple theory with a new predicate distiguishing a set of forking‐independent elements that is dense inside a partial type, which we call H‐structures. We show that any two such expansions have the same theory and that under some technical conditions, the saturated models of this common theory are again H‐structures. We prove that under these assumptions the expansion is supersimple and characterize forking and canonical bases of types in the expansion. We also analyze the effect these expansions have on one‐basedness and CM‐triviality. In the one‐based case, when T has SU‐rank and the SU‐rank is continuous, we take to be the type of elements of SU‐rank and we describe a natural “geometry of generics modulo H” associated with such expansions and show it is modular.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

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

Generic pairs of SU-rank 1 structures.Evgueni Vassiliev - 2003 - Annals of Pure and Applied Logic 120 (1-3):103-149.
On pseudolinearity and generic pairs.Evgueni Vassiliev - 2010 - Mathematical Logic Quarterly 56 (1):35-41.
On the definability of radicals in supersimple groups.Cé{D.}ric Milliet - 2013 - Journal of Symbolic Logic 78 (2):649-656.
Dependent pairs.Ayhan Günaydin & Philipp Hieronymi - 2011 - Journal of Symbolic Logic 76 (2):377 - 390.
Mad families, forcing and the Suslin Hypothesis.Miloš S. Kurilić - 2005 - Archive for Mathematical Logic 44 (4):499-512.
Dimensions, matroids, and dense pairs of first-order structures.Antongiulio Fornasiero - 2011 - Annals of Pure and Applied Logic 162 (7):514-543.
On supersimplicity and lovely pairs of cats.Itaï Ben Yaacov - 2006 - Journal of Symbolic Logic 71 (3):763-776.
On analyzability in the forking topology for simple theories.Ziv Shami - 2006 - Annals of Pure and Applied Logic 142 (1):115-124.
On lovely pairs of geometric structures.Alexander Berenstein & Evgueni Vassiliev - 2010 - Annals of Pure and Applied Logic 161 (7):866-878.
Hyperarithmetical relations in expansions of recursive structures.Alan D. Vlach - 1994 - Annals of Pure and Applied Logic 66 (2):163-196.
Remarks on gaps in Dense (Q) / nwd.Teppo Kankaanpää - 2013 - Mathematical Logic Quarterly 59 (1-2):51-61.

Analytics

Added to PP
2017-12-28

Downloads
15 (#809,217)

6 months
1 (#1,040,386)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Generic structures and simple theories.Z. Chatzidakis & A. Pillay - 1998 - Annals of Pure and Applied Logic 95 (1-3):71-92.
Lovely pairs of models.Itay Ben-Yaacov, Anand Pillay & Evgueni Vassiliev - 2003 - Annals of Pure and Applied Logic 122 (1-3):235-261.
On lovely pairs of geometric structures.Alexander Berenstein & Evgueni Vassiliev - 2010 - Annals of Pure and Applied Logic 161 (7):866-878.
Paires de structures Stables.Bruno Poizat - 1983 - Journal of Symbolic Logic 48 (2):239-249.

View all 17 references / Add more references