| Publication | Date of Publication | Type |
|---|
| Families of permutations and ideals of Turing degrees | 2024-01-11 | Paper |
| ON COHESIVE POWERS OF LINEAR ORDERS | 2023-09-11 | Paper |
| Lower semilattices of separable congruences of numbered algebras | 2023-08-18 | Paper |
| On weakly holographic structures | 2023-01-04 | Paper |
| INTERPRETING A FIELD IN ITS HEISENBERG GROUP | 2022-08-29 | Paper |
| On the isomorphism problem for some classes of computable algebraic structures | 2022-07-15 | Paper |
| \(T_1\)-separable numberings of subdirectly indecomposable algebras | 2022-01-13 | Paper |
| Characterizations of ITBM-computability. II | 2021-07-23 | Paper |
| Characterizations of ITBM-computability. I | 2021-05-20 | Paper |
| Minimal predicates for \(\Delta \)-definability | 2020-12-04 | Paper |
| Turing degrees and automorphism groups of substructure lattices | 2020-12-03 | Paper |
| Yurii Leonidovich Ershov (on his 80th birthday) | 2020-09-04 | Paper |
| Interpreting a field in its Heisenberg group | 2020-06-21 | Paper |
| On mutual definability of operations on fields | 2020-06-09 | Paper |
| Cohesive powers of linear orders | 2020-05-12 | Paper |
| \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\) | 2020-02-28 | Paper |
| On holographic structures | 2019-07-18 | Paper |
| A computably enumerable partial ordering without computably enumerable maximal chains and antichains | 2018-09-13 | Paper |
| Nonpresentability of some structures of analysis in hereditarily finite superstructures | 2018-06-22 | Paper |
| The computational power of infinite time Blum-Shub-Smale machines | 2017-09-04 | Paper |
| A sufficient condition for nonpresentability of structures in hereditarily finite superstructures | 2017-07-18 | Paper |
| On some reducibility and existential interpretability of structures | 2017-06-30 | Paper |
| Computable Model Theory over the Reals | 2017-04-04 | Paper |
| Definability of linear orders over negative equivalences | 2016-10-13 | Paper |
| Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra | 2016-08-17 | Paper |
| On existential interpretability of structures | 2015-11-18 | Paper |
| Sergeĭ Il'ich Mardaev (6.04.1962--10.04.2013) | 2015-11-16 | Paper |
| \(\Sigma\)-presentations of the ordering on the reals | 2015-05-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4982458 | 2015-04-09 | Paper |
| Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\) | 2014-11-04 | Paper |
| On \(\Sigma\)-rigid presentations of the real order | 2014-09-04 | Paper |
| Describing free groups | 2013-08-19 | Paper |
| Remarks on Σ–definability without the equality test over the Reals | 2013-05-03 | Paper |
| On some representations of the real number field | 2012-12-17 | Paper |
| Some presentations of the real number field | 2012-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5391576 | 2011-04-06 | Paper |
| On decidability of the decomposability problem for finite theories | 2011-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3068265 | 2011-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3068266 | 2011-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3068305 | 2011-01-13 | Paper |
| On computable automorphisms in formal concept analysis | 2010-11-15 | Paper |
| Simple structures with complex symmetry | 2010-09-25 | Paper |
| On Index Sets of Some Properties of Computable Algebras | 2010-07-29 | Paper |
| On computable presentations of some functional lattices | 2009-12-18 | Paper |
| Effective categoricity of abelian \(p\)-groups | 2009-06-10 | Paper |
| Partial automorphism semigroups | 2009-01-28 | Paper |
| The categoricity of the group of all computable automorphisms of the rational numbers | 2008-12-18 | Paper |
| Definable sets in automorphism groups of rational order | 2008-12-18 | Paper |
| Σ-Definability of countable structures over real numbers, complex numbers, and quaternions | 2008-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3544786 | 2008-12-08 | Paper |
| Countable structures \(\Sigma \)-definable over classical continuous number systems | 2008-12-01 | Paper |
| On Σ‐definability without equality over the real numbers | 2008-10-08 | Paper |
| Index sets for classes of high rank structures | 2008-02-25 | Paper |
| S-Subsets of Natural Numbers | 2007-07-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5294751 | 2007-07-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3446484 | 2007-06-18 | Paper |
| 9th Asian Logic Conference, Novosibirsk, Russia, 16--19 August 2005 | 2006-08-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5482028 | 2006-08-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5482032 | 2006-08-24 | Paper |
| Effective categoricity of equivalence structures | 2006-08-16 | Paper |
| New Computational Paradigms | 2006-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711302 | 2005-12-12 | Paper |
| Dependence relations in computably rigid computable vector spaces | 2005-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4434920 | 2003-11-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4434923 | 2003-11-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4434945 | 2003-11-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4406619 | 2003-06-25 | Paper |
| Group theoretic properties of the group of computable automorphisms of a countable dense linear order | 2003-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4706820 | 2003-06-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4706823 | 2003-06-03 | Paper |
| On computable automorphisms of the rational numbers | 2002-07-18 | Paper |
| Sequences of n-diagrams | 2002-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944918 | 2001-05-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2709294 | 2001-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4517144 | 2000-11-21 | Paper |
| Turing reducibility as algebraic embeddability | 2000-04-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4946103 | 2000-03-22 | Paper |
| Once more on countably categorical sentences | 1999-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249363 | 1999-06-17 | Paper |
| Automorphism groups of decidable models | 1996-07-21 | Paper |
| Functional trees and automorphisms of models | 1994-04-12 | Paper |
| A question of Higman | 1992-06-25 | Paper |
| On the theories of classes of recusive permutation groups | 1991-01-01 | Paper |
| Recursive automorphisms of atomic Boolean algebras | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3496321 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5202182 | 1990-01-01 | Paper |
| Rigid constructive modules | 1989-01-01 | Paper |
| A decidable countably categorical model without nontrivial recursive automorphisms | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3033748 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3480018 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3491532 | 1989-01-01 | Paper |
| Permutations and implicit definability | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3475259 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3794165 | 1988-01-01 | Paper |
| A class of recursively enumerable sets | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3197343 | 1987-01-01 | Paper |
| Automorphisms of constructivizations of Boolean algebras | 1986-01-01 | Paper |
| A question posed by Bergstra and Tiuryn | 1986-01-01 | Paper |
| Computable groups of automorphisms of models | 1986-01-01 | Paper |
| Constructive Boolean algebras with almost-identical automorphisms | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3725575 | 1985-01-01 | Paper |
| Group \(Aut_ r<Q,\leq >\) is not constructivizable | 1984-01-01 | Paper |
| Strong constructivizability of countable saturated Boolean algebras | 1983-01-01 | Paper |
| Countable homogeneous Boolean algebras | 1983-01-01 | Paper |
| Groups of recursive automorphisms of constructive Boolean algebras | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3964551 | 1982-01-01 | Paper |
