Incompatible extensions of combinatorial functions

Journal of Symbolic Logic 48 (3):752-755 (1983)
  Copy   BIBTEX

Abstract

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

Categories

Keywords

Reprint years

DOI

10.2307/2273467

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,369

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Nerode A.. Non-linear combinatorial functions of isols. Mathematische Zeitschrift, vol. 86 no. 5 , pp. 410–424.Carl Bredlau - 1969 - Journal of Symbolic Logic 33 (4):619-619.
Existentially Complete Nerode Semirings.Thomas G. McLaughlin - 1995 - Mathematical Logic Quarterly 41 (1):1-14.
Hyper-Torre isols.Erik Ellentuck - 1981 - Journal of Symbolic Logic 46 (1):1-5.
Combinatorial Functions and Regressive Isols.F. J. Sansone - 1968 - Journal of Symbolic Logic 33 (1):113-114.
Nerode Anil. Extensions to isols. Annals of mathematics, second series, vol. 73 , pp. 362–403.J. C. E. Dekker - 1960 - Journal of Symbolic Logic 25 (4):359-361.
J. C. E. Dekker and J. Myhill. Recursive equivalence types. University of California publications in mathematics, n.s. vol. 3 no. 3 , pp. 67–214. - J. C. E. Dekker. Congruences in isols with a finite modulus. Mathematische Zeitschrift, vol. 70 , pp. 113–124. - J. Myhill. Recursive equivalence types and combinatorial functions. Bulletin of the American Mathematical Society, vol. 64 , pp. 373–376. - J. C. E. Dekker. The factorial function for isols. Mathematische Zeitschrift, vol. 70 , pp. 250–262. - J. C. E. Dekker and J. Myhill. The divisibility of isols by powers of primes. Mathematische Zeitschrift, vol. 73 . pp. 127–133. - J. C. E. Dekker. An expository account of isols. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 189–200. [REVIEW]Donald L. Kreider - 1960 - Journal of Symbolic Logic 25 (4):356-359.

Analytics

Added to PP
2009-01-28

Downloads
232 (#112,778)

6 months
5 (#1,062,008)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Myhill's work in recursion theory.J. C. E. Dekker & E. Ellentuck - 1992 - Annals of Pure and Applied Logic 56 (1-3):43-71.

Add more citations

References found in this work

No references found.

Add more references