| Publication | Date of Publication | Type |
|---|
IN MEMORIAM: GERALD E. SACKS, 1933–2019
The Bulletin of Symbolic Logic | 2022-04-04 | Paper |
| Degrees of unsolvability. Local and global theory | 2017-07-06 | Paper |
Separating principles below Ramsey's theorem for pairs
Journal of Mathematical Logic | 2014-03-10 | Paper |
Cappable CEA sets and Ramsey's theorem
Proceedings of the 11th Asian Logic Conference | 2013-06-03 | Paper |
| A framework for priority arguments | 2010-07-01 | Paper |
Self-embeddings of computable trees
Notre Dame Journal of Formal Logic | 2010-01-13 | Paper |
Stability and posets
Journal of Symbolic Logic | 2009-06-04 | Paper |
| Embedding finite lattices into the computably enumerable degrees -- a status survey | 2006-10-17 | Paper |
On a conjecture of Dobrinen and Simpson concerning almost everywhere domination
(available as arXiv preprint) | 2006-07-05 | Paper |
Computable choice functions for computable linear orderings
MLQ | 2003-11-10 | Paper |
Homomorphisms and quotients of degree structures
Annals of Pure and Applied Logic | 2003-09-25 | Paper |
Embedding finite lattices into the ideals of computably enumerable turing degrees
Journal of Symbolic Logic | 2002-07-23 | Paper |
| scientific article; zbMATH DE number 1531929 (Why is no real title available?) | 2000-11-19 | Paper |
A necessary and sufficient condition for embedding principally decomposable finite lattices into the computably enumerable degrees
Annals of Pure and Applied Logic | 2000-10-08 | Paper |
A necessary and sufficient condition for embedding ranked finite partial lattices into the computably enumerable degrees
Annals of Pure and Applied Logic | 1999-11-08 | Paper |
Iterated trees of strategies and priority arguments
Archive for Mathematical Logic | 1998-11-02 | Paper |
A finite lattice without critical triple that cannot be embedded into the enumerable Turing degrees
Annals of Pure and Applied Logic | 1998-03-23 | Paper |
Decidability of the two-quantifier theory of the recursively enumerable weak truth-table degrees and other distributive upper semi-lattices
Journal of Symbolic Logic | 1997-06-03 | Paper |
The decidability of the existential theory of the poset of recursively enumerable degrees with jump relations
Advances in Mathematics | 1997-02-24 | Paper |
| scientific article; zbMATH DE number 841089 (Why is no real title available?) | 1996-02-04 | Paper |
A General Framework for Priority Arguments
The Bulletin of Symbolic Logic | 1995-09-20 | Paper |
| scientific article; zbMATH DE number 733390 (Why is no real title available?) | 1995-08-27 | Paper |
Lattice Embeddings into the R.E. Degrees Preserving 0 and 1
Journal of the London Mathematical Society | 1994-04-27 | Paper |
The existential theory of the poset of R.E. degrees with a predicate for single jump reducibility
Journal of Symbolic Logic | 1993-04-01 | Paper |
Minimal Degrees and Recursively Inseparable Pairs of Recursively Enumerable Sets
Mathematical Logic Quarterly | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 4150132 (Why is no real title available?) | 1990-01-01 | Paper |
Recursively enumerable sets modulo iterated jumps and extensions of Arslanov's completeness criterion
Journal of Symbolic Logic | 1989-01-01 | Paper |
Lattice embeddings into the recursively enumerable degrees. II
Journal of Symbolic Logic | 1989-01-01 | Paper |
| Decidability and Invariant Classes for Degree Structures | 1988-01-01 | Paper |
Degrees which do not bound minimal degrees
Annals of Pure and Applied Logic | 1986-01-01 | Paper |
Lattice embeddings into the recursively enumerable degrees
Journal of Symbolic Logic | 1986-01-01 | Paper |
Upper bounds for the arithmetical degrees
Annals of Pure and Applied Logic | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3941523 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3939344 (Why is no real title available?) | 1985-01-01 | Paper |
The elementary theory of the recursively enumerable degrees is not \(\aleph _ 0\)-categorical
Advances in Mathematics | 1984-01-01 | Paper |
The universal splitting property. II
Journal of Symbolic Logic | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3861137 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3857082 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3805534 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3782988 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3732037 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3715538 (Why is no real title available?) | 1980-01-01 | Paper |
| A Decidable Fragment of the Elementary Theory of the Lattice of Recursively Enumerable Sets | 1980-01-01 | Paper |
d-simple sets, small sets, and degree classes
Pacific Journal of Mathematics | 1980-01-01 | Paper |
Theories with recursive models
Journal of Symbolic Logic | 1979-01-01 | Paper |
\(r\)-maximal major subsets
Israel Journal of Mathematics | 1978-01-01 | Paper |
On elementary theories of some lattices or α-recursively enumerable sets
Annals of Mathematical Logic | 1978-01-01 | Paper |
Types of simple α-recursively enumerable sets
Journal of Symbolic Logic | 1976-01-01 | Paper |
Congruence relations, filters, ideals, and definability in lattices of α-recursively enumerable sets
Journal of Symbolic Logic | 1976-01-01 | Paper |
Ideals of Generalized Finite Sets in Lattices of α‐Recursively Enumerable Sets
Mathematical Logic Quarterly | 1976-01-01 | Paper |
Maximal a-R.E. Sets
Transactions of the American Mathematical Society | 1974-01-01 | Paper |
Least upper bounds for minimal pairs of α-R.E. α-degrees
Journal of Symbolic Logic | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3458600 (Why is no real title available?) | 1973-01-01 | Paper |
Maximal sets in \(\alpha\)-recursion theory
Israel Journal of Mathematics | 1973-01-01 | Paper |
Some minimal pairs of α-recursively enumerable degrees
Annals of Mathematical Logic | 1972-01-01 | Paper |
On suborderings of the α-recursively enumerable α-degrees
Annals of Mathematical Logic | 1972-01-01 | Paper |
Initial segments of the degrees of unsolvability
Annals of Mathematics. Second Series | 1971-01-01 | Paper |
Some theorems on R-maximal sets and major subsets of recursively enumerable sets
Journal of Symbolic Logic | 1971-01-01 | Paper |
Recursive Functions Modulo Co-r-Maximal Sets
Transactions of the American Mathematical Society | 1970-01-01 | Paper |
Turing degrees and many-one degrees of maximal sets
Journal of Symbolic Logic | 1970-01-01 | Paper |
Some nondistributive lattices as initial segments of the degrees of unsolvability
Journal of Symbolic Logic | 1969-01-01 | Paper |
