Skip to main content Accessibility help
×
Home

UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS

  • DAVID MARKER (a1), JAMES H. SCHMERL (a2) and CHARLES STEINHORN (a3)

Abstract

D’Aquino, Knight, and Starchenko classified the countable real closed fields with integer parts that are nonstandard models of Peano Arithmetic. We rule out some possibilities for extending their results to the uncountable and study real closures of ɷ1-like models of PA.

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. 531536.
[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. 111.
[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. 183205.
[6]Harnik, V., ɷ 1-like recursively saturated models of Presburger’s arithmetic, this Journal, vol. 51 (1986), no. 2, pp. 421429.
[7]Kołodziejczyk, L. and Jeřábek, E., Real closures of models of weak arithmetic, Archive for Mathematical Logic, vol. 52 (2013), no. 12, pp. 143157.
[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. 7190.
[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. 31773183.
[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. 641647.
[13]Neumann, B. H., On ordered division rings. Transactions of the American Mathematical Society, vol. 66 (1949), pp. 202252.
[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. 274278.
[15]Schmerl, J. H., Models of Peano Arithmetic and a question of Sikorski on ordered fields. Israel Journal of Mathematics, vol. 50 (1985), no. 12, pp. 145159.
[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. 7986.

Keywords

UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS

  • DAVID MARKER (a1), JAMES H. SCHMERL (a2) and CHARLES STEINHORN (a3)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed