On analyzability in the forking topology for simple theories

Ziv Shami

Research output: Contribution to journalArticlepeer-review

8 Scopus citations


We show that in a simple theory T (that eliminates finitary hyperimaginaries) in which the τf-topologies are closed under projections (e.g. T has the wnfcp) every type analyzable in a supersimple τf-open set has ordinal S U-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 (for countable L) and show that for simple theories its completeness is equivalent to the compactness of the τ-topology.

Original languageEnglish
Pages (from-to)115-124
Number of pages10
JournalAnnals of Pure and Applied Logic
Issue number1-3
StatePublished - Oct 2006
Externally publishedYes


  • Analyzability
  • Unidimensional
  • τ-open


Dive into the research topics of 'On analyzability in the forking topology for simple theories'. Together they form a unique fingerprint.

Cite this