| Publication | Date of Publication | Type |
|---|
| Separating notions in effective topology | 2024-01-04 | Paper |
| Primitive recursive reverse mathematics | 2023-10-12 | Paper |
| COMPUTABLY COMPACT METRIC SPACES | 2023-08-10 | Paper |
| Computable Stone spaces | 2023-07-26 | Paper |
| Computable analysis and classification problems | 2022-12-16 | Paper |
| Computable topological abelian groups | 2022-11-23 | Paper |
| Computable topological groups | 2022-09-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5092384 | 2022-07-21 | Paper |
| Computably totally disconnected locally compact groups | 2022-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5155667 | 2021-10-08 | Paper |
| Relativizing computable categoricity | 2021-07-28 | Paper |
| Non-density in punctual computability | 2021-07-26 | Paper |
| Punctual definability on structures | 2021-06-14 | Paper |
| Punctual categoricity relative to a computable oracle | 2021-06-07 | Paper |
| Computable topological abelian groups | 2021-05-26 | Paper |
| PUNCTUAL CATEGORICITY AND UNIVERSALITY | 2021-04-15 | Paper |
| COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM | 2021-04-15 | Paper |
| ON THE COMPLEXITY OF CLASSIFYING LEBESGUE SPACES | 2021-03-19 | Paper |
| Online presentations of finitely generated structures | 2020-10-21 | Paper |
| Computable classifications of continuous, transducer, and regular functions | 2020-10-19 | Paper |
| Enumerating abelian \(p\)-groups | 2020-08-25 | Paper |
| Foundations of Online Structure Theory II: The Operator Approach | 2020-07-14 | Paper |
| Graphs are not universal for online computability | 2020-06-09 | Paper |
| Turing reducibility in the fine hierarchy | 2020-06-02 | Paper |
| A structure of punctual dimension two | 2020-05-27 | Paper |
| On realization of index sets in \(\Pi_1^0\)-classes | 2020-02-28 | Paper |
| Decompositions of decidable abelian groups | 2020-02-17 | Paper |
| The back-and-forth method and computability without delay | 2019-12-17 | Paper |
| FOUNDATIONS OF ONLINE STRUCTURE THEORY | 2019-08-01 | Paper |
| Categorical linearly ordered structures | 2019-07-10 | Paper |
| Effectively closed subgroups of the infinite symmetric group | 2018-10-23 | Paper |
| Computable topological groups and Pontryagin duality | 2018-10-18 | Paper |
| COMPUTABLE POLISH GROUP ACTIONS | 2018-08-10 | Paper |
| UNIFORM PROCEDURES IN UNCOUNTABLE STRUCTURES | 2018-08-10 | Paper |
| Torsion-free abelian groups with optimal Scott families | 2018-06-13 | Paper |
| On a question of Kalimullin | 2018-06-04 | Paper |
| Computable torsion abelian groups | 2018-01-11 | Paper |
| The diversity of categoricity without delay | 2018-01-05 | Paper |
| On Computable Field Embeddings and Difference Closed Fields | 2017-12-13 | Paper |
| A Friedberg enumeration of equivalence structures | 2017-12-04 | Paper |
| New degree spectra of abelian groups | 2017-11-06 | Paper |
| Eliminating unbounded search in computable algebra | 2017-08-04 | Paper |
| COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY | 2017-06-01 | Paper |
| Algebraic structures computable without delay | 2017-05-12 | Paper |
| Proper divisibility in computable rings | 2017-01-16 | Paper |
| Abelian \(p\)-groups and the halting problem | 2016-08-31 | Paper |
| Computable structures and operations on the space of continuous functions | 2016-04-28 | Paper |
| COMPUTABLE ABELIAN GROUPS | 2016-03-18 | Paper |
| Independence in computable algebra | 2015-09-25 | Paper |
| On \(\Delta_2^0\)-categoricity of equivalence relations | 2015-05-26 | Paper |
| Iterated effective embeddings of abelian p-groups | 2015-01-21 | Paper |
| Computable completely decomposable groups | 2014-09-17 | Paper |
| Computably Isometric Spaces | 2014-04-04 | Paper |
| Limitwise monotonic sequences and degree spectra of structures | 2013-08-30 | Paper |
| The Classification Problem for Compact Computable Metric Spaces | 2013-08-05 | Paper |
| $K$-triviality in computable metric spaces | 2013-07-05 | Paper |
| Effectively categorical abelian groups | 2013-07-02 | Paper |
| Jump degrees of torsion-free abelian groups | 2013-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5389624 | 2012-04-23 | Paper |
| Classes of Ulm type and coding rank-homogeneous trees in other structures | 2011-10-10 | Paper |
| Computable Ordered Abelian Groups and Fields | 2010-07-29 | Paper |
| 0″-Categorical Completely Decomposable Torsion-Free Abelian Groups | 2010-07-28 | Paper |
| Decidability and computability of certain torsion-free abelian groups | 2010-06-11 | Paper |
| Enumerations and completely decomposable torsion-free abelian groups | 2009-10-19 | Paper |
| Enumerations and Torsion Free Abelian Groups | 2007-11-13 | Paper |
