Hostname: page-component-7c8c6479df-5xszh Total loading time: 0 Render date: 2024-03-28T23:26:52.830Z Has data issue: false hasContentIssue false

A recursive nonstandard model of normal open induction

Published online by Cambridge University Press:  12 March 2014

Alessandro Berarducci
Affiliation:
Universitá di Pisa, Dipartamento Matematica, Via Buonarroti 2, 56127 Pisa, Italy, E-mail: berardu@dm.unipi.it
Margarita Otero
Affiliation:
Universidad Autónoma de Madrid, Departamento Matemáticas, Ciudad Universidad de Canto Blanco, 28049 Madrid, Spain, E-mail: otera@ccuam.sdi.uam.es

Abstract

Models of normal open induction are those normal discretely ordered rings whose nonnegative part satisfy Peano's axioms for open formulas in the language of ordered semirings. (Where normal means integrally closed in its fraction field.)

In 1964 Shepherdson gave a recursive nonstandard model of open induction. His model is not normal and does not have any infinite prime elements.

In this paper we present a recursive nonstandard model of normal open induction with an unbounded set of infinite prime elements.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1996

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Boughattas, S., L'induction pour les formules ouverts n'est pas finiment axiomatisable, Comptes Rendus de l'Académie des Sciences, Paris, vol. I (1989), pp. 297300.Google Scholar
[2]Bourbaki, N., Commutative algebra, Hermann, Paris, 1969.Google Scholar
[3]Edwards, H., Galois theory, Springer-Verlag, 1984.Google Scholar
[4]Macintyre, A. and Marker, D., Primes and their residues rings in models of open induction, Annals of Pure and Applied Logic, vol. 43 (1989), pp. 5777.CrossRefGoogle Scholar
[5]McAloon, K., On the complexity of models of arithmetic, this Journal, vol. 47 (1982), pp. 403415.Google Scholar
[6]Moniri, M., Recursive models of open induction of prescribed finite transcendence degree > 1 with cofinal twin primes, to appear.+1+with+cofinal+twin+primes,+to+appear.>Google Scholar
[7]Mourgues, M. H. and Ressayre, J.-P., Tout corp reel clos possede une partie entiere, Comptes Rendus de l'Académie des Sciences, Paris, vol. I (1992), pp. 9396.Google Scholar
[8]Otero, M., On diophantine equations solvable in models of open induction, this Journal, vol. 55 (1990), pp. 779786.Google Scholar
[9]Otero, M., The joint embedding property in normal open induction, Annals of Pure and Applied Logic, vol. 60 (1993), pp. 275290.CrossRefGoogle Scholar
[10]Shepherdson, J., A nonstandard model for a free variable fragment of number theory, Bulletin of the Polish Academy of Sciences, vol. 12 (1964), pp. 7986.Google Scholar
[11]Tennenbaum, S., Non-Archimedean models for arithmetic, Notices of the American Mathematical Society (1959), p. 270.Google Scholar
[12]Dries, L. v. D., Some model theory and number theory for models of weak systems of arithmetic, Model theory of algebra and arithmetic (Pacholski, L.et al., editors), Lecture Notes in Mathematics, no. 834, Springer-Verlag, 1980, pp. 346362.CrossRefGoogle Scholar
[13]Dries, L. v. D., Which curves over ℤ have points with coordinates in a discretely ordered ring?, Transactions of the American Mathematical Society, vol. 264 (1980), pp. 3356.Google Scholar
[14]Waerden, B. L. v. D., Modern algebra II, Frederick Ungar, New York, 1950.Google Scholar
[15]Walker, R., Algebraic curves, Princeton University Press, 1950.Google Scholar
[16]Wilkie, A., Some results and problems on weak systems of arithmetic, Logic colloquium '77 (Macintyre, A.et al., editors), North-Holland, 1978, pp. 285296.CrossRefGoogle Scholar
[17]Wilmers, G., Bounded existential induction, this Journal, vol. 50 (1985), pp. 7290.Google Scholar