A note on noninterpretability in o-minimal structures
Tom 158 / 1998
Fundamenta Mathematicae 158 (1998), 19-22
DOI: 10.4064/fm-158-1-19-22
Streszczenie
We prove that if M is an o-minimal structure whose underlying order is dense then Th(M) does not interpret the theory of an infinite discretely ordered structure. We also make a conjecture concerning the class of the theory of an infinite discretely ordered o-minimal structure.
