Recursively Enumerable Sets and Retracing Functions

Mathematical Logic Quarterly 8 (3-4):331-345 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19620080313

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,191

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

Review: C. E. M. Yates, Three Theorems on the Degrees of Recursively Enumerable Sets. [REVIEW]Hartley Rogers - 1967 - Journal of Symbolic Logic 32 (3):394-395.
C. E. M. Yates. Arithmetical sets and retracing functions. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 193–204. [REVIEW]Carl Bredlau - 1975 - Journal of Symbolic Logic 40 (3):453-453.
C. E. M. Yates. A minimal pair of recursively enumerable degrees. The journal of symbolic logic, vol. 31 , pp. 159–168.Robert W. Robinson - 1972 - Journal of Symbolic Logic 37 (3):611.
C. E. M. Yates. Recursively enumerable degrees and the degrees less than 0. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 264–271. [REVIEW]S. K. Thomason - 1970 - Journal of Symbolic Logic 35 (4):589-589.
Minimal Degrees and Recursively Inseparable Pairs of Recursively Enumerable Sets.Manuel Lerman - 1991 - Mathematical Logic Quarterly 37 (19‐22):331-342.
A Dichotomy of the Recursively Enumerable Sets.Robert W. Robinson - 1968 - Mathematical Logic Quarterly 14 (21-24):339-356.
On speedability of recursively enumerable sets.Ivan Marques - 1975 - Mathematical Logic Quarterly 21 (1):199-214.
Anti‐Mitotic Recursively Enumerable Sets.Klaus Ambos-Spies - 1985 - Mathematical Logic Quarterly 31 (29-30):461-477.

Analytics

Added to PP
2013-11-24

Downloads
84 (#275,749)

6 months
12 (#354,677)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Hyperhypersimple sets and Q1 -reducibility.Irakli Chitaia - 2016 - Mathematical Logic Quarterly 62 (6):590-595.
Countable thin Π01 classes.Douglas Cenzer, Rodney Downey, Carl Jockusch & Richard A. Shore - 1993 - Annals of Pure and Applied Logic 59 (2):79-139.
Simplicity of recursively enumerable sets.Robert W. Robinson - 1967 - Journal of Symbolic Logic 32 (2):162-172.
Uniformly introreducible sets.Carl G. Jockusch - 1968 - Journal of Symbolic Logic 33 (4):521-536.
Jump equivalence of the Δ2 0 hyperimmune sets.S. B. Cooper - 1972 - Journal of Symbolic Logic 37 (3):598-600.

View all 8 citations / Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - unknown - Groningen: P. Noordhoff N.V..

Add more references