2 papers
math.LO2025
Embedding stable groups into algebraic groups
Charlotte Bartnick
Adapting a proof of Bouscaren and Delon, we show that every type-definable connected group in a given stable theory of fields embeds into an algebraic group, under a condition on t…
math.LO2025
Stationarity and elimination of imaginaries in stable and simple theories
Charlotte Bartnick
We show that types over real algebraically closed sets are stationary, both for the theory of separably closed fields of infinite degree of imperfection and for the theory of beaut…