Skip to main content
SpringerLink
Log in

Additive relations among recursive equivalence types

  • Published:
Mathematische Annalen 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. Dekker, J. C. E., andJ. Myhill: Recursive equivalence types. Univ. Calif. Publs. in Math. (New Series)3, No. 3, 67–214 (1960).

    Google Scholar 

  2. Ellentuck, E.: Solution of a problem ofR. Friedberg. Math. Z.82, 101–103 (1963).

    Google Scholar 

  3. Friedberg, Richard: The uniqueness of finite division for recursive equivalence types. Math. Z.75, 3–7 (1961).

    Google Scholar 

  4. Myhill, J.: Recursive equivalence types and combinatorial functions. Bull. Am. Math. Soc.64, 373–376 (1958).

    Google Scholar 

  5. -- Recursive equivalence types and combinatorial functions (part II). Proc. International Congress in Logic, Methodology, and Philosophy of Science, Stanford, 46–55 (1962).

  6. —— Ω-λ, Recursive function theory. Am. Math. Soc. Proc. of Symposia in Pure Math.5, 97–104 (1960).

    Google Scholar 

  7. —— Elementary properties of the group of isolic integers. Math. Z.78, 126–130 (1962).

    Google Scholar 

  8. Nerode, A.: Extensions to Isols. Ann. Math.73, 362–403 (1961).

    Google Scholar 

  9. —— Extensions to Isolic Integers. Ann. Math.75, 419–448 (1962).

    Google Scholar 

  10. —— Arithmetically isolated sets and nonstandard models. Recursive function theory. Am. Math. Soc. Proc. of Symposia in Pure Math.5, 105–116 (1962).

    Google Scholar 

  11. -- Combinatorial series and recursive equivalence types. To appear in Fundamenta Math.

Download references

Author information

Authors and Affiliations

  1. Ithaca, New York

    A. Nerode

Authors
  1. A. Nerode
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Research for this paper was supported in part under National Science Foundation grant GP-124.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Nerode, A. Additive relations among recursive equivalence types. Math. Ann. 159, 329–343 (1965). https://doi.org/10.1007/BF01362769

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation