References
Dekker, J. C. E., andJ. Myhill: Recursive Equivalence Types. University of California Publications in Mathematics (New Series)3, No. 3, 67–214 (1960).
Nerode, A.: Extensions to Isols. Ann. of Math.73, 362–403 (1961).
— Extensions to Isolic Integers. Ann. of Math.75, 419–448 (1962).
Author information
Authors and Affiliations
Additional information
Research supported in part under National Science Foundation Grant GP-124.
Rights and permissions
About this article
Cite this article
Nerode, A. Non-linear combinatorial functions of isols. Math Z 86, 410–424 (1965). https://doi.org/10.1007/BF01110812
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01110812