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 |
Random Subgroups of Rationals | 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 |