Submission date: 5 October 2021

Abstract:

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.

Mathematics Subject Classification: 03C45, 03C10, 03C60

Keywords and phrases:

Full text arXiv 2110.02361: pdf, ps.