Higher recursion theory

New York, NY, USA: Cambridge University Press (1990)
  Copy   BIBTEX

Abstract

This almost self-contained introduction to higher recursion theory is essential reading for all researchers in the field.

Categories

Keywords

Reprint years

2016, 2017

Call number

QA9.6.S23 2016

ISBN(s)

9781107168435   3540193057

Other Versions

No versions found

View all bargains

Buy this book

Find it on Amazon.com

Links

PhilArchive

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

A Limit for Higher Recursion Theory.H. Luckhardt - 1979 - Mathematical Logic Quarterly 25 (30):475-479.
Some recent developments in higher recursion theory.Sy D. Friedman - 1983 - Journal of Symbolic Logic 48 (3):629-642.
On minimal pairs and minimal degrees in higher recursion theory.Wolfgang Maass - 1977 - Archive for Mathematical Logic 18 (1):169-186.
1-Generic degrees and minimal degrees in higher recursion theory, II.C. T. Chong - 1986 - Annals of Pure and Applied Logic 31:165-175.
Gerald E. Sacks. Higher recursion theory. Perspectives in mathematical logic. Springer-Verlag, Berlin etc. 1990, xv + 344 pp. [REVIEW]Dag Normann - 1992 - Journal of Symbolic Logic 57 (2):761-762.
Arithmetical independence results using higher recursion theory.Andrew Arana - 2004 - Journal of Symbolic Logic 69 (1):1-8.
E-recursion, forcing and C*-algebras.Chi-Tat Chong (ed.) - 2014 - New Jersey: World Scientific.
On winning strategies for $f_\sigma $ games. [REVIEW]Juan P. Aguilera & Robert Lubarsky - forthcoming - Journal of Symbolic Logic:1-15.
$\Pi ^{0}_{1}$ -Encodability and Omniscient Reductions.Benoit Monin & Ludovic Patey - 2019 - Notre Dame Journal of Formal Logic 60 (1):1-12.
Recursion theory for metamathematics.Raymond Merrill Smullyan - 1993 - New York: Oxford University Press.

Analytics

Added to PP
2022-12-13

Downloads
32 (#1,552,785)

6 months
10 (#1,169,684)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Computability and recursion.Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (3):284-321.
Axiomatische Wahrheitstheorien.Volker Halbach - 1996 - Berlin, Boston: De Gruyter.

View all 39 citations / Add more citations

References found in this work

No references found.

Add more references