On algebraically closed fields with a distinguished subfield

MaRDI QIDQ6374852zbMATH OpenFDO

Authors Christian D'Elbée, Itay Kaplan, Leor Neuhauser

Publication date 9 August 2021

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Quantifier elimination, model completeness, and related topics (03C10)

Abstract: This paper is concerned with the model-theoretic study of pairs $(K,F)$ where $K$ is an algebraically closed field and $F$ is a distinguished subfield of $K$ allowing extra structure. We study the basic model-theoretic properties of those pairs, such as quantifier elimination, model-completeness and saturated models. We also prove some preservation results of classification-theoretic notions such as stability, simplicity, NSOP${}_1$, and NIP. As an application, we conclude that a PAC field is NSOP${}_1$ iff its absolute Galois group is (as a profinite group).

This page was built for publication: On algebraically closed fields with a distinguished subfield

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