arXiv Analytics

Sign in

arXiv:2209.03944 [math.LO]AbstractReferencesReviewsResources

Dependent positive theories and automorphisms of ordered structures

Jan Dobrowolski, Rosario Mennuni

Published 2022-09-08Version 1

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

Categories: math.LO
Subjects: 03C45, 03C64, 03C60
Related articles: Most relevant | Search more
arXiv:1710.07173 [math.LO] (Published 2017-10-19)
Fields with automorphism and valuation
arXiv:2004.10953 [math.LO] (Published 2020-04-23)
Stable formulas in ordered structures
arXiv:1502.06521 [math.LO] (Published 2015-02-23)
Model Theory of Compact Complex Manifolds with an Automorphism

Links

Toolbox