Plus ultra
Wagner, Frank Olaf
Original · EN
We define a reasonably well-behaved class of ultraimaginaries, i.e.classes modulo invariant equivalence relations, called tame, and establish some basic simplicity-theoretic facts. We also show feeble elimination of supersimple ultraimaginaries: If e is an ultraimaginary definable over a tuple a with SU(a)<ωα⁺¹, then e is eliminable up to rank <ωα. Finally, we prove some uniform versions of the weak canonical base property.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.