| Publication | Date of Publication | Type |
|---|
| On the computability of ordered fields | 2024-08-14 | Paper |
| Order positive fields. I | 2024-05-15 | Paper |
| Highlights of the Rice-Shapiro theorem in computable topology | 2021-05-26 | Paper |
| On the computability of ordered fields | 2020-07-29 | Paper |
| On mutual definability of operations on fields | 2020-06-09 | Paper |
| Weak reduction principle and computable metric spaces | 2018-09-06 | Paper |
| The Rice-Shapiro theorem in computable topology | 2018-01-12 | Paper |
| Computable elements and functions in effectively enumerable topological spaces | 2017-11-22 | Paper |
| First order theories of some lattices of open sets | 2017-10-12 | Paper |
| On images of partial computable functions over computable Polish spaces | 2017-09-11 | Paper |
| Spectrum of the field of computable real numbers | 2017-09-04 | Paper |
| On higher effective descriptive set theory | 2017-08-04 | Paper |
| Outline of partial computability in computable topology | 2017-08-04 | Paper |
| On the lattices of effectively open sets | 2016-08-17 | Paper |
| Positive predicate structures for continuous data | 2016-07-27 | Paper |
| Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations | 2016-01-13 | Paper |
| Index sets as a measure of continuous constraint complexity | 2015-12-03 | Paper |
| Rice's theorem in effectively enumerable topological spaces | 2015-10-20 | Paper |
| Towards computability over effectively enumerable topological spaces | 2013-05-03 | Paper |
| Spectra of high\(_n\) and non-low\(_n\) degrees | 2012-09-05 | Paper |
| Effectively enumerable topological spaces | 2012-05-21 | Paper |
| Definability of closure operations in the \(h\)-quasiorder of labeled forests | 2011-01-24 | Paper |
| Definability in the structure of words with the inclusion relation | 2010-11-15 | Paper |
| Undecidability in Weihrauch degrees | 2010-07-29 | Paper |
| Definability in the Subword Order | 2010-07-29 | Paper |
| A Gandy theorem for abstract structures and applications to first-order definability | 2010-07-28 | Paper |
| Decidability and computability of certain torsion-free abelian groups | 2010-06-11 | Paper |
| \(\Sigma _{K }\)-constraints for hybrid systems | 2010-02-02 | Paper |
| Definability in the Infix Order on Words | 2009-07-07 | Paper |
| Definability in the \(h\)-quasiorder of labeled forests | 2009-06-11 | Paper |
| The Uniformity Principle for -definability | 2009-03-02 | Paper |
| Index sets for classes of high rank structures | 2008-02-25 | Paper |
| Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests | 2008-02-07 | Paper |
| Definability in the Homomorphic Quasiorder of Finite Labeled Forests | 2007-11-13 | Paper |
| The Uniformity Principle for Σ-Definability with Applications to Computable Analysis | 2007-11-13 | Paper |
| Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
| The Computable Dimension of I-Trees of Infinite Height | 2006-07-18 | Paper |
| New Computational Paradigms | 2006-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475110 | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4783306 | 2002-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4531987 | 2002-05-27 | Paper |
| An autostable 1-decidable model without a computable Scott family of \(\exists\)-formulas | 2001-07-24 | Paper |
| Some properties of autostable models | 2001-07-24 | Paper |
| A description of autostable models | 2001-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4511265 | 2000-10-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4946102 | 2000-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263799 | 2000-04-25 | Paper |
| Compressed systems of finite approximations for sets in the class \(\Sigma_2^0\) | 1999-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4260448 | 1999-09-09 | Paper |
| A new approach to computability over the reals | 1999-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4349306 | 1999-02-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3842548 | 1998-11-22 | Paper |
| Algebraic dependences and reducibilities of constructivizations in universal domains | 1996-08-28 | Paper |
| Criteria of autostability for 1-decidable models | 1994-04-12 | Paper |
