Submission date: 5 January 2012.

Abstract:

We develop some basic simplicity-theoretic facts for quasi-finitary ultraimaginaries, i.e. classes of finite tuples modulo \emptyset-invariant equivalence relations, in a supersimple theory. We also show that they are geometrically eliminable in a weak sense: If e is an ultraimaginary definable over a tuple a with SU(a)<ω^{α+1}, then e is eliminable up to rank <ω^α.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1201.1114: pdf, ps.