Author:
D'Aquino P.,Knight J. F.,Starchenko S.
Abstract
Shepherdson [14] showed that for a discrete ordered ring I, I is a model of I Open iff I is an integer part of a real closed ordered field. In this paper, we consider integer parts satisfying PA. We show that if a real closed ordered field R has an integer part I that is a nonstandard model of PA (or even IΣ4), then R must be recursively saturated. In particular, the real closure of I, RC (I), is recursively saturated. We also show that if R is a countable recursively saturated real closed ordered field, then there is an integer part I such that R = RC(I) and I is a nonstandard model of PA.
Publisher
Cambridge University Press (CUP)
Reference14 articles.
1. A guide to the identification of admissible sets above structures;Schlipf;Annals of Pure and Applied Logic,1977
2. A non-standard model for a free variable fragment of number theory;Shepherdson;Bulletin de l'Academic Polonaise des Sciences,1964
3. Algebras of sets binumerable in complete extensions of arithmetic
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献