Answers are grounded in this paper and cite their sources.
We show that types over real algebraically closed sets in the theory of separably closed fields of infinite degree of imperfection and in the theory of beautiful pairs of algebraically closed fields are stationary. This is proven in a general setup under suitable hypotheses on the interaction of the considered theory with another, better understood, stable theory.
No takes yet. Share an insight, caveat, or question.
Charlotte Bartnick (2024) studied this question.
Synapse has enriched 8 closely related papers on similar clinical questions. Consider them for comparative context: