Plus ultra

DOI10.1142/S0219061315500087MaRDI QIDQ5744321zbMATH OpenOpenAlexFDO

Authors F. O. Wagner

Publication date 18 February 2016

Published in Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1201.1114

zbMATH Keywords

eliminationsimplicitystabilityultraimaginaryweak canonical base property.

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45)

Abstract: We define a reasonably well-behaved class of ultraimaginaries, i.e. classes modulo invariant equivalence relations, called {em 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)<omeg{a}^{alpha+1}$, then $e$ is eliminable up to rank $<omeg{a}^{a}lpha$. Finally, we prove some uniform versions of the weak canonical base property.

Recommendations

• Supersimple theories
• Simplicity and stability in there
• Discouraging results for ultraimaginary independence theory
• Simple theories and hyperimaginaries
• Canonical bases in excellent classes

Cites work

• CONSTRUCTING AN ALMOST HYPERDEFINABLE GROUP
• scientific article; zbMATH DE number 1425669 (Why is no real title available?)
• On canonical bases and internality criteria
• Simple theories and hyperimaginaries

Cited in

(5)

• Hyperimaginaries and automorphism groups
• Ultra Reveals a LateB-DienstSuccess in the Atlantic
• Simple theories and hyperimaginaries
• Discouraging results for ultraimaginary independence theory
• Bounded ultraimaginary independence and its total Morley sequences

This page was built for publication: Plus ultra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5744321)