| Publication | Date of Publication | Type |
|---|
| On the metric temporal logic for continuous stochastic processes | 2024-06-27 | Paper |
| On the main scientific achievements of Victor Selivanov | 2024-01-31 | Paper |
| De groot duality for represented spaces | 2024-01-12 | Paper |
| A syntactic approach to Borel functions: some extensions of Louveau's theorem | 2023-09-27 | Paper |
| Topological reducibilities for discontinuous functions and their structures | 2023-04-17 | Paper |
| Lawvere-Tierney topologies for computability theorists | 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 | 2022-07-08 | Paper |
| Point Degree Spectra of Represented Spaces | 2022-06-07 | Paper |
| On some topics around the Wadge rank $\omega_2$ | 2022-01-28 | Paper |
| Computability of Subsets of Metric Spaces | 2022-01-26 | Paper |
| A COMPARISON OF VARIOUS ANALYTIC CHOICE PRINCIPLES | 2022-01-17 | Paper |
| Turing degrees in Polish spaces and decomposability of Borel functions | 2021-06-04 | Paper |
| DECOMPOSING FUNCTIONS OF BAIRE CLASS ON POLISH SPACES | 2021-03-19 | Paper |
| SEARCHING FOR AN ANALOGUE OF ATR0 IN THE WEIHRAUCH LATTICE | 2021-03-19 | Paper |
| HIGHER RANDOMNESS AND LIM-SUP FORCING WITHIN AND BEYOND HYPERARITHMETIC | 2020-12-02 | Paper |
| The Brouwer invariance theorems in reverse mathematics | 2020-11-20 | Paper |
| ON A METRIC GENERALIZATION OF THE tt-DEGREES AND EFFECTIVE DIMENSION THEORY | 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 | 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 | 2019-01-24 | Paper |
| The uniform Martin’s conjecture for many-one degrees | 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 | 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 Π01 classes | 2016-07-27 | Paper |
| Unified characterizations of lowness properties via Kolmogorov complexity | 2015-04-14 | Paper |
| Decomposing Borel functions using the Shore–Slaman join theorem | 2015-03-26 | Paper |
| Uniform Kurtz randomness | 2015-01-12 | Paper |
| On effectively closed sets of effective strong measure zero | 2014-06-06 | Paper |
| On the strength of marriage theorems and uniformity | 2014-06-06 | Paper |
| Point degree spectra of represented spaces | 2014-05-27 | Paper |
| Incomputability of Simply Connected Planar Continua | 2013-01-30 | Paper |
| Effective Strong Nullness and Effectively Closed Sets | 2012-08-14 | Paper |
| A Hierarchy of Immunity and Density for Sets of Reals | 2012-08-14 | Paper |
| Immunity and non-cupping for closed sets | 2010-09-07 | Paper |
| The \(\forall \exists \)-theory of the effectively closed Medvedev degrees is decidable | 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 |
