References
Gaifman, H., Dimitracopoulos, C.: Fragments of arithmetic and the MRDP theorem. Logic and Algorithmic. Monogr. Enseign. Math.30, 187–206 (1982)
Hirschfeld, J., Wheeler, W.: Forcing, arithmetic, and division rings (Lect. Notes Math., vol. 454, pp. 1–261) Berlin Heidelberg New York: Springer 1982
McLaughlin, T.: Some extension and rearrangement theorems for Nerode semirings. Z. Math. Logik Grundlagen Math.35, 197–209 (1989)
McLaughlin, T.: Sub-arithmetical ultrapowers: a survey. Ann. Pure Appl. Logic.49, 143–191 (1990)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
McLaughlin, T.G. Recursive ultrapowers, simple models, and cofinal extensions. Arch Math Logic 31, 287–296 (1992). https://doi.org/10.1007/BF01794985
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01794985