| Publication | Date of Publication | Type |
|---|
| Algebras, Lattices, Varieties | 2022-10-04 | Paper |
| Algebras, Lattices, Varieties | 2022-10-04 | Paper |
| Algebras, Lattices, Varieties | 2018-08-16 | Paper |
| Maltsev families of varieties closed under join or Maltsev product | 2017-02-17 | Paper |
| On the number of finite algebraic structures | 2014-10-31 | Paper |
| Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties. | 2014-08-01 | Paper |
| Strong solvability and residual finiteness for finitely decidable varieties | 2013-11-12 | Paper |
| Finitely related clones and algebras with cube terms. | 2012-07-31 | Paper |
| Tractability and Learnability Arising from Algebras with Few Subpowers | 2011-04-04 | Paper |
| The structure of locally finite varieties with polynomially many models | 2011-03-02 | Paper |
| Definability in substructure orderings. II: Finite ordered sets | 2010-07-02 | Paper |
| Varieties with few subalgebras of powers | 2010-03-31 | Paper |
| Avoidable structures. I: Finite ordered sets, semilattices and lattices | 2010-01-04 | Paper |
| Avoidable structures. II: Finite distributive lattices and nicely structured ordered sets | 2010-01-04 | Paper |
| Definability in substructure orderings. IV: Finite lattices | 2010-01-04 | Paper |
| Definability in substructure orderings. III: Finite distributive lattices | 2010-01-04 | Paper |
| Congruence modularity implies cyclic terms for finite algebras | 2010-01-04 | Paper |
| Definability in substructure orderings. I: Finite semilattices | 2009-11-25 | Paper |
| Existence theorems for weakly symmetric operations | 2009-02-17 | Paper |
| The weak extension property and finite axiomatizability for quasivarieties | 2009-02-09 | Paper |
| PRINCIPAL AND SYNTACTIC CONGRUENCES IN CONGRUENCE-DISTRIBUTIVE AND CONGRUENCE-PERMUTABLE VARIETIES | 2008-12-22 | Paper |
| Few subpowers, congruence distributivity and near-unanimity terms | 2008-04-15 | Paper |
| Star-linear equational theories of groupoids | 2007-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3414149 | 2007-01-08 | Paper |
| The Jónsson-Kiefer property | 2006-10-27 | Paper |
| INTERPRETING GRAPH COLORABILITY IN FINITE SEMIGROUPS | 2006-05-29 | Paper |
| Quasiequational Theories of Flat Algebras | 2006-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3365843 | 2006-02-13 | Paper |
| On some small cardinals for Boolean algebras | 2005-08-29 | Paper |
| The variety generated by order algebras. | 2005-04-19 | Paper |
| Locally finite varieties with large free spectra. | 2005-04-19 | Paper |
| Finite basis problems and results for quasivarieties | 2005-04-07 | Paper |
| The zig-zag property and exponential cancellation of ordered sets | 2004-08-06 | Paper |
| Residual smallness relativized to congruence types. I | 2003-07-30 | Paper |
| THE TYPE SET OF A VARIETY IS NOT COMPUTABLE | 2002-12-15 | Paper |
| Arithmetic of finite ordered sets: cancellation of exponents. II | 2002-11-17 | Paper |
| Varieties with polynomially many models, I | 2002-02-21 | Paper |
| Complementary closed relational clones are not always Krasner clones | 2001-12-16 | Paper |
| The variety generated by equivalence algebras | 2001-12-16 | Paper |
| Recursive inseparability for residual bounds of finite algebras | 2001-10-30 | Paper |
| Arithmetic of finite ordered sets: Cancellation of exponents. I | 2000-10-30 | Paper |
| Equations of tournaments are not finitely based | 2000-07-27 | Paper |
| Affine complete varieties are congruence distributive | 2000-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934188 | 2000-02-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4896512 | 1997-04-07 | Paper |
| Every semigroup is isomorphic to a transitive semigroup of binary relations | 1997-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4894498 | 1996-10-07 | Paper |
| THE RESIDUAL BOUNDS OF FINITE ALGEBRAS | 1996-08-19 | Paper |
| THE RESIDUAL BOUND OF A FINITE ALGEBRA IS NOT COMPUTABLE | 1996-08-19 | Paper |
| TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE | 1996-08-14 | Paper |
| Near unanimity: An obstacle to general duality theory | 1995-11-09 | Paper |
| Braids and their monotone clones | 1995-05-01 | Paper |
| On minimal simple lattices | 1995-03-15 | Paper |
| On the covering relation in the interpretability lattice of equational theories | 1994-12-13 | Paper |
| Non-covering in the interpretability lattice of equational theories | 1994-12-12 | Paper |
| The structure of finite algebras | 1993-06-05 | Paper |
| Definability in the lattice of equational theories of semigroups | 1993-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4026903 | 1993-02-21 | Paper |
| Commutator Theory for Relatively Modular Quasivarieties | 1993-01-16 | Paper |
| The structure of decidable locally finite varieties | 1992-09-17 | Paper |
| \(k\)-ary monoids of term operations | 1992-06-28 | Paper |
| Congruence extension, Hamiltonian and Abelian properties in locally finite varieties | 1992-06-27 | Paper |
| Decidable discriminator varieties from unary varieties | 1992-06-27 | Paper |
| Interpretations of module varieties | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3033815 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3349078 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3351420 | 1990-01-01 | Paper |
| Monotone clones, residual smallness and congruence distributivity | 1990-01-01 | Paper |
| Two Definability Results in the Equational Context | 1989-01-01 | Paper |
| On the Relationship of AP, RS and CEP in Congruence Modular Varieties. II | 1988-01-01 | Paper |
| Finite equational bases for congruence modular varieties | 1987-01-01 | Paper |
| Nilpotent and solvable radicals in locally finite congruence modular varieties | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3751631 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3775604 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3737479 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3691797 | 1985-01-01 | Paper |
| A new product of algebras and a type reduction theorem | 1984-01-01 | Paper |
| Cardinality and cofinality of homomorphs of products of Boolean algebras | 1984-01-01 | Paper |
| Clones satisfying the term condition | 1984-01-01 | Paper |
| Categorical quasivarieties revisited | 1984-01-01 | Paper |
| The number of non-isomorphic models in quasi-varieties of semigroups | 1983-01-01 | Paper |
| A note on residually small varieties of semigroups | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3674726 | 1983-01-01 | Paper |
| Counting models in universal Horn classes | 1982-01-01 | Paper |
| Residually small varieties of K-algebras | 1982-01-01 | Paper |
| Narrowness implies uniformity | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3659973 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3941457 | 1982-01-01 | Paper |
| Chains in Boolean algebras | 1982-01-01 | Paper |
| Powers of partially ordered sets: Cancellation and reffinement properties. | 1982-01-01 | Paper |
| The spectrum of a lattice-primal algebra | 1981-01-01 | Paper |
| Residually small varieties of semigroups | 1981-01-01 | Paper |
| Decidable varieties with modular congruence lattices | 1981-01-01 | Paper |
| Residually Small Varieties with Modular Congruence Lattices | 1981-01-01 | Paper |
| Decidability and Boolean representations | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3953816 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3852235 | 1979-01-01 | Paper |
| A finite algebra A with SP(A) not elementary | 1978-01-01 | Paper |
| Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties | 1978-01-01 | Paper |
| Automorphism Groups of Denumerable Boolean Algebras | 1977-01-01 | Paper |
| Coverings of Groups by Abelian Subgroups | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4065343 | 1975-01-01 | Paper |
| On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4078077 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4075458 | 1974-01-01 | Paper |
| Equational Bases and Nonmodular Lattice Varieties | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4094900 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4774034 | 1973-01-01 | Paper |
| Negative solution of the decision problem for sentences true in every subalgebra of 〈N, +〉 | 1972-01-01 | Paper |
| A method for obtaining refinement theorems, with an application to direct products of semigroups | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5622428 | 1971-01-01 | Paper |
| Cardinal multiplication of structures with a reflexive relation | 1971-01-01 | Paper |
| $ℵ_1$-incompactness of Z | 1971-01-01 | Paper |
| On elementary types of symmetric groups | 1971-01-01 | Paper |
| On semigroups whose proper subsemigroups have lesser power | 1971-01-01 | Paper |
| Definability in lattices of equational theoris | 1971-01-01 | Paper |
| Representations of integral relation algebras | 1970-01-01 | Paper |
| Equational Bases for Lattice Theories. | 1970-01-01 | Paper |
| On Finite Groupoids and -Prime Algebras | 1968-01-01 | Paper |
