| Publication | Date of Publication | Type |
|---|
| A point-free perspective on lax extensions and predicate liftings | 2024-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6136877 | 2024-01-17 | Paper |
| Kantorovich functors and characteristic logics for behavioural distances | 2023-11-24 | Paper |
| Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot | 2023-02-03 | Paper |
| Rogers semilattices with least and greatest elements in the Ershov hierarchy | 2023-01-04 | Paper |
| Towards a Higher-Order Mathematical Operational Semantics | 2022-10-24 | Paper |
| Quantitative Hennessy-Milner Theorems via Notions of Density | 2022-07-19 | Paper |
| The degree of decidable categoricity of a model with infinite solutions for complete formulas | 2021-12-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5009436 | 2021-08-04 | Paper |
| A metalanguage for guarded iteration | 2021-07-22 | Paper |
| Implementing hybrid semantics: from functional to imperative | 2021-07-08 | Paper |
| Sergei Ivanovich Adian | 2021-06-04 | Paper |
| On decidable categoricity and almost prime models | 2020-10-06 | Paper |
| Local local reasoning: a BI-hyperdoctrine for full ground store | 2020-09-23 | Paper |
| Toward a Uniform Theory of Effectful State Machines | 2020-09-11 | Paper |
| Yurii Leonidovich Ershov (on his 80th birthday) | 2020-09-04 | Paper |
| Vladimir Andreevich Uspensky (27/11/1930–27/6/2018) | 2020-03-11 | Paper |
| Turing degrees of complete formulas of almost prime models | 2020-02-28 | Paper |
| Decompositions of decidable abelian groups | 2020-02-17 | Paper |
| Generic Hoare Logic for Order-Enriched Effects with Exceptions | 2020-01-16 | Paper |
| Logical language of description of polynomial computing | 2019-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4968384 | 2019-07-12 | Paper |
| Recursive terms in semantic programming | 2019-03-13 | Paper |
| Hanf number for Scott sentences of computable structures | 2019-01-14 | Paper |
| A metalanguage for guarded iteration | 2018-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4585073 | 2018-09-06 | Paper |
| Guarded traced categories | 2018-07-17 | Paper |
| Complete Elgot monads and coalgebraic resumptions | 2018-04-23 | Paper |
| Conditional terms in semantic programming | 2018-02-06 | Paper |
| A Relatively Complete Generic Hoare Logic for Order-Enriched Effects | 2017-07-03 | Paper |
| The index set of the groups autostable relative to strong constructivizations | 2017-06-30 | Paper |
| Unifying Guarded and Unguarded Iteration | 2017-05-19 | Paper |
| Unguarded recursion on coinductive resumptions | 2016-12-16 | Paper |
| Index Sets of Constructive Models that are Autostable Under Strong Constructivizations | 2016-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5741407 | 2016-07-22 | Paper |
| Index sets of constructive models of finite and graph signatures that are autostable relative to strong constructivizations | 2016-05-12 | Paper |
| Hanf Number for Scott Sentences of Computable Structures | 2016-02-02 | Paper |
| Index sets of autostable relative to strong constructivizations constructive models for familiar classes | 2016-01-29 | Paper |
| Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations | 2016-01-13 | Paper |
| Sergeĭ Il'ich Mardaev (6.04.1962--10.04.2013) | 2015-11-16 | Paper |
| Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations | 2015-10-27 | Paper |
| The index set of Boolean algebras autostable relative to strong constructivizations | 2015-09-28 | Paper |
| Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations | 2015-08-21 | Paper |
| Generalized computable universal numberings | 2015-05-11 | Paper |
| Towards a Coalgebraic Chomsky Hierarchy | 2014-09-15 | Paper |
| Degrees of autostability relative to strong constructivizations | 2014-08-04 | Paper |
| Coalgebraic Weak Bisimulation from Recursive Equations over Monads | 2014-07-01 | Paper |
| Monodic Fragments of Probabilistic First-Order Logic | 2014-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5398268 | 2014-02-26 | Paper |
| A coinductive calculus for asynchronous side-effecting processes | 2014-01-16 | Paper |
| Exploring the Boundaries of Monad Tensorability on Set | 2013-09-26 | Paper |
| Trace Semantics via Generic Observations | 2013-09-13 | Paper |
| Autostability of prime models under strong constructivizations | 2012-06-29 | Paper |
| Kleene Monads: Handling Iteration in a Framework of Generic Effects | 2012-06-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2885241 | 2012-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2885255 | 2012-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2885275 | 2012-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2883059 | 2012-05-11 | Paper |
| A Counterexample to Tensorability of Effects | 2011-09-02 | Paper |
| A Coinductive Calculus for Asynchronous Side-Effecting Processes | 2011-08-19 | Paper |
| Inductive inference and computable numberings | 2011-04-05 | Paper |
| On autostability of almost prime models relative to strong constructivizations | 2011-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3068266 | 2011-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3068278 | 2011-01-13 | Paper |
| Decidability and computability of certain torsion-free abelian groups | 2010-06-11 | Paper |
| A generic complete dynamic logic for reasoning about purity and effects | 2010-05-28 | Paper |
| Intrinsic bounds on complexity and definability at limit levels | 2009-09-29 | Paper |
| Categoricity of computable infinitary theories | 2009-03-17 | Paper |
| Isomorphism types of Rogers semilattices for families from different levels of the arithmetical hierarchy | 2008-12-18 | Paper |
| On two problems of Turing complexity for strongly minimal theories | 2008-11-10 | Paper |
| On a Question of Frank Stephan | 2008-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5384966 | 2008-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5457380 | 2008-04-14 | Paper |
| Structures in Familiar Classes Which Have Scott Rank $\omega_1^{CK}$ | 2008-03-22 | Paper |
| Index sets for classes of high rank structures | 2008-02-25 | Paper |
| Completeness of Global Evaluation Logic | 2007-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5295697 | 2007-07-30 | Paper |
| Relatively Hyperimmune Relations on Structures | 2007-07-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3447199 | 2007-06-28 | Paper |
| Rigid relations on constructive models | 2007-01-12 | Paper |
| Elementary Theories for Rogers Semilattices | 2006-11-17 | Paper |
| 9th Asian Logic Conference, Novosibirsk, Russia, 16--19 August 2005 | 2006-08-24 | Paper |
| Complexity of Categorical Theories with Computable Models | 2006-07-18 | Paper |
| Enumerations in computable structure theory | 2005-10-26 | Paper |
| Π11 relations and paths through | 2005-08-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4677692 | 2005-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4460829 | 2004-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4451633 | 2004-02-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4451642 | 2004-02-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4444891 | 2004-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4436237 | 2003-11-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4436277 | 2003-11-24 | Paper |
| Simple and immune relations on countable structures | 2003-09-16 | Paper |
| Trivial, strongly minimal theories are model complete after naming constants | 2003-09-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4406589 | 2003-06-25 | Paper |
| The computable dimension of ordered abelian groups | 2003-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4797506 | 2003-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4530729 | 2002-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4530730 | 2002-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4532127 | 2002-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2746880 | 2001-10-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2709299 | 2001-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4513962 | 2001-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4513969 | 2001-05-28 | Paper |
| On the spectrum of degrees of decidable relations | 2001-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4528813 | 2001-02-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4528814 | 2001-02-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249357 | 2001-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501145 | 2000-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499480 | 2000-08-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249361 | 2000-07-05 | Paper |
| Decidable Boolean algebras of low level | 2000-06-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4956005 | 2000-05-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249355 | 2000-02-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4935938 | 2000-01-17 | Paper |
| Computably categorical structures and expansions by constants | 2000-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4220190 | 1998-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4356742 | 1997-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3130249 | 1997-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4875117 | 1996-12-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4895321 | 1996-10-14 | Paper |
| Effectively infinite classes of enumerations | 1996-08-28 | Paper |
| A unique positive enumeration | 1996-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4328091 | 1995-04-24 | Paper |
| Strong constructibility of Boolean algebras of elementary characteristic (1,1,0) | 1995-04-20 | Paper |
| Effectively infinite classes of weak constructivizations of models | 1995-04-20 | Paper |
| Computable classes of constructivizations for models of finite constructivizability type | 1994-11-08 | Paper |
| Some effectively infinite classes of enumerations | 1993-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3994666 | 1992-09-17 | Paper |
| The characterization of axiomatizable classes with strong epimorphisms | 1991-01-01 | Paper |
| Algorithmic dimension of nilpotent groups | 1989-01-01 | Paper |
| Nilpotent groups of finite algorithmic dimension | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3495347 | 1989-01-01 | Paper |
| Σ-programming | 1989-01-01 | Paper |
| Data models and languages for their description | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3832760 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4731365 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4732458 | 1988-01-01 | Paper |
| Axiomatizable classes with strong homomorphisms | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3468603 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3472084 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3783515 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3745249 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3757389 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3776599 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3785904 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3787985 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3790633 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3794155 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3794156 | 1986-01-01 | Paper |
| Strong \(\Delta ^ 0_ 2\) categoricity | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3693516 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3693517 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3739353 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3757388 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3764131 | 1985-01-01 | Paper |
| Examples of nonautostable systems | 1984-01-01 | Paper |
| Universal recursively enumerable Boolean algebras | 1983-01-01 | Paper |
| Positive numerations of families with one-valued numerations | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3687691 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3331204 | 1982-01-01 | Paper |
| Computable single-valued numerations | 1981-01-01 | Paper |
| A totally transcendental decidable theory without constructivizable homogeneous models | 1981-01-01 | Paper |
| Problem of the number of non-self-equivalent constructivizations | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3961013 | 1981-01-01 | Paper |
| Numerations of saturated and homogeneous models | 1980-01-01 | Paper |
| Totally transcendental theory with a nonconstructivizable prime model | 1980-01-01 | Paper |
| Autostability of models and Abelian groups | 1980-01-01 | Paper |
| Autostability of models | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3882446 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3912552 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3931264 | 1980-01-01 | Paper |
| Strong constructivizability of homogeneous models | 1979-01-01 | Paper |
| Constructive models of \(\aleph_1\)-categorical theories | 1978-01-01 | Paper |
| The quantity of nonautoequivalent constructivizations | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4165359 | 1978-01-01 | Paper |
| Restricted theories of constructive Boolean algebras | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4190617 | 1977-01-01 | Paper |
| Non-self-equivalent constructivization of atomic Boolean algebras | 1976-01-01 | Paper |
| Autostability and computable families of constructivizations | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4133973 | 1976-01-01 | Paper |
| Some properties of the constructivization of Boolean algebras | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4067090 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4143289 | 1975-01-01 | Paper |
| Constructive models of complete solvable theories | 1974-01-01 | Paper |
| Constructivizability of superatomic Boolean algebras | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4405151 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4405152 | 1973-01-01 | Paper |
