| Publication | Date of Publication | Type |
|---|
| Algebras, lattices, varieties. Volume II | 2022-10-04 | Paper |
| Algebras, lattices, varieties. Volume III | 2022-10-04 | Paper |
| SMB algebras I: On the variety of SMB algebras | 2022-08-16 | Paper |
| Algebras, lattices, varieties. Volume I. With an additional bibliography | 2018-08-16 | Paper |
Maltsev families of varieties closed under join or Maltsev product
Algebra Universalis | 2017-02-17 | Paper |
Optimal strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties
Algebra Universalis | 2016-11-01 | Paper |
On the number of finite algebraic structures
Journal of the European Mathematical Society (JEMS) | 2014-10-31 | Paper |
Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties.
Algebra Universalis | 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.
Order | 2012-07-31 | Paper |
Tractability and learnability arising from algebras with few subpowers
SIAM Journal on Computing | 2011-04-04 | Paper |
The structure of locally finite varieties with polynomially many models
Journal of the American Mathematical Society | 2011-03-02 | Paper |
Definability in substructure orderings. II: Finite ordered sets
Order | 2010-07-02 | Paper |
Varieties with few subalgebras of powers
Transactions of the American Mathematical Society | 2010-03-31 | Paper |
Definability in substructure orderings. IV: Finite lattices
Algebra Universalis | 2010-01-04 | Paper |
Definability in substructure orderings. III: Finite distributive lattices
Algebra Universalis | 2010-01-04 | Paper |
Congruence modularity implies cyclic terms for finite algebras
Algebra Universalis | 2010-01-04 | Paper |
Avoidable structures. I: Finite ordered sets, semilattices and lattices
Algebra Universalis | 2010-01-04 | Paper |
Avoidable structures. II: Finite distributive lattices and nicely structured ordered sets
Algebra Universalis | 2010-01-04 | Paper |
Definability in substructure orderings. I: Finite semilattices
Algebra Universalis | 2009-11-25 | Paper |
Existence theorems for weakly symmetric operations
Algebra Universalis | 2009-02-17 | Paper |
The weak extension property and finite axiomatizability for quasivarieties
Fundamenta Mathematicae | 2009-02-09 | Paper |
PRINCIPAL AND SYNTACTIC CONGRUENCES IN CONGRUENCE-DISTRIBUTIVE AND CONGRUENCE-PERMUTABLE VARIETIES
Journal of the Australian Mathematical Society | 2008-12-22 | Paper |
Few subpowers, congruence distributivity and near-unanimity terms
Algebra Universalis | 2008-04-15 | Paper |
Star-linear equational theories of groupoids
Algebra Universalis | 2007-07-20 | Paper |
| scientific article; zbMATH DE number 5082326 (Why is no real title available?) | 2007-01-08 | Paper |
The Jónsson-Kiefer property
Studia Logica | 2006-10-27 | Paper |
INTERPRETING GRAPH COLORABILITY IN FINITE SEMIGROUPS
International Journal of Algebra and Computation | 2006-05-29 | Paper |
Quasiequational Theories of Flat Algebras
Czechoslovak Mathematical Journal | 2006-02-14 | Paper |
| Congruence modular varieties: commutator theory and its uses | 2006-02-13 | Paper |
On some small cardinals for Boolean algebras
Journal of Symbolic Logic | 2005-08-29 | Paper |
Locally finite varieties with large free spectra.
Algebra Universalis | 2005-04-19 | Paper |
The variety generated by order algebras.
Algebra Universalis | 2005-04-19 | Paper |
Finite basis problems and results for quasivarieties
Studia Logica | 2005-04-07 | Paper |
The zig-zag property and exponential cancellation of ordered sets
Order | 2004-08-06 | Paper |
Residual smallness relativized to congruence types. I
Journal of Pure and Applied Algebra | 2003-07-30 | Paper |
THE TYPE SET OF A VARIETY IS NOT COMPUTABLE
International Journal of Algebra and Computation | 2002-12-15 | Paper |
Arithmetic of finite ordered sets: cancellation of exponents. II
Order | 2002-11-17 | Paper |
Varieties with polynomially many models. I
Fundamenta Mathematicae | 2002-02-21 | Paper |
Complementary closed relational clones are not always Krasner clones
Algebra Universalis | 2001-12-16 | Paper |
The variety generated by equivalence algebras
Algebra Universalis | 2001-12-16 | Paper |
Recursive inseparability for residual bounds of finite algebras
The Journal of Symbolic Logic | 2001-10-30 | Paper |
Arithmetic of finite ordered sets: Cancellation of exponents. I
Order | 2000-10-30 | Paper |
Equations of tournaments are not finitely based
Discrete Mathematics | 2000-07-27 | Paper |
Affine complete varieties are congruence distributive
Algebra Universalis | 2000-02-27 | Paper |
| scientific article; zbMATH DE number 1389739 (Why is no real title available?) | 2000-02-20 | Paper |
| scientific article; zbMATH DE number 937372 (Why is no real title available?) | 1997-04-07 | Paper |
Every semigroup is isomorphic to a transitive semigroup of binary relations
Transactions of the American Mathematical Society | 1997-01-09 | Paper |
| scientific article; zbMATH DE number 931877 (Why is no real title available?) | 1996-10-07 | Paper |
THE RESIDUAL BOUNDS OF FINITE ALGEBRAS
International Journal of Algebra and Computation | 1996-08-19 | Paper |
THE RESIDUAL BOUND OF A FINITE ALGEBRA IS NOT COMPUTABLE
International Journal of Algebra and Computation | 1996-08-19 | Paper |
TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE
International Journal of Algebra and Computation | 1996-08-14 | Paper |
Near unanimity: An obstacle to general duality theory
Algebra Universalis | 1995-11-09 | Paper |
Braids and their monotone clones
Algebra Universalis | 1995-05-01 | Paper |
On minimal simple lattices
Algebra Universalis | 1995-03-15 | Paper |
On the covering relation in the interpretability lattice of equational theories
Algebra Universalis | 1994-12-13 | Paper |
Non-covering in the interpretability lattice of equational theories
Algebra Universalis | 1994-12-12 | Paper |
The structure of finite algebras
Contemporary Mathematics | 1993-06-05 | Paper |
Definability in the lattice of equational theories of semigroups
Semigroup Forum | 1993-05-16 | Paper |
| scientific article; zbMATH DE number 125210 (Why is no real title available?) | 1993-02-21 | Paper |
| Commutator Theory for Relatively Modular Quasivarieties | 1993-01-16 | Paper |
The structure of decidable locally finite varieties
Progress in Mathematics | 1992-09-17 | Paper |
\(k\)-ary monoids of term operations
Semigroup Forum | 1992-06-28 | Paper |
Congruence extension, Hamiltonian and Abelian properties in locally finite varieties
Algebra Universalis | 1992-06-27 | Paper |
Decidable discriminator varieties from unary varieties
Journal of Symbolic Logic | 1992-06-27 | Paper |
| scientific article; zbMATH DE number 4200456 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4132237 (Why is no real title available?) | 1990-01-01 | Paper |
Monotone clones, residual smallness and congruence distributivity
Bulletin of the Australian Mathematical Society | 1990-01-01 | Paper |
Interpretations of module varieties
Journal of Algebra | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4202344 (Why is no real title available?) | 1990-01-01 | Paper |
Two Definability Results in the Equational Context
Proceedings of the American Mathematical Society | 1989-01-01 | Paper |
| On the Relationship of AP, RS and CEP in Congruence Modular Varieties. II | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3987347 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4035895 (Why is no real title available?) | 1987-01-01 | Paper |
Finite equational bases for congruence modular varieties
Algebra Universalis | 1987-01-01 | Paper |
Nilpotent and solvable radicals in locally finite congruence modular varieties
Algebra Universalis | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3970815 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3914390 (Why is no real title available?) | 1985-01-01 | Paper |
Cardinality and cofinality of homomorphs of products of Boolean algebras
Algebra Universalis | 1984-01-01 | Paper |
Clones satisfying the term condition
Discrete Mathematics | 1984-01-01 | Paper |
Categorical quasivarieties revisited
Algebra Universalis | 1984-01-01 | Paper |
A new product of algebras and a type reduction theorem
Algebra Universalis | 1984-01-01 | Paper |
The number of non-isomorphic models in quasi-varieties of semigroups
Algebra Universalis | 1983-01-01 | Paper |
A note on residually small varieties of semigroups
Algebra Universalis | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3827946 (Why is no real title available?) | 1983-01-01 | Paper |
Powers of partially ordered sets: Cancellation and reffinement properties.
MATHEMATICA SCANDINAVICA | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3758396 (Why is no real title available?) | 1982-01-01 | Paper |
Chains in Boolean algebras
Annals of Mathematical Logic | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3811847 (Why is no real title available?) | 1982-01-01 | Paper |
Counting models in universal Horn classes
Algebra Universalis | 1982-01-01 | Paper |
Narrowness implies uniformity
Algebra Universalis | 1982-01-01 | Paper |
Residually small varieties of K-algebras
Algebra Universalis | 1982-01-01 | Paper |
Decidability and Boolean representations
Memoirs of the American Mathematical Society | 1981-01-01 | Paper |
Residually small varieties of semigroups
Algebra Universalis | 1981-01-01 | Paper |
| Residually Small Varieties with Modular Congruence Lattices | 1981-01-01 | Paper |
Decidable varieties with modular congruence lattices
Bulletin of the American Mathematical Society | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3773663 (Why is no real title available?) | 1981-01-01 | Paper |
The spectrum of a lattice-primal algebra
Discrete Mathematics | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3652395 (Why is no real title available?) | 1979-01-01 | Paper |
Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
Algebra Universalis | 1978-01-01 | Paper |
A finite algebra A with SP(A) not elementary
Algebra Universalis | 1978-01-01 | Paper |
Coverings of Groups by Abelian Subgroups
Canadian Journal of Mathematics | 1977-01-01 | Paper |
Automorphism Groups of Denumerable Boolean Algebras
Canadian Journal of Mathematics | 1977-01-01 | Paper |
On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
Journal of Symbolic Logic | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3482119 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3496223 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3494404 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3515511 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3448564 (Why is no real title available?) | 1973-01-01 | Paper |
| Equational Bases and Nonmodular Lattice Varieties | 1973-01-01 | Paper |
Negative solution of the decision problem for sentences true in every subalgebra of 〈N, +〉
Journal of Symbolic Logic | 1972-01-01 | Paper |
A method for obtaining refinement theorems, with an application to direct products of semigroups
Algebra Universalis | 1972-01-01 | Paper |
Definability in lattices of equational theoris
Annals of Mathematical Logic | 1971-01-01 | Paper |
Cardinal multiplication of structures with a reflexive relation
Fundamenta Mathematicae | 1971-01-01 | Paper |
On semigroups whose proper subsemigroups have lesser power
Algebra Universalis | 1971-01-01 | Paper |
On elementary types of symmetric groups
Algebra Universalis | 1971-01-01 | Paper |
$ℵ_1$-incompactness of Z
Colloquium Mathematicum | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3346655 (Why is no real title available?) | 1971-01-01 | Paper |
Representations of integral relation algebras
Michigan Mathematical Journal | 1970-01-01 | Paper |
Equational Bases for Lattice Theories.
MATHEMATICA SCANDINAVICA | 1970-01-01 | Paper |
On Finite Groupoids and -Prime Algebras
Transactions of the American Mathematical Society | 1968-01-01 | Paper |
