Post's Program and incomplete recursively enumerable sets (1991)

Cached

Download Links

by Leo Harrington , Robert I. Soare
Citations:21 - 4 self

Documents Related by Co-Citation

32 Automorphisms of the lattice of recursively enumerable sets: Orbits, Adv – Author(s) Peter Cholak, Rod Downey, Michael Stob, Peter Cholak, Rod Downey, Michael Stob
117 Recursively enumerable sets of positive integers and their decision problems – E L Post - 1944
473 Recursively Enumerable Sets and Degrees – Robert I Soare - 1987
53 Classes of recursively enumerable sets and degrees of unsolvability – Donald A Martin - 1966
22 Automorphisms of the lattice of recursively enumerable sets, Part I: Maximal sets – R Soare - 1974
309 Classical Recursion Theory – P Odifreddi - 1989
837 Theory of recursive functions and effective computability – H Rogers - 1967
10 Codable Sets and Orbits of Computably Enumerable Sets – Leo Harrington, Robert I. Soare - 1995
13 Splitting properties and jump classes – W Maass, R A Shore, M Stob - 1981
15 Recursively enumerable generic sets – W Maass - 1982
14 Degrees of recursively enumerable sets which have no maximal supersets – A H Lachlan
47 Two recursively enumerable sets of incomparable degrees of unsolvability – R M Friedberg - 1957
13 The ∆ 0 3-Automorphism Method and Noninvariant Classes of Degrees – Leo Harrington, Robert I. Soare - 1996
12 d-Simple sets, small sets, and degree classes – M Lerman, R Soare - 1980
26 A recursively enumerable degree which will not split over all lesser ones – A H Lachlan - 1975
41 On degrees of unsolvability – J T Shoenfield - 1959
10 On the orbit of hyperhypersimple sets – W Maass
11 Characterization of recursively enumerable sets with supersets effectively isomorphic to all recursively enumerable sets – W Maass - 1983
21 On the lattice of recursively enumerable sets – A H Lachlan - 1968