Corrigendum to "The d.r.e. degrees are not dense" [Ann. Pure Appl. Logic 55 (1991) 125-151]. | 0 | 0.34 | 2017 |
Σ _1^1 in Every Real in a Σ _1^1 Class of Reals Is Σ _1^1. | 0 | 0.34 | 2017 |
The Complexity of Orbits of Computably Enumerable Sets | 4 | 0.63 | 2008 |
ISOMORPHISMS OF SPLITS OF COMPUTABLY ENUMERABLE SETS | 1 | 0.39 | 2003 |
ON THE DEFINABILITY OF THE DOUBLE JUMP IN THE COMPUTABLY ENUMERABLE SETS | 5 | 0.60 | 2002 |
Definable encodings in the computably enumerable sets | 3 | 0.46 | 2000 |
Definable properties of the computably enumerable sets | 5 | 1.08 | 1998 |
Codable Sets and Orbits of Computably Enumerable Sets | 6 | 1.06 | 1998 |
Definability, Automorphisms, And Dynamic Properties Of Computably Enumerable Sets | 6 | 0.89 | 1996 |
The d.r.e. degrees are not dense | 29 | 3.96 | 1991 |
Trivial pursuit: Remarks on the main gap | 3 | 1.16 | 1987 |
aleph0-Categorical, aleph0-stable structures. | 0 | 0.34 | 1985 |
An exposition of Shelah's "main gap": counting uncountable models of ω-stable and superstable theories. | 0 | 0.34 | 1985 |
Some exact equiconsistency results in set theory. | 16 | 3.85 | 1985 |
Analytic Determinacy and 0 | 2 | 0.72 | 1978 |
Meeting of the Association for Symbolic Logic: Reno, 1976 | 0 | 0.34 | 1977 |
Selection In Abstract Recursion Theory | 2 | 1.14 | 1976 |
On sigma1 Well-Orderings of the Universe | 0 | 0.34 | 1976 |
On Characterizing Spector Classes | 0 | 0.34 | 1975 |