| Publication | Date of Publication | Type |
|---|
| IN MEMORIAM: GERALD E. SACKS, 1933–2019 | 2022-04-04 | Paper |
| Degrees of Unsolvability | 2017-07-06 | Paper |
| SEPARATING PRINCIPLES BELOW RAMSEY'S THEOREM FOR PAIRS | 2014-03-10 | Paper |
| CAPPABLE CEA SETS AND RAMSEY'S THEOREM | 2013-06-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3573560 | 2010-07-01 | Paper |
| Self-embeddings of computable trees | 2010-01-13 | Paper |
| Stability and posets | 2009-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5494233 | 2006-10-17 | Paper |
| On a conjecture of Dobrinen and Simpson concerning almost everywhere domination | 2006-07-05 | Paper |
| Computable choice functions for computable linear orderings | 2003-11-10 | Paper |
| Homomorphisms and quotients of degree structures | 2003-09-25 | Paper |
| Embedding finite lattices into the ideals of computably enumerable turing degrees | 2002-07-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4513972 | 2000-11-19 | Paper |
| A necessary and sufficient condition for embedding principally decomposable finite lattices into the computably enumerable degrees | 2000-10-08 | Paper |
| A necessary and sufficient condition for embedding ranked finite partial lattices into the computably enumerable degrees | 1999-11-08 | Paper |
| Iterated trees of strategies and priority arguments | 1998-11-02 | Paper |
| A finite lattice without critical triple that cannot be embedded into the enumerable Turing degrees | 1998-03-23 | Paper |
| Decidability of the two-quantifier theory of the recursively enumerable weak truth-table degrees and other distributive upper semi-lattices | 1997-06-03 | Paper |
| The decidability of the existential theory of the poset of recursively enumerable degrees with jump relations | 1997-02-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4863245 | 1996-02-04 | Paper |
| A General Framework for Priority Arguments | 1995-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4325778 | 1995-08-27 | Paper |
| Lattice Embeddings into the R.E. Degrees Preserving 0 and 1 | 1994-04-27 | Paper |
| The existential theory of the poset of R.E. degrees with a predicate for single jump reducibility | 1993-04-01 | Paper |
| Minimal Degrees and Recursively Inseparable Pairs of Recursively Enumerable Sets | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3480023 | 1990-01-01 | Paper |
| Recursively enumerable sets modulo iterated jumps and extensions of Arslanov's completeness criterion | 1989-01-01 | Paper |
| Lattice embeddings into the recursively enumerable degrees. II | 1989-01-01 | Paper |
| Decidability and Invariant Classes for Degree Structures | 1988-01-01 | Paper |
| Degrees which do not bound minimal degrees | 1986-01-01 | Paper |
| Lattice embeddings into the recursively enumerable degrees | 1986-01-01 | Paper |
| Upper bounds for the arithmetical degrees | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3712325 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3714069 | 1985-01-01 | Paper |
| The elementary theory of the recursively enumerable degrees is not \(\aleph _ 0\)-categorical | 1984-01-01 | Paper |
| The universal splitting property. II | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3325711 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3329452 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3960683 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4749830 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3919702 | 1981-01-01 | Paper |
| d-simple sets, small sets, and degree classes | 1980-01-01 | Paper |
| A Decidable Fragment of the Elementary Theory of the Lattice of Recursively Enumerable Sets | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3905266 | 1980-01-01 | Paper |
| Theories with recursive models | 1979-01-01 | Paper |
| \(r\)-maximal major subsets | 1978-01-01 | Paper |
| On elementary theories of some lattices or α-recursively enumerable sets | 1978-01-01 | Paper |
| Congruence relations, filters, ideals, and definability in lattices of α-recursively enumerable sets | 1976-01-01 | Paper |
| Types of simple α-recursively enumerable sets | 1976-01-01 | Paper |
| Ideals of Generalized Finite Sets in Lattices of α‐Recursively Enumerable Sets | 1976-01-01 | Paper |
| Maximal a-R.E. Sets | 1974-01-01 | Paper |
| Least upper bounds for minimal pairs of α-R.E. α-degrees | 1974-01-01 | Paper |
| Maximal sets in \(\alpha\)-recursion theory | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4044555 | 1973-01-01 | Paper |
| On suborderings of the α-recursively enumerable α-degrees | 1972-01-01 | Paper |
| Some minimal pairs of α-recursively enumerable degrees | 1972-01-01 | Paper |
| Initial segments of the degrees of unsolvability | 1971-01-01 | Paper |
| Some theorems on R-maximal sets and major subsets of recursively enumerable sets | 1971-01-01 | Paper |
| Recursive Functions Modulo Co-r-Maximal Sets | 1970-01-01 | Paper |
| Turing degrees and many-one degrees of maximal sets | 1970-01-01 | Paper |
| Some nondistributive lattices as initial segments of the degrees of unsolvability | 1969-01-01 | Paper |
