Skip to main content
SpringerLink
Log in

On expandability of models of Peano arithmetic. II

  • Articles
  • Published:
Studia Logica Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. K. J. Barwise, J. Schlipf,On recursively saturated models of arithmetic (mimeographed).

  2. A. Ehrenfeucht,Discernible elements in models for Peano arithmetic,Journal of Symbolic Logic, Vol. 38 (1973), pp. 291–292.

    Google Scholar 

  3. A. Ehrenfeucht, G. Kreisel,Strong models of arithmetic,Bulletin de l'Académie Polonaise des Sciences,Série des sci. math., astr. et phys., Vol. 14 (1966), pp. 107–110.

    Google Scholar 

  4. S. Feferman,Arithmetically definable models of formalized arithmetic,Notices of American Mathematical Society, Vol. 5 (1958), pp. 679–680.

    Google Scholar 

  5. H. Friedman,Countable models of set theories, inCambridge Summer School in Mathematical Logic, Springer Verlag, LNM 337.

  6. H. Gaifman,On local arithmetical functions and their application for constructing types of Peano's arithmetic, inMathematical Logic and Foundations of Set Theory, ed. by Y. Bar-Hillel, North Holland Publ. Comp. 1970, pp. 105–121.

  7. A. Grzegorczyk, A. Mostowski, C. Ryll-Nardzewski,The classical and the ω-complete arithmetic,Journal of Symbolic Logic, Vol. 23 (1958), 188–206.

    Google Scholar 

  8. G. Hensel, H. Putnam,Normal models and the field Σ *1 ,Fundamenta Mathematicae, Vol. 64 (1969), pp. 231–240.

    Google Scholar 

  9. S. Krajewski,Non-standard satisfaction classes and their application to investigation of certain extensions of axiomatic theories (in Polish), Ph. D. Thesis, Warsaw 1975.

  10. W. Marek,ω-models of second order arithmetic and admissible sets, preprint.

  11. W. Marek, A. Mostowski,On extendability of models of ZF set theory to the models of KM theory of classes, inLogic Conference, Kiel 1974, Springer Verlag, LNM, to appear.

  12. W. Marek, M. Srebrny,Urelements and extendability, inA Logic Conference, Bierutowice, Poland '75, Springer Verlag, LNM, to appear.

  13. M. O. Rabin,Non-standard models and the independence of the induction axiom, inEssays on the foundations of mathematics, Jerusalem, 1966, pp. 287–299.

  14. C. Ryll-Nardzewski,The role of the axiom of induction in elementary arithmetic,Fundamenta Mathematicae, Vol. 39 (1952), pp. 239–263.

    Google Scholar 

  15. Z. Vetulani,Some remarks on ultrapowers of extendable models of ZF, to appear.

  16. A. Wilkie,On models of arithmetic — answers to two problems raised by H. Gaifman,Journal of Symbolic Logic, Vol. 40 (1975), pp. 41–47.

    Google Scholar 

  17. A. Wilkie,On the arithmetical part of strong theories, (mimeographed).

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics, Adam Mickiewicz University, Poznań, Poland

    Roman Murawski

Authors
  1. Roman Murawski
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Allatum est die 2 Februarii 1976

Rights and permissions

Reprints and permissions

About this article

Cite this article

Murawski, R. On expandability of models of Peano arithmetic. II. Stud Logica 35, 421–431 (1976). https://doi.org/10.1007/BF02123407

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02123407

Keywords

Search

Navigation