TY - JOUR
T1 - EXISTENTIALLY CLOSED MODELS OF FIELDS WITH A DISTINGUISHED SUBMODULE
AU - D'Elbée, Christian
AU - Kaplan, Itay
AU - Neuhauser, Leor
N1 - Publisher Copyright:
© 2025 Cambridge University Press. All rights reserved.
PY - 2025
Y1 - 2025
N2 - This paper deals with the class of existentially closed models of fields with a distinguished submodule (over a fixed subring). In the positive characteristic case, this class is elementary and was investigated by the first-named author. Here we study this class in Robinson's logic, meaning the category of existentially closed models with embeddings following Haykazyan and Kirby, and prove that in this context this class is NSOP1 and TP2.
AB - This paper deals with the class of existentially closed models of fields with a distinguished submodule (over a fixed subring). In the positive characteristic case, this class is elementary and was investigated by the first-named author. Here we study this class in Robinson's logic, meaning the category of existentially closed models with embeddings following Haykazyan and Kirby, and prove that in this context this class is NSOP1 and TP2.
UR - https://www.scopus.com/pages/publications/105023100949
U2 - 10.1017/jsl.2025.10110
DO - 10.1017/jsl.2025.10110
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:105023100949
SN - 0022-4812
JO - Journal of Symbolic Logic
JF - Journal of Symbolic Logic
ER -