Hostname: page-component-77c89778f8-gq7q9 Total loading time: 0 Render date: 2024-07-20T02:31:04.907Z Has data issue: false hasContentIssue false
  • English
  • Français

Incompatible extensions of combinatorial functions

Published online by Cambridge University Press:  12 March 2014

Erik Ellentuck
Erik Ellentuck*
Affiliation:
University of California, Berkeley, California 94720
Get access Rights & Permissions [Opens in a new window]

Abstract

We find necessary and sufficient conditions for compatibility of the Myhill and the Nerode extensions of a combinatorial function to the isols.

Keywords

Nonrecursive combinatorial function
Type
Research Article
Information
The Journal of Symbolic Logic , Volume 48 , Issue 3 , September 1983 , pp. 752 - 755
Copyright
Copyright © Association for Symbolic Logic 1983

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Ellentuck, E., Nonrecursive relations among the isols, Proceedings of the American Mathematical Society, vol. 36 (1972), pp. 239–245.CrossRefGoogle Scholar
[2]Ellentuck, E., The positive properties of isolic integers, this Journal, vol. 37 (1972), pp. 114–132.Google Scholar
[3]McLaughlin, T. G., On the divergence of extension procedures in isol theory, Proceedings of the American Mathematical Society, vol. 83 (1981), pp. 769–773.CrossRefGoogle Scholar
[4]Myhill, J., Recursive equivalence types and combinatorial functions, Bulletin of the American Mathematical Society, vol. 64 (1958), pp. 373–376.CrossRefGoogle Scholar
[5]Nerode, A., Extensions to isols, Annals of Mathematics, vol. 73 (1961), pp. 362–403.CrossRefGoogle Scholar