Copyright

References

Hide All

[1]Barwise, J. and Schlipf, J., An introduction to recursively saturated and resplendent models, this Journal, vol. 41 (1976), no. 2, pp. 531–536.

[2]Carl, M., D’Aquino, P., and Kuhlmann, S., Real closed exponential fields and models of Peano Arithmetic, preprint.

[3]D’Aquino, P., Knight, J., and Starchenko, S., Real closed fields and models of Peano arithmetic, this Journal, vol. 75 (2010), no. 1, pp. 1–11.

[4]D’Aquino, P., Kuhlmann, S., and Lange, K., A valuation theoretic characterization of recursively saturated real closed fields, this Journal, to appear.

[5]van den Dries, L. P. D., Macintyre, A., and Marker, D., The elementary theory of restricted analytic fields with exponentiation. Annals of Mathematics (2), vol. 140 (1994), no. 1, pp. 183–205.

[6]Harnik, V., ɷ ₁-like recursively saturated models of Presburger’s arithmetic, this Journal, vol. 51 (1986), no. 2, pp. 421–429.

[7]Kołodziejczyk, L. and Jeřábek, E., Real closures of models of weak arithmetic, Archive for Mathematical Logic, vol. 52 (2013), no. 1–2, pp. 143–157.

[8]Kossak, R. and Schmerl, J., The Structure of Models of Peano Arithmetic, Oxford Logic Guides, vol. 50, Oxford Science Publications, The Clarendon Press, Oxford University Press, Oxford, 2006.

[9]Kuhlmann, F.-V., Kuhlmann, S., Marshall, M., and Zekavat, M., Embedding ordered fields in formal power series fields. Journal of Pure and Applied Algebra, vol. 169 (2002), no. 1, pp. 71–90.

[10]Kuhlmann, F.-V., Kuhlmann, S., and Shelah, S., Exponentiation in power series fields. Proceedings of the American Mathematical Society, vol. 125 (1997), no. 11, pp. 3177–3183.

[11]Marker, D., Model theory. An introduction, Graduate Texts in Mathematics, vol. 217, Springer-Verlag, New York, 2002.

[12]Mourgues, M.-H. and Ressaryre, J. P., Every real closed field has an integer part, this Journal, vol. 58 (1993), pp. 641–647.

[13]Neumann, B. H., On ordered division rings. Transactions of the American Mathematical Society, vol. 66 (1949), pp. 202–252.

[14]Scott, D., On completing ordered fields,Applications of Model Theory to Algebra, Analysis, and Probability (Internat. Sympos., Pasadena, Calif., 1967), Holt, Rinehart and Winston, New York, 1969, pp. 274–278.

[15]Schmerl, J. H., Models of Peano Arithmetic and a question of Sikorski on ordered fields. Israel Journal of Mathematics, vol. 50 (1985), no. 1–2, pp. 145–159.

[16]Shepherdson, J., A non-standard model for a free variable fragment of number theory. Bulletin de l’Academique Polonaise des Sciences. Série des Sciences, Mathematiques, Astronomiques et Phisiques, vol. 12 (1967), pp. 79–86.