On analyzability in the forking topology for simple theories

Annals of Pure and Applied Logic 142 (1):115-124 (2006)
  Copy   BIBTEX

Abstract

We show that in a simple theory T in which the τf-topologies are closed under projections every type analyzable in a supersimple τf-open set has ordinal SU-rank. In particular, if in addition T is unidimensional, the existence of a supersimple unbounded τf-open set implies T is supersimple. We also introduce the notion of a standard τ-metric and show that for simple theories its completeness is equivalent to the compactness of the τ-topology

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,347

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

On uncountable hypersimple unidimensional theories.Ziv Shami - 2014 - Archive for Mathematical Logic 53 (1-2):203-210.
Properties and Consequences of Thorn-Independence.Alf Onshuus - 2006 - Journal of Symbolic Logic 71 (1):1 - 21.
Forking and dividing in NTP₂ theories.Artem Chernikov & Itay Kaplan - 2012 - Journal of Symbolic Logic 77 (1):1-20.
On omega-categorical simple theories.Daniel Palacín - 2012 - Archive for Mathematical Logic 51 (7-8):709-717.
Forking and fundamental order in simple theories.Daniel Lascar & Anand Pillay - 1999 - Journal of Symbolic Logic 64 (3):1155-1158.
Geometry of Forking in Simple Theories.Assaf Peretz - 2006 - Journal of Symbolic Logic 71 (1):347 - 359.
A primer of simple theories.Rami Grossberg, José Iovino & Olivier Lessmann - 2002 - Archive for Mathematical Logic 41 (6):541-580.
Very simple theories without forking.Ludomir Newelski - 2003 - Archive for Mathematical Logic 42 (6):601-616.
The stable forking conjecture and generic structures.Massoud Pourmahdian - 2003 - Archive for Mathematical Logic 42 (5):415-421.
Forking in VC-minimal theories.Sarah Cotter & Sergei Starchenko - 2012 - Journal of Symbolic Logic 77 (4):1257-1271.
Theories with equational forking.Markus Junker & Ingo Kraus - 2002 - Journal of Symbolic Logic 67 (1):326-340.

Analytics

Added to PP
2013-12-31

Downloads
22 (#713,803)

6 months
11 (#246,433)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On the forking topology of a reduct of a simple theory.Ziv Shami - 2020 - Archive for Mathematical Logic 59 (3-4):313-324.
On uncountable hypersimple unidimensional theories.Ziv Shami - 2014 - Archive for Mathematical Logic 53 (1-2):203-210.
A note on the non‐forking‐instances topology.Ziv Shami - 2020 - Mathematical Logic Quarterly 66 (3):336-340.
Continuity of SU-rank in unidimensional supersimple theories.Ziv Shami - 2016 - Archive for Mathematical Logic 55 (5-6):663-675.

Add more citations

References found in this work

Lovely pairs of models.Itay Ben-Yaacov, Anand Pillay & Evgueni Vassiliev - 2003 - Annals of Pure and Applied Logic 122 (1-3):235-261.
Lascar strong types in some simple theories.Steven Buechler - 1999 - Journal of Symbolic Logic 64 (2):817-824.
Definability in low simple theories.Ziv Shami - 2000 - Journal of Symbolic Logic 65 (4):1481-1490.
Internality and interpretable automorphism groups in simple theories.Ziv Shami - 2004 - Annals of Pure and Applied Logic 129 (1-3):149-162.

View all 7 references / Add more references