Advertisement

Models of arithmetic and the semi-ring of recursive functions

  • Joram Hirschfeld
Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 369)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    S. Feferman, D. Scott and S. Tennenbaum: Models of arithmetic through function rings. Notices of the A.M.S. 173 (1959) 556–31.Google Scholar
  2. 2.
    H. Friedman: Countable models of set theory. To appear in the Proceeding of the Cambridge symposium (1971).Google Scholar

Copyright information

© Springer-Verlag 1974

Authors and Affiliations

  • Joram Hirschfeld
    • 1
  1. 1.Yale University - Tel Aviv UniversityUSA

Personalised recommendations