| Publication | Date of Publication | Type |
|---|
| Semisimplicity and congruence 3-permutability for quasivarieties with equationally definable principal congruences | 2024-06-26 | Paper |
| A short proof of the Baker–Pixley theorem for classes | 2024-01-04 | Paper |
| BL-global representations | 2023-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5863608 | 2022-06-03 | Paper |
| Varieties with existentially definable factor congruences | 2022-05-10 | Paper |
| Every minimal dual discriminator variety is minimal as a quasivariety | 2021-05-06 | Paper |
| THE FUNDAMENTAL THEOREM OF CENTRAL ELEMENT THEORY | 2021-04-15 | Paper |
| Pierce stalks in preprimal varieties | 2020-01-31 | Paper |
| Baker–Pixley theorem for algebras in relatively congruence distributive quasivarieties | 2019-06-04 | Paper |
| On structural completeness versus almost structural completeness problem: A discriminator varieties case study | 2019-01-08 | Paper |
| Infinitary Baker-Pixley theorem | 2018-10-30 | Paper |
| Varieties with equationally definable factor congruences. II | 2017-10-09 | Paper |
| Characterization of context-free languages | 2017-05-11 | Paper |
| \(\mathcal{V}_{SI}\) first order implies \(\mathcal{V}_{DI}\) second order | 2017-04-25 | Paper |
| Semantical conditions for the definability of functions and relations | 2016-09-14 | Paper |
| Equational definability of (complementary) central elements | 2016-06-22 | Paper |
| Semantical conditions for the definability of functions and relations | 2014-06-06 | Paper |
| Varieties with equationally definable factor congruences | 2014-04-08 | Paper |
| Implicit definition of the quaternary discriminator | 2012-11-27 | Paper |
| Algebraic functions | 2012-03-09 | Paper |
| Axiomatizability by \({\forall \exists!}\)-sentences | 2011-11-23 | Paper |
| An implicit function theorem for algebraically closed fields | 2011-06-01 | Paper |
| Algebraically expandable classes | 2009-12-14 | Paper |
| Varieties with definable factor congruences | 2009-10-09 | Paper |
| An implicit function theorem for regular fuzzy logic functions | 2009-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3617924 | 2009-03-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3615894 | 2009-03-24 | Paper |
| Congruence permutable MS-algebras | 2007-04-02 | Paper |
| Compact factor congruences imply Boolean factor congruences | 2006-01-17 | Paper |
| Equational characterization of the quaternary discriminator | 2003-04-23 | Paper |
| The subquasivariety lattice of a discriminator variety | 2001-11-01 | Paper |
| Characterization of discriminator varieties | 2001-01-08 | Paper |
| A note on distributive double p-algebras | 2000-11-13 | Paper |
| Central elements in varieties with the Fraser-Horn property | 2000-10-22 | Paper |
| A note on sheaf representation in arithmetical varieties | 1999-09-14 | Paper |
| Modular varieties with the Fraser-Horn property | 1999-01-25 | Paper |
| Varieties of shells | 1998-11-24 | Paper |
| (Finitely) subdirectly irreducible and Birkhoff-like sheaf representation for certain varieties of lattice ordered structures | 1998-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4370851 | 1998-01-07 | Paper |
| On the Fundamental Theorem of Algebra | 1997-11-26 | Paper |
| Varieties in which the Pierce stalks are directly indecomposable | 1997-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3128557 | 1997-04-17 | Paper |
| Birkhoff-like sheaf representation for varieties of lattice expansions | 1997-01-19 | Paper |
| Definability of directly indecomposable congruence modular algebras | 1996-12-12 | Paper |
| Free algebras in discriminator varieties | 1996-07-01 | Paper |
| Locally Boolean spectra | 1995-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3140378 | 1993-12-12 | Paper |
| Sheaf representation and Chinese Remainder Theorems | 1992-09-27 | Paper |
