The uniform regular set theorem in α-recursion theory

Journal of Symbolic Logic 43 (2):270-279 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272825

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

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

An extension of the nondiamond theorem in classical and α-recursion theory.Klaus Ambos-Spies - 1984 - Journal of Symbolic Logic 49 (2):586-607.
Review: Wolfgang Maass, Inadmissibility, Tame r.e. Sets and the Admissible Collapse; Wolfgang Maass, On $alpha$- and $beta$-Recursively Enumerable Degrees. [REVIEW]Steven Homer - 1981 - Journal of Symbolic Logic 46 (3):665-667.
On generalized computational complexity.Barry E. Jacobs - 1977 - Journal of Symbolic Logic 42 (1):47-58.
The operator gap theorem in α-recursion theory.Robert A. Paola - 1978 - Archive for Mathematical Logic 19 (1):115-129.
A recursion theoretic analysis of the clopen Ramsey theorem.Peter Clote - 1984 - Journal of Symbolic Logic 49 (2):376-400.
Ramsey's theorem and recursion theory.Carl G. Jockusch - 1972 - Journal of Symbolic Logic 37 (2):268-280.
RT₂² does not imply WKL₀.Jiayi Liu - 2012 - Journal of Symbolic Logic 77 (2):609-620.
Friedberg Numbering in Fragments of Peano Arithmetic and α-Recursion Theory.Wei Li - 2013 - Journal of Symbolic Logic 78 (4):1135-1163.
Wolfgang Maass. Inadmissibility, tame r.e. sets and the admissible collapse. Annals of mathematical logic, vol. 13 no. 2 , pp. 149–170. [REVIEW]Steven Homer - 1981 - Journal of Symbolic Logic 46 (3):665-667.
Ordinal machines and admissible recursion theory.Peter Koepke & Benjamin Seyfferth - 2009 - Annals of Pure and Applied Logic 160 (3):310-318.

Analytics

Added to PP
2009-01-28

Downloads
215 (#95,810)

6 months
6 (#700,231)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Recursively invariant beta-recursion theory.Wolfgand Maass - 1981 - Annals of Mathematical Logic 21 (1):27.

Add more citations

References found in this work

Annals of Mathematical Logic: Announcement of a New Periodical.[author unknown] - 1969 - Journal of Symbolic Logic 34 (3):532-532.

Add more references