Publication | Date of Publication | Type |
---|
Algebras, Lattices, Varieties | 2022-10-04 | Paper |
Algebras, Lattices, Varieties | 2022-10-04 | Paper |
SMB algebras I: On the variety of SMB algebras | 2022-08-16 | 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 |