Recursion relative to regressive functions

&
Annals of Mathematical Logic 6 (3-4):231-257 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(74)90002-3

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

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

Degrees of Relative Provability.Mingzhong Cai - 2012 - Notre Dame Journal of Formal Logic 53 (4):479-489.
A Δ02 theory of regressive isols.Erik Ellentuck - 1974 - Journal of Symbolic Logic 39 (3):459 - 468.
A $Delta^0_2$ Theory of Regressive Isols.Erik Ellentuck - 1974 - Journal of Symbolic Logic 39 (3):459-468.
Unary primitive recursive functions.Daniel E. Severin - 2008 - Journal of Symbolic Logic 73 (4):1122-1138.
Recursive analysis.R. L. Goodstein - 1961 - Mineola, N.Y.: Dover Publications.
On nested simple recursion.Ján Komara - 2011 - Archive for Mathematical Logic 50 (5-6):617-624.
Review: J. Barback, Recursive Functions and Regressive Isols. [REVIEW]Erik Ellentuck - 1967 - Journal of Symbolic Logic 32 (2):269-270.
Review: J. C. E. Dekker, Closure Properties of Regressive Functions. [REVIEW]Louise Hay - 1971 - Journal of Symbolic Logic 36 (3):539-539.
Regressive functions and combinatorial functions.Carl E. Bredlau - 1967 - Notre Dame Journal of Formal Logic 8 (4):301-310.
Review: Carl E. Bredlau, Regressive Functions and Combinatorial Functions. [REVIEW]Louise Hay - 1973 - Journal of Symbolic Logic 38 (2):333-333.
Tailoring recursion for complexity.Erich Grädel & Yuri Gurevich - 1995 - Journal of Symbolic Logic 60 (3):952-969.
Hyper-Torre isols.Erik Ellentuck - 1981 - Journal of Symbolic Logic 46 (1):1-5.
On Spector's bar recursion.Paulo Oliva & Thomas Powell - 2012 - Mathematical Logic Quarterly 58 (4-5):356-265.
Recursion on the countable functionals.Dag Normann - 1980 - New York: Springer Verlag.
Subrecursion: functions and hierarchies.H. E. Rose - 1984 - New York: Oxford University Press.

Analytics

Added to PP
2014-01-17

Downloads
15 (#951,632)

6 months
6 (#530,265)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Isols and the pigeonhole principle.J. C. E. Dekker & E. Ellentuck - 1989 - Journal of Symbolic Logic 54 (3):833-846.
Twilight graphs.J. C. E. Dekker - 1981 - Journal of Symbolic Logic 46 (3):539-571.
Galois Theorems for Isolated Fields.Erik Ellentuck - 1981 - Mathematical Logic Quarterly 27 (1):1-9.
Projective planes of infinite but isolic order.J. C. E. Dekker - 1976 - Journal of Symbolic Logic 41 (2):391-404.

Add more citations

References found in this work

A minimal pair of recursively enumerable degrees.C. E. M. Yates - 1966 - Journal of Symbolic Logic 31 (2):159-168.
Recursive equivalence types and groups.Matthew J. Hassett - 1969 - Journal of Symbolic Logic 34 (1):13-20.
Partial recursive functions and ω-functions.C. H. Applebaum & J. C. E. Dekker - 1970 - Journal of Symbolic Logic 35 (4):559-568.
Hereditarily Retraceable Isols.T. G. Mclaughlin - 1968 - Journal of Symbolic Logic 33 (1):114-115.
On Degrees of Unsolvability.J. R. Shoenfield - 1964 - Journal of Symbolic Logic 29 (4):203-204.

Add more references