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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

Almost combinatorial Skolem functions.Erik Ellentuck - 1970 - Journal of Symbolic Logic 35 (1):65-72.
Nonrecursive combinatorial functions.Erik Ellentuck - 1972 - Journal of Symbolic Logic 37 (1):90-95.
Regressive functions and combinatorial functions.Carl E. Bredlau - 1967 - Notre Dame Journal of Formal Logic 8 (4):301-310.
A Δ02 theory of regressive isols.Erik Ellentuck - 1974 - Journal of Symbolic Logic 39 (3):459 - 468.
Torre models in the isols.Joseph Barback - 1994 - Journal of Symbolic Logic 59 (1):140-150.
A combinatorial forcing for coding the universe by a real when there are no sharps.Saharon Shelah & Lee J. Stanley - 1995 - Journal of Symbolic Logic 60 (1):1-35.
Some combinatorial and algorithmic problems in many-valued logics.Ivan Stojmenović - 1987 - Novi Sad: University of Novi Sad, Faculty of Science, Institute of Mathematics.
Extensions as representative objects in Frege's logic.Marco Ruffino - 2000 - Erkenntnis 52 (2):239-252.
Hyper-Torre isols.Erik Ellentuck - 1981 - Journal of Symbolic Logic 46 (1):1-5.

Analytics

Added to PP
2009-01-28

Downloads
219 (#87,853)

6 months
1 (#1,459,555)

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