Let f:Q→Qf:Q→Q be a function definable in an o-minimal expansion of (Q,<,+,0)(Q,<,+,0). We show that ff is eventually linear. In addition, we show that this holds in every elementary equivalent structure.
生成讲解博客的中文版本
生成AI智能校验的中文版本