Abstract
Continuing the study of recursive ultrapowers launched by Hirschfeld in 1975 ([H]), we begin to investigate the more detailed embedding properties of these structures. Some related results in isol theory are noted.
Similar content being viewed by others
References
J. Barback,Tame models in the isols, Houston J. Math.12 (1986), 163–175.
M Davis,Computability and Unsolvability, McGraw-Hill, New York, 1958.
J. C. E. Dekker,The minimum of two regressive isols, Math. Z.83 (1964), 345–366.
S. Feferman, D. Scott and S. Tennenbaum,Models of arithmetic through function rings, Notices Amer. Math. Soc.6 (1959), 175.
H. Gaifman,A note on models and submodels of arithmetic, Conference in Mathematical Logic (London 1970), Lecture Notes in Math., Vol. 255, Springer-Verlag, Berlin and New York, 1972, pp. 128–144.
J. Hirschfeld,Models of arithmetic and recursive functions, Isr. J. Math.20 (1975), 111–126.
J. Hirschfeld and W. Wheeler,Forcing, arithmetic and division rings, Lecture Notes in Math., Vol. 454, Springer-Verlag, Berlin and New York, 1975.
M. Lerman,Recursive functions modulo co-r-maximal sets, Trans. Amer. Math. Soc.148 (1970), 429–444.
E. Mendelson,Introduction to Mathematical Logic, Van Nostrand, Princeton, 1964.
T. McLaughlin,Regressive Sets and the Theory of Isols, Marcel Dekker, New York, 1982.
T. McLaughlin,Nerode semirings and Barbeck’s ‘Tame Models’, Houston J. Math.12 (1986), 211–223.
T. McLaughlin,Some properties of ∀∃models in the isols, Proc. Amer. Math. Soc.97 (1986), 495–502.
A. Nerode,Extensions to isols, Ann. of Math.73 (1961), 362–403.
A. Nerode,Extensions to isolic integers, Ann. of Math.75 (1962), 419–448.
A. Nerode,Diophantine correct nonstandard models in the isols, Ann. of Math.84 (1966), 421–432.
A. Pillay,Models of Peano arithmetic (a survey of basic results), inModel Theory and Arithmetic (Paris Proc., 1979/80), Lecture Notes in Math., Vol. 890, Springer-Verlag, Berlin and New York, 1981, pp. 1–12.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
McLaughlin, T.G. Embeddings of and into nerode semirings. Israel J. Math. 60, 65–88 (1987). https://doi.org/10.1007/BF02766171
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02766171