Publication | Date of Publication | Type |
---|
On a general method of constructing post reducibilities and the corresponding completeness criteria | 2023-04-20 | Paper |
Completeness criteria for a class of reducibilities | 2023-03-02 | Paper |
\textit{CEA} operators and the ershov hierarchy | 2021-10-19 | Paper |
Turing computability: structural theory | 2021-06-29 | Paper |
Fixed-point selection functions | 2021-06-07 | Paper |
On the problem of definability of the computably enumerable degrees in the difference hierarchy | 2018-09-27 | Paper |
Elementary theories and structural properties of d-c.e. and n-c.e. degrees | 2017-06-30 | Paper |
A Survey of Results on the d-c.e. and n-c.e. Degrees | 2017-04-04 | Paper |
Structural theory of degrees of unsolvability: advances and open problems | 2016-01-13 | Paper |
Definable relations in Turing degree structures | 2014-11-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q2925488 | 2014-10-16 | Paper |
Model-theoretic properties of Turing degrees in the Ershov difference hierarchy | 2014-10-07 | Paper |
Definable relations in Turing degree structures | 2014-04-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q2906563 | 2012-09-05 | Paper |
Model-theoretic properties of the n-c.e. degrees | 2012-09-05 | Paper |
Splitting and nonsplitting in the \(\Sigma_2^0\) enumeration degrees | 2011-04-05 | Paper |
On Downey's conjecture | 2010-06-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q3656420 | 2010-01-13 | Paper |
Weak presentations of computable ordered semigroups | 2009-06-10 | Paper |
Structural properties of \(Q\)-degrees of n-c.e. sets | 2008-12-05 | Paper |
Q-degrees of \(n\)-c.e. sets | 2008-08-27 | Paper |
Total Degrees and Nonsplitting Properties of $\Sigma_2^0$ Enumeration Degrees | 2008-05-27 | Paper |
The minimal e-degree problem in fragments of Peano arithmetic | 2005-01-31 | Paper |
https://portal.mardi4nfdi.de/entity/Q4449350 | 2004-02-09 | Paper |
Density results in the \(\Delta_2^0\) e-degrees | 2003-09-16 | Paper |
A note on minimal and maximal ideals of ordered semigroups | 2003-06-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q2784777 | 2002-09-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q4511553 | 2001-03-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q4513961 | 2001-03-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4944900 | 2000-07-03 | Paper |
Relative enumerability in the difference hierarchy | 1999-04-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q4348123 | 1997-09-22 | Paper |
Interpolating \(d\)-r.e. and REA degrees between r.e. degrees | 1997-02-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q4863238 | 1996-06-19 | Paper |
The completeness of arithmetic sets under operations of set theory | 1995-12-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4325779 | 1995-03-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q3993285 | 1992-09-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q3491535 | 1990-01-01 | Paper |
Completeness in the arithmetical hierarchy and fixed points | 1989-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4205434 | 1989-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3816068 | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3829544 | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3792672 | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3792671 | 1986-01-01 | Paper |
A class of hypersimple incomplete sets | 1985-01-01 | Paper |
Effectively hyperimmune sets and majorants | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3727979 | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3755446 | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3762303 | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4723718 | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3325710 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3674634 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3855158 | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4198491 | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4133617 | 1977-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4182729 | 1976-01-01 | Paper |
Two theorems on recursively enumerable sets | 1970-01-01 | Paper |
On effectively hypersimple sets | 1970-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5676206 | 1970-01-01 | Paper |