Some jump-like operations in β-recursion theory

Journal of Symbolic Logic 78 (1):57-71 (2013)
  Copy   BIBTEX

Abstract

In this paper we show that there are various pseudo-jump operators definable over inadmissible $J_{\beta}$ that relate to the failure of admissiblity and to non-regularity. We will use these ideas to construct some intermediate degrees

Categories

Keywords

Reprint years

DOI

10.2178/jsl.7801040

Links

PhilArchive



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

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

Tabular degrees in \Ga-recursion theory.Colin Bailey & Rod Downey - 1992 - Annals of Pure and Applied Logic 55 (3):205-236.
A Jump Operator in Set Recursion.Dag Normann - 1979 - Mathematical Logic Quarterly 25 (13‐18):251-264.
The concept of transition in quantum mechanics.James L. Park - 1970 - Foundations of Physics 1 (1):23-33.
Review: Dag Normann, A Jump Operator in Set Recursion. [REVIEW]E. R. Griffor - 1982 - Journal of Symbolic Logic 47 (4):902-902.
A Jump Operator in Set Recursion.Dag Normann - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (13-18):251-264.
On strongly jump traceable reals.Keng Meng Ng - 2008 - Annals of Pure and Applied Logic 154 (1):51-69.
Generic objects in recursion theory II: Operations on recursive approximation spaces.A. Nerode & J. B. Remmel - 1986 - Annals of Pure and Applied Logic 31:257-288.
Recursion theory for metamathematics.Raymond Merrill Smullyan - 1993 - New York: Oxford University Press.
A jump inversion theorem for the enumeration jump.I. N. Soskov - 2000 - Archive for Mathematical Logic 39 (6):417-437.
Normann Dag. A jump operator in set recursion. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 25 , pp. 251–264. [REVIEW]E. R. Griffor - 1982 - Journal of Symbolic Logic 47 (4):902-902.
Recursion theorems and effective domains.Akira Kanda - 1988 - Annals of Pure and Applied Logic 38 (3):289-300.
Recursion theory.Anil Nerode & Richard A. Shore (eds.) - 1985 - Providence, R.I.: American Mathematical Society.
Generalized recursion theory.Jens Erik Fenstad & Peter G. Hinman (eds.) - 1974 - New York,: American Elsevier Pub. Co..
General recursion theory: an axiomatic approach.Jens Erik Fenstad - 1980 - New York: Springer Verlag.
The jump operation for structure degrees.V. Baleva - 2005 - Archive for Mathematical Logic 45 (3):249-265.

Analytics

Added to PP
2013-01-24

Downloads
38 (#388,949)

6 months
1 (#1,346,405)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Inadmissibility, tame R.E. sets and the admissible collapse.Wolfgang Maass - 1978 - Annals of Mathematical Logic 13 (2):149-170.

Add more references