On O-Minimal Expansions of (\ℚ,<,+,0)

2017/04/10 by Pablo Cubides Kovacsics, Kovacsics, Pablo Cubides, Françoise Delon +1
Mathematics · Computer Science · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #Mathematical and Theoretical Analysis

paper · pdf · doi:10.48550/arxiv.1704.03050

Abstract

Let f:\ℚ\→ \ℚ be a function definable in an o-minimal\nexpansion of (\ℚ,&lt;,+,0). We show that f is eventually linear. In\naddition, we show that this holds in every elementary equivalent structure.\n

Related

• Expansion of a semi-bounded o-minimal structure by a geometric progression
• Definability of complex functions in o-minimal structures
• A question of van den Dries and a theorem of Lipshitz and Robinson: Not everything is standard
• Tame extension of almost o-minimal structure
• On dp-minimal expansions of the integers