| Publication | Date of Publication | Type |
|---|
Recursion theoretic papers. Introduction to Part VI
Ordinal Definability and Recursion Theory The Cabal Seminar Volume III | 2020-03-09 | Paper |
Corrigendum to: ``The d.r.e. degrees are not dense
Annals of Pure and Applied Logic | 2017-09-29 | Paper |
$$\Sigma _{1}^{1}$$ in Every Real in a $$\Sigma _{1}^{1}$$ Class of Reals Is $$\Sigma _{1}^{1}$$
Computability and Complexity | 2017-04-04 | Paper |
On the orbits of computably enumerable sets
Journal of the American Mathematical Society | 2010-11-19 | Paper |
The Complexity of Orbits of Computably Enumerable Sets
The Bulletin of Symbolic Logic | 2008-05-08 | Paper |
Extension theorems, orbits, and automorphisms of the computably enumerable sets
Transactions of the American Mathematical Society | 2008-01-21 | Paper |
| On the Orbits of Computably Enumerable Sets | 2006-07-11 | Paper |
Isomorphisms of splits of computably enumerable sets
Journal of Symbolic Logic | 2005-02-09 | Paper |
Definable Encodings in the Computably Enumerable Sets
The Bulletin of Symbolic Logic | 2002-01-09 | Paper |
Definable Encodings in the Computably Enumerable Sets
The Bulletin of Symbolic Logic | 2002-01-09 | Paper |
ON THE DEFINABILITY OF THE DOUBLE JUMP IN THE COMPUTABLY ENUMERABLE SETS
Journal of Mathematical Logic | 2002-01-01 | Paper |
Definable properties of the computably enumerable sets
Annals of Pure and Applied Logic | 2000-01-12 | Paper |
Codable sets and orbits of computably enumerable sets
Journal of Symbolic Logic | 1999-02-07 | Paper |
Coding in the partial order of enumerable sets
Advances in Mathematics | 1998-03-31 | Paper |
Definability, Automorphisms, and Dynamic Properties of Computably Enumerable Sets
The Bulletin of Symbolic Logic | 1997-03-19 | Paper |
There is no fat orbit
Annals of Pure and Applied Logic | 1997-03-17 | Paper |
The Δ₃⁰-automorphism method and noninvariant classes of degrees
Journal of the American Mathematical Society | 1996-12-11 | Paper |
| scientific article; zbMATH DE number 841085 (Why is no real title available?) | 1996-09-22 | Paper |
| scientific article; zbMATH DE number 218585 (Why is no real title available?) | 1993-06-29 | Paper |
Post's program and incomplete recursively enumerable sets.
Proceedings of the National Academy of Sciences | 1993-02-09 | Paper |
The d.r.e. degrees are not dense
Annals of Pure and Applied Logic | 1992-06-28 | Paper |
| A Glimm-Effros Dichotomy for Borel Equivalence Relations | 1992-06-25 | Paper |
| Borel Orderings | 1988-01-01 | Paper |
Trivial pursuit: remarks on the main gap
Annals of Pure and Applied Logic | 1987-01-01 | Paper |
\(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures
Annals of Pure and Applied Logic | 1985-01-01 | Paper |
Some exact equiconsistency results in set theory
Notre Dame Journal of Formal Logic | 1985-01-01 | Paper |
An exposition of Shelah's 'main gap': counting uncountable models of \(\omega\)-stable and superstable theories
Notre Dame Journal of Formal Logic | 1985-01-01 | Paper |
Fundamentals of forking
Annals of Pure and Applied Logic | 1984-01-01 | Paper |
A proof of Vaught's conjecture for \(\omega\)-stable theories
Israel Journal of Mathematics | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3875210 (Why is no real title available?) | 1984-01-01 | Paper |
The undecidability of the recursively enumerable degrees
Bulletin of the American Mathematical Society | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3809544 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3833953 (Why is no real title available?) | 1982-01-01 | Paper |
On the determinacy of games on ordinals
Annals of Mathematical Logic | 1981-01-01 | Paper |
Definable degrees and automorphisms of 𝒟
Bulletin of the American Mathematical Society | 1981-01-01 | Paper |
Extensions of countable infinitary logic which preserve most of its nice properties
Archiv für Mathematische Logik und Grundlagenforschung | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3823762 (Why is no real title available?) | 1979-01-01 | Paper |
Models Without Indiscernibles
Journal of Symbolic Logic | 1978-01-01 | Paper |
Analytic determinacy and 0#
Journal of Symbolic Logic | 1978-01-01 | Paper |
| A Generalized Kleene-Moschovakis Theorem | 1978-01-01 | Paper |
Long projective wellorderings
Annals of Mathematical Logic | 1977-01-01 | Paper |
Flipping properties: A unifying thread in the theory of large cardinals
Annals of Mathematical Logic | 1977-01-01 | Paper |
$Π^1_2$ singletons and $O^#$
Fundamenta Mathematicae | 1977-01-01 | Paper |
Adding a closed unbounded set
Journal of Symbolic Logic | 1976-01-01 | Paper |
On Σ1 well-orderings of the universe
Journal of Symbolic Logic | 1976-01-01 | Paper |
On monotone vs. nonmonotone induction
Bulletin of the American Mathematical Society | 1976-01-01 | Paper |
Selection in abstract recursion theory
Journal of Symbolic Logic | 1976-01-01 | Paper |
Characterizing C 3 (The Largest Countable Π 1 3 Set)
Proceedings of the American Mathematical Society | 1976-01-01 | Paper |
Π 1 2 Sets and Π 1 2 Singletons
Proceedings of the American Mathematical Society | 1975-01-01 | Paper |
A Basis Result for ∑ 0 3 Sets of Reals with an Application to Minimal Covers
Proceedings of the American Mathematical Society | 1975-01-01 | Paper |
On characterizing Spector classes
Journal of Symbolic Logic | 1975-01-01 | Paper |
Recursively presentable prime models
Journal of Symbolic Logic | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3456919 (Why is no real title available?) | 1974-01-01 | Paper |
