| Publication | Date of Publication | Type |
|---|
A Lopez-Escobar theorem for continuous domains
The Journal of Symbolic Logic | 2025-07-24 | Paper |
| scientific article; zbMATH DE number 7809183 (Why is no real title available?) | 2024-02-26 | Paper |
ON COHESIVE POWERS OF LINEAR ORDERS
Journal of Symbolic Logic | 2023-09-11 | Paper |
INTERPRETING A FIELD IN ITS HEISENBERG GROUP
Journal of Symbolic Logic | 2022-08-29 | Paper |
| Properties of co-spectra of joint spectra of structures | 2021-04-13 | Paper |
CODING IN GRAPHS AND LINEAR ORDERINGS
Journal of Symbolic Logic | 2021-01-29 | Paper |
Interpreting a field in its Heisenberg group
(available as arXiv preprint) | 2020-06-21 | Paper |
Cohesive powers of linear orders
(available as arXiv preprint) | 2020-05-12 | Paper |
On cototality and the skip operator in the enumeration degrees
Transactions of the American Mathematical Society | 2019-07-03 | Paper |
S. Barry Cooper (1943–2015)
Computability | 2018-09-20 | Paper |
Enumeration reducibility and computable structure theory
Computability and Complexity | 2017-04-04 | Paper |
Quasi-minimal degrees for degree spectra
Journal Of Logic And Computation | 2014-04-01 | Paper |
A Jump Inversion Theorem for the Degree Spectra
Journal Of Logic And Computation | 2009-03-02 | Paper |
ω-Degree Spectra
Logic and Theory of Algorithms | 2008-06-19 | Paper |
Relativized Degree Spectra
Journal Of Logic And Computation | 2008-02-07 | Paper |
A Jump Inversion Theorem for the Degree Spectra
Lecture Notes in Computer Science | 2007-11-13 | Paper |
Logical Approaches to Computational Barriers
Lecture Notes in Computer Science | 2007-04-30 | Paper |
| Admissibility in \(\Sigma_n^0\)-enumerations | 2006-01-23 | Paper |
| An external approach to abstract data types. I: Computability on abstract data type | 2006-01-23 | Paper |
New Computational Paradigms
Lecture Notes in Computer Science | 2006-01-11 | Paper |
| scientific article; zbMATH DE number 2237372 (Why is no real title available?) | 2005-12-09 | Paper |
Effective Structures
Mathematical Logic Quarterly | 1997-09-30 | Paper |
| scientific article; zbMATH DE number 218551 (Why is no real title available?) | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 4154429 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4210132 (Why is no real title available?) | 1990-01-01 | Paper |
A Lopez-Escobar Theorem for Continuous Domains
(available as arXiv preprint) | N/A | Paper |
Learning Families of Algebraic Structures from Text
(available as arXiv preprint) | N/A | Paper |
