| Publication | Date of Publication | Type |
|---|
| Quasi-isometric reductions between infinite strings | 2026-05-12 | Paper |
Quasi-isometric reductions between infinite strings
Journal of Computer and System Sciences | 2025-12-11 | Paper |
Adaptive variable neighborhood search algorithm with Metropolis rule and tabu list for satellite range scheduling problem
Computers & Operations Research | 2025-05-26 | Paper |
| A diamond embedding theorem in the quotient structure \(\mathbf{R}/{NCup} \) | 2025-02-07 | Paper |
Hybrid spatial network disintegration strategy considering geographic and topological information
Journal of Complex Networks | 2024-10-22 | Paper |
Members of thin \(\Pi_1^0\) classes and generic degrees
Proceedings of the American Mathematical Society | 2022-06-15 | Paper |
| Weak domain models of T₁ spaces | 2022-04-25 | Paper |
Cupping and jump classes in the computably enumerable degrees
Journal of Symbolic Logic | 2021-04-15 | Paper |
| Well-filtered spaces, compactness, and the lower topology | 2021-03-09 | Paper |
Sober Scott spaces are not always co-sober
Topology and its Applications | 2020-12-14 | Paper |
members of thin $\Pi_1^0$ classes and generic degrees
(available as arXiv preprint) | 2020-08-11 | Paper |
Well-filterifications of topological spaces
Topology and its Applications | 2020-06-02 | Paper |
| The d.r.e \(wtt\)-degrees are dense | 2020-05-12 | Paper |
Existence of well-filterifications of \(T_0\) topological spaces
Topology and its Applications | 2020-01-31 | Paper |
| Bounded jump and the high/low hierarchy | 2019-10-15 | Paper |
Degrees containing members of thin _1⁰ classes are dense and co-dense
Journal of Mathematical Logic | 2018-06-13 | Paper |
The Kierstead's conjecture and limitwise monotonic functions
Annals of Pure and Applied Logic | 2018-04-06 | Paper |
Corrigendum: "On the complexity of the successivity relation in computable linear orderings"
Journal of Mathematical Logic | 2017-12-04 | Paper |
ON A QUESTION OF CSIMA ON COMPUTATION-TIME DOMINATION
Proceedings of the 12th Asian Logic Conference | 2017-05-31 | Paper |
Degrees of word problem for algebras without finitely presented expansions
Lecture Notes in Computer Science | 2017-05-19 | Paper |
There Are No Maximal d.c.e. wtt-degrees
Computability and Complexity | 2017-04-04 | Paper |
Definable sets in Stone algebras
Archive for Mathematical Logic | 2017-02-02 | Paper |
| On the largest Cartesian closed category of stable domains. | 2016-05-03 | Paper |
Downward density of exact degrees
Lobachevskii Journal of Mathematics | 2016-04-13 | Paper |
Nonexistence of Minimal Pairs in $$L[{\mathbf d}]$$
Evolving Computability | 2015-10-20 | Paper |
The members of thin and minimal \(\Pi_1^0\) classes, their ranks and Turing degrees
Annals of Pure and Applied Logic | 2015-05-15 | Paper |
Anti-complex sets and reducibilities with tiny use
Journal of Symbolic Logic | 2014-04-04 | Paper |
Anti-complex sets and reducibilities with tiny use
Journal of Symbolic Logic | 2014-04-04 | Paper |
Anti-complex sets and reducibilities with tiny use
Journal of Symbolic Logic | 2014-04-04 | Paper |
Initial segment complexities of randomness notions
Information and Computation | 2014-02-11 | Paper |
On a problem of Ishmukhametov
Archive for Mathematical Logic | 2013-11-06 | Paper |
Highness, locally noncappability and nonboundings
Annals of Pure and Applied Logic | 2013-04-05 | Paper |
Highness and local noncappability
Lecture Notes in Computer Science | 2012-08-14 | Paper |
Nonhemimaximal degrees and the high/low hierarchy
The Journal of Symbolic Logic | 2012-06-19 | Paper |
Learning families of closed sets in matroids
Computation, Physics and Beyond | 2012-06-15 | Paper |
Almost universal cupping and diamond embeddings
Annals of Pure and Applied Logic | 2012-03-29 | Paper |
An almost-universal cupping degree
Journal of Symbolic Logic | 2011-12-23 | Paper |
On the complexity of the successivity relation in computable linear orderings
Journal of Mathematical Logic | 2011-10-24 | Paper |
On a hierarchy of plus-cupping degrees
Models of Computation in Context | 2011-09-09 | Paper |
Cupping and diamond embeddings: a unifying approach
Models of Computation in Context | 2011-09-09 | Paper |
A superhigh diamond in the c.e. tt-degrees
Archive for Mathematical Logic | 2011-03-02 | Paper |
Diamond embeddings into the enumeration degrees
Mathematical Structures in Computer Science | 2010-12-01 | Paper |
Initial segment complexities of randomness notions
IFIP Advances in Information and Communication Technology | 2010-10-27 | Paper |
Immunity and non-cupping for closed sets
Tbilisi Mathematical Journal | 2010-09-07 | Paper |
Degrees with almost universal cupping property
Programs, Proofs, Processes | 2010-07-29 | Paper |
Immunity for closed sets
Mathematical Theory and Computational Practice | 2010-07-28 | Paper |
Infima of d.r.e. degrees
Mathematical Theory and Computational Practice | 2010-07-28 | Paper |
| Isolation in the d.c.e. degrees | 2010-06-17 | Paper |
Joining to high degrees via noncuppables
Archive for Mathematical Logic | 2010-03-02 | Paper |
Infima of d.r.e. degrees
Archive for Mathematical Logic | 2010-01-22 | Paper |
High Minimal Pairs in the Enumeration Degrees
Lecture Notes in Computer Science | 2009-06-03 | Paper |
Embedding the Diamond Lattice in the c.e. tt-Degrees with Superhigh Atoms
Lecture Notes in Computer Science | 2009-06-03 | Paper |
Cupping Δ<sub>2</sub><sup>0</sup> enumeration degrees to 0<sub><i>e</i></sub>′
Mathematical Structures in Computer Science | 2009-03-24 | Paper |
Pseudojumps and Formula Classes
Journal Of Logic And Computation | 2009-03-02 | Paper |
| scientific article; zbMATH DE number 5354059 (Why is no real title available?) | 2008-10-20 | Paper |
Joining to High Degrees
Logic and Theory of Algorithms | 2008-06-19 | Paper |
The Non-isolating Degrees Are Upwards Dense in the Computably Enumerable Degrees
Lecture Notes in Computer Science | 2008-05-27 | Paper |
Isolation, Infima and Diamond Embeddings
Journal Of Logic And Computation | 2008-02-07 | Paper |
Pseudojump Operators and \Pi^0_1 Classes
Lecture Notes in Computer Science | 2007-11-13 | Paper |
Cupping \Delta₂⁰ Enumeration Degrees to 0 e ′
Lecture Notes in Computer Science | 2007-11-13 | Paper |
A Minimal Pair in the Quotient Structure M/NCup
Lecture Notes in Computer Science | 2007-11-13 | Paper |
Theory and Applications of Models of Computation
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Theory and Applications of Models of Computation
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Logical Approaches to Computational Barriers
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Intervals containing exactly one c.e. degree
Annals of Pure and Applied Logic | 2007-04-18 | Paper |
Randomness and universal machines
Journal of Complexity | 2007-02-08 | Paper |
A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic
Theoretical Computer Science | 2007-01-22 | Paper |
Bounding computably enumerable degrees in the Ershov hierarchy
Annals of Pure and Applied Logic | 2006-08-16 | Paper |
Jump operator and Yates Degrees
Journal of Symbolic Logic | 2006-07-05 | Paper |
New Computational Paradigms
Lecture Notes in Computer Science | 2006-01-11 | Paper |
1-generic splittings of computably enumerable degrees
Annals of Pure and Applied Logic | 2005-12-29 | Paper |
Bi-isolation in the d.c.e. degrees
Journal of Symbolic Logic | 2005-08-29 | Paper |
Regular reals
MLQ | 2005-04-07 | Paper |
Degrees of d. c. e. reals
Mathematical Logic Quarterly | 2005-02-16 | Paper |
On the density of the pseudo-isolated degrees
Proceedings of the London Mathematical Society | 2004-05-27 | Paper |
| scientific article; zbMATH DE number 2063233 (Why is no real title available?) | 2004-03-29 | Paper |
Quasi-complements of the cappable degrees
MLQ | 2004-03-29 | Paper |
Complementing cappable degrees in the difference hierarchy.
Annals of Pure and Applied Logic | 2004-03-14 | Paper |
Isolation and lattice embeddings
Journal of Symbolic Logic | 2003-11-12 | Paper |
Isolation and the high/low hierarchy
Archive for Mathematical Logic | 2003-09-16 | Paper |
\(Q\)-measures on \(Q_\kappa\lambda\)
Archive for Mathematical Logic | 2003-09-16 | Paper |
Isolation and the jump operator
Mathematical Logic Quarterly (MLQ) | 2003-01-22 | Paper |
Nonisolated degrees and the jump operator
Annals of Pure and Applied Logic | 2002-12-02 | Paper |
| scientific article; zbMATH DE number 1829279 (Why is no real title available?) | 2002-11-14 | Paper |
| scientific article; zbMATH DE number 1796998 (Why is no real title available?) | 2002-09-05 | Paper |
A hierarchy for cuppable degrees
Illinois Journal of Mathematics | 2001-09-03 | Paper |
| scientific article; zbMATH DE number 1159535 (Why is no real title available?) | 1998-09-14 | Paper |
Finite final segments of the d.c.e. Turing degrees
(available as arXiv preprint) | N/A | Paper |
