Generalizations of the recursion theorem

Journal of Symbolic Logic 83 (4):1683-1690 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2018.52

Links

PhilArchive



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

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

Recursion theorems and effective domains.Akira Kanda - 1988 - Annals of Pure and Applied Logic 38 (3):289-300.
Tabular degrees in \Ga-recursion theory.Colin Bailey & Rod Downey - 1992 - Annals of Pure and Applied Logic 55 (3):205-236.
Un teorema de multirecursión.Prida José Fernández - 1992 - Theoria 7 (1/2/3):87-90.
Un teorema de multirecursión.José Fernández Prida - 1992 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 7 (1-3):87-90.
Applications of cut-free infinitary derivations to generalized recursion theory.Arnold Beckmann & Wolfram Pohlers - 1998 - Annals of Pure and Applied Logic 94 (1-3):7-19.
On the Recursion Theorem in Iterative Operative Spaces.J. Zashev - 2001 - Journal of Symbolic Logic 66 (4):1727-1748.
On the recursion theorem in iterative operative spaces.J. Zashev - 2001 - Journal of Symbolic Logic 66 (4):1727-1748.
Recursion theory.Anil Nerode & Richard A. Shore (eds.) - 1985 - Providence, R.I.: American Mathematical Society.
A direct proof of schwichtenberg’s bar recursion closure theorem.Paulo Oliva & Silvia Steila - 2018 - Journal of Symbolic Logic 83 (1):70-83.
Strong Normalization Theorem for a Constructive Arithmetic with Definition by Transfinite Recursion and Bar Induction.Osamu Takaki - 1997 - Notre Dame Journal of Formal Logic 38 (3):350-373.
Recursion theory for metamathematics.Raymond Merrill Smullyan - 1993 - New York: Oxford University Press.
On the proof of Solovay's theorem.Dick de Jongh, Marc Jumelet & Franco Montagna - 1991 - Studia Logica 50 (1):51-69.
On the proof of Solovay's theorem.Dick Jongh, Marc Jumelet & Franco Montagna - 1991 - Studia Logica 50 (1):51 - 69.
Some generalizations of the virial theorem.Edward Teller - 1986 - Foundations of Physics 16 (5):423-435.
Weak cardinality theorems.Till Tantau - 2005 - Journal of Symbolic Logic 70 (3):861-878.

Analytics

Added to PP
2018-12-22

Downloads
15 (#941,877)

6 months
7 (#419,182)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Fixed point theorems for precomplete numberings.Henk Barendregt & Sebastiaan A. Terwijn - 2019 - Annals of Pure and Applied Logic 170 (10):1151-1161.
Computability in partial combinatory algebras.Sebastiaan A. Terwijn - 2020 - Bulletin of Symbolic Logic 26 (3-4):224-240.

Add more citations

References found in this work

Theorie der Numerierungen I.Ju L. Eršov - 1973 - Mathematical Logic Quarterly 19 (19‐25):289-388.
Kleene's amazing second recursion theorem.Yiannis N. Moschovakis - 2010 - Bulletin of Symbolic Logic 16 (2):189 - 239.
Diagonalization and the recursion theorem.James C. Owings - 1973 - Notre Dame Journal of Formal Logic 14 (1):95-99.

Add more references