科研之友
微信
新浪微博
Facebook
分享链接
摘要
We introduce a new construction of real closed fields by using an elementary extension of an ordered field with an integer part satisfying PA. This method can be extend to a finite extension of an ordered field with an integer part satisfying PA. In general, a field obtained from our construction is either real closed or algebraically closed, so an analogy of Ostrowski's dichotomy holds. Moreover we investigate recursive saturation of an o-minimal extension of a real closed field by finitely many function symbols.
- 出版日期2015-5
