Submission date: 22 October 2021

Abstract:

There exist NIP and non-NTP_2 theories satisfying all the following conditions: It is not o-minimal; All models are strongly locally o-minimal; It has a model which is an expansion of the linearly ordered abelian group over the reals (ℝ ; 0,+,<). We construct these examples using the notion of simple product.

Mathematics Subject Classification: 03C64

Keywords and phrases:

Full text arXiv 2110.11596: pdf, ps.