On prime models of definably complete locally o-minimal theories (Model theoretic aspects of the notion of independence and dimension)

Abstract

Pillay and Steinhorn showed that every o-minima theory has a prime model and it is unique up to isomorphism. We consider whether its analogy holds in generalization of o-minimal theory. We give a partial answer of this question in case of definably complete locally o-minimal theory.