| Publication | Date of Publication | Type |
|---|
On the metric temporal logic for continuous stochastic processes
Logical Methods in Computer Science | 2024-06-27 | Paper |
On the main scientific achievements of Victor Selivanov
Computability | 2024-01-31 | Paper |
De groot duality for represented spaces
Lecture Notes in Computer Science | 2024-01-12 | Paper |
A syntactic approach to Borel functions: some extensions of Louveau's theorem
Archive for Mathematical Logic | 2023-09-27 | Paper |
Topological reducibilities for discontinuous functions and their structures
Israel Journal of Mathematics | 2023-04-17 | Paper |
Lawvere-Tierney topologies for computability theorists
Transactions of the American Mathematical Society, Series B | 2023-02-07 | Paper |
Ideal presentations and numberings of some classes of effective quasi-Polish spaces
| 2023-01-20 | Paper |
Degrees of non-computability of homeomorphism types of Polish spaces
| 2022-12-16 | Paper |
Enumerating classes of effective quasi-Polish spaces
| 2022-12-07 | Paper |
Wadge-like degrees of Borel bqo-valued functions
Proceedings of the American Mathematical Society | 2022-07-08 | Paper |
Point Degree Spectra of Represented Spaces
Forum of Mathematics, Sigma | 2022-06-07 | Paper |
On some topics around the Wadge rank $\omega_2$
| 2022-01-28 | Paper |
Computability of Subsets of Metric Spaces
Theory and Applications of Computability | 2022-01-26 | Paper |
A COMPARISON OF VARIOUS ANALYTIC CHOICE PRINCIPLES
Journal of Symbolic Logic | 2022-01-17 | Paper |
Turing degrees in Polish spaces and decomposability of Borel functions
Journal of Mathematical Logic | 2021-06-04 | Paper |
Searching for an analogue of \(\text{ATR}_0\) in the Weihrauch lattice
Journal of Symbolic Logic | 2021-03-19 | Paper |
DECOMPOSING FUNCTIONS OF BAIRE CLASS ON POLISH SPACES
Journal of Symbolic Logic | 2021-03-19 | Paper |
Higher randomness and lim-sup forcing within and beyond hyperarithmetic
Sets and Computations | 2020-12-02 | Paper |
The Brouwer invariance theorems in reverse mathematics
Forum of Mathematics, Sigma | 2020-11-20 | Paper |
On a metric generalization of the \(tt\)-degrees and effective dimension theory
Journal of Symbolic Logic | 2020-04-06 | Paper |
Degrees of incomputability, realizability and constructive reverse mathematics
| 2020-02-25 | Paper |
Finite choice, convex choice and sorting
| 2019-10-15 | Paper |
A comparison of various analytic choice principles
| 2019-07-05 | Paper |
Topological reducibilities for discontinuous functions and their structures
| 2019-06-25 | Paper |
On the structure of the Wadge degrees of bqo-valued Borel functions
Transactions of the American Mathematical Society | 2019-06-05 | Paper |
Convex choice, finite choice and sorting
| 2019-05-01 | Paper |
Enumeration degrees and non-metrizable topology
| 2019-04-08 | Paper |
The binary expansion and the intermediate value theorem in constructive reverse mathematics
Archive for Mathematical Logic | 2019-01-24 | Paper |
The uniform Martin's conjecture for many-one degrees
Transactions of the American Mathematical Society | 2018-10-18 | Paper |
Dividing by zero -- how bad is it, really?
| 2018-03-21 | Paper |
On the structure of the Wadge degrees of BQO-valued Borel functions
| 2017-05-22 | Paper |
Borel-piecewise continuous reducibility for uniformization problems
Logical Methods in Computer Science | 2017-04-11 | Paper |
Effective forcing with Cantor manifolds
| 2017-02-08 | Paper |
The uniform Martin's conjecture for many-one degrees
| 2016-08-17 | Paper |
Comparing the Medvedev and Turing degrees of \(\Pi^{0}_{1}\) classes
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
Unified characterizations of lowness properties via Kolmogorov complexity
Archive for Mathematical Logic | 2015-04-14 | Paper |
Decomposing Borel functions using the Shore-Slaman join theorem
Fundamenta Mathematicae | 2015-03-26 | Paper |
Uniform Kurtz randomness
Journal Of Logic And Computation | 2015-01-12 | Paper |
On the strength of marriage theorems and uniformity
Mathematical Logic Quarterly | 2014-06-06 | Paper |
On effectively closed sets of effective strong measure zero
Annals of Pure and Applied Logic | 2014-06-06 | Paper |
Point degree spectra of represented spaces
| 2014-05-27 | Paper |
Incomputability of Simply Connected Planar Continua
Computability | 2013-01-30 | Paper |
Effective strong nullness and effectively closed sets
Lecture Notes in Computer Science | 2012-08-14 | Paper |
A hierarchy of immunity and density for sets of reals
Lecture Notes in Computer Science | 2012-08-14 | Paper |
Immunity and non-cupping for closed sets
Tbilisi Mathematical Journal | 2010-09-07 | Paper |
The \(\forall \exists \)-theory of the effectively closed Medvedev degrees is decidable
Archive for Mathematical Logic | 2010-01-22 | Paper |
Degree spectra of homeomorphism types of compact Polish spaces
| N/A | Paper |
Rethinking the notion of oracle: A prequel to Lawvere-Tierney topologies for computability theorists
| N/A | Paper |
On the Metric Temporal Logic for Continuous Stochastic Processes
| N/A | Paper |
Many-one reducibility with realizability
| N/A | Paper |
