Submission date: 8 September 2022

Abstract:

We begin the development of NIP in positive logic, and study existentially closed ordered vector spaces with an automorphism.

Mathematics Subject Classification: Primary: 03C45. Secondary: 03C64, 03C60

Keywords and phrases:

Full text arXiv 2209.03944: pdf, ps.