Article ID Journal Published Year Pages File Type
4662416 Annals of Pure and Applied Logic 2006 10 Pages PDF
Abstract

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 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 (for countable L) and show that for simple theories its completeness is equivalent to the compactness of the τ-topology.

Related Topics
Physical Sciences and Engineering Mathematics Logic