Embeddings of and into nerode semirings

1. J. Barback,Tame models in the isols, Houston J. Math.12 (1986), 163–175.

   MATH  MathSciNet  Google Scholar 

2. M Davis,Computability and Unsolvability, McGraw-Hill, New York, 1958.

   MATH  Google Scholar 

3. J. C. E. Dekker,The minimum of two regressive isols, Math. Z.83 (1964), 345–366.

   Article  MATH  MathSciNet  Google Scholar 

4. S. Feferman, D. Scott and S. Tennenbaum,Models of arithmetic through function rings, Notices Amer. Math. Soc.6 (1959), 175.

   Google Scholar 

5. 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.

   Chapter  Google Scholar 

6. J. Hirschfeld,Models of arithmetic and recursive functions, Isr. J. Math.20 (1975), 111–126.

   Article  MATH  MathSciNet  Google Scholar 

7. J. Hirschfeld and W. Wheeler,Forcing, arithmetic and division rings, Lecture Notes in Math., Vol. 454, Springer-Verlag, Berlin and New York, 1975.

   Google Scholar 

8. M. Lerman,Recursive functions modulo co-r-maximal sets, Trans. Amer. Math. Soc.148 (1970), 429–444.

   Article  MATH  MathSciNet  Google Scholar 

9. E. Mendelson,Introduction to Mathematical Logic, Van Nostrand, Princeton, 1964.

   Google Scholar 

10. T. McLaughlin,Regressive Sets and the Theory of Isols, Marcel Dekker, New York, 1982.

    MATH  Google Scholar 

11. T. McLaughlin,Nerode semirings and Barbeck’s ‘Tame Models’, Houston J. Math.12 (1986), 211–223.

    MATH  MathSciNet  Google Scholar 

12. T. McLaughlin,Some properties of ∀∃models in the isols, Proc. Amer. Math. Soc.97 (1986), 495–502.

    Article  MATH  MathSciNet  Google Scholar 

13. A. Nerode,Extensions to isols, Ann. of Math.73 (1961), 362–403.

    Article  MathSciNet  Google Scholar 

14. A. Nerode,Extensions to isolic integers, Ann. of Math.75 (1962), 419–448.

    Article  MathSciNet  Google Scholar 

15. A. Nerode,Diophantine correct nonstandard models in the isols, Ann. of Math.84 (1966), 421–432.

    Article  MathSciNet  Google Scholar 

16. 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.

    Google Scholar 

Download references