| Publication | Date of Publication | Type |
|---|
| Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems) | 2024-12-19 | Paper |
Algebras from finite group actions and a question of Eilenberg and Schützenberger
Journal of Algebra | 2023-07-11 | Paper |
Correction to “A finite basis theorem for difference-term varieties with a finite residual bound”
Transactions of the American Mathematical Society, Series B | 2022-06-07 | Paper |
Characterizing the commutator in varieties with a difference term
Algebra Universalis | 2022-04-25 | Paper |
Characterizing the commutator in varieties with a difference term
(available as arXiv preprint) | 2021-12-01 | Paper |
| scientific article; zbMATH DE number 7359806 (Why is no real title available?) | 2021-06-15 | Paper |
\( \omega \)-categorical structures avoiding height 1 identities
Transactions of the American Mathematical Society | 2020-12-18 | Paper |
| Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems) | 2019-01-14 | Paper |
Congruence meet-semidistributive locally finite varieties and a finite basis theorem
Algebra Universalis | 2018-07-16 | Paper |
New-from-old full dualities via axiomatisation
Annals of Pure and Applied Logic | 2018-06-05 | Paper |
Simpler Maltsev conditions for (weak) difference terms in locally finite varieties
Algebra Universalis | 2018-01-12 | Paper |
Near unanimity constraints have bounded pathwidth duality
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
A finite basis theorem for difference-term varieties with a finite residual bound
Transactions of the American Mathematical Society | 2016-03-07 | Paper |
Characterizations of several Maltsev conditions.
Algebra Universalis | 2015-06-23 | Paper |
Idempotent \(n\)-permutable varieties.
Bulletin of the London Mathematical Society | 2014-08-04 | Paper |
The lattice of alter egos
International Journal of Algebra and Computation | 2012-05-04 | Paper |
| Kuratowski's Theorem for Two Closure Operators | 2011-09-06 | Paper |
Tractability and learnability arising from algebras with few subpowers
SIAM Journal on Computing | 2011-04-04 | Paper |
Varieties with few subalgebras of powers
Transactions of the American Mathematical Society | 2010-03-31 | Paper |
EQUATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM
International Journal of Algebra and Computation | 2009-02-10 | Paper |
| An overview of modern universal algebra | 2008-04-14 | Paper |
Not every full duality is strong!
Algebra Universalis | 2008-03-11 | Paper |
Dualisability versus residual character: a theorem and a counterexample
Journal of Pure and Applied Algebra | 2007-06-26 | Paper |
Structural entailment
Algebra Universalis | 2006-03-21 | Paper |
Full does not imply strong, does it?
Algebra Universalis | 2006-01-06 | Paper |
DETERMINING WHETHER ${\mathsf V}({\bf A})$ HAS A MODEL COMPANION IS UNDECIDABLE
International Journal of Algebra and Computation | 2005-09-27 | Paper |
Natural dualities for quasivarieties generated by a finite commutative ring.
Algebra Universalis | 2005-04-19 | Paper |
| scientific article; zbMATH DE number 2144744 (Why is no real title available?) | 2005-03-14 | Paper |
Full duality among graph algebras and flat graph algebras
Algebra Universalis | 2001-12-16 | Paper |
Extending Baker's theorem
Algebra Universalis | 2001-12-16 | Paper |
A finite basis theorem for residually finite, congruence meet-semidistributive varieties
Journal of Symbolic Logic | 2001-12-05 | Paper |
The dualisability of a quasi-variety is independent of the generating algebra.
Algebra Universalis | 2001-06-10 | Paper |
Discriminating varieties
Algebra Universalis | 2001-05-14 | Paper |
An algebra that is dualizable but not fully dualizable
Journal of Pure and Applied Algebra | 2000-09-04 | Paper |
| scientific article; zbMATH DE number 1446773 (Why is no real title available?) | 2000-05-14 | Paper |
Residually finite, congruence meet-semidistributive varieties of finite type have a finite residual bound
Proceedings of the American Mathematical Society | 1999-08-31 | Paper |
FINITENESS PROPERTIES OF LOCALLY FINITE ABELIAN VARIETIES
International Journal of Algebra and Computation | 1998-08-10 | Paper |
| scientific article; zbMATH DE number 1064598 (Why is no real title available?) | 1998-05-17 | Paper |
Two finitely generated varieties having no infinite simple members
Proceedings of the American Mathematical Society | 1998-03-24 | Paper |
Tarski’s finite basis problem via 𝐀(𝒯)
Transactions of the American Mathematical Society | 1997-05-27 | Paper |
On McKenzie's method
Periodica Mathematica Hungarica | 1996-09-15 | Paper |
Essential arities of term operations in finite algebras
Discrete Mathematics | 1996-03-25 | Paper |
Hereditary undecidability of some theories of finite structures
Journal of Symbolic Logic | 1995-07-02 | Paper |
Decidable discriminator varieties with lattice stalks
Algebra Universalis | 1995-04-20 | Paper |
Inherently Nonfinitely Based Solvable Algebras
Canadian Mathematical Bulletin | 1995-02-09 | Paper |
| Decidable Discriminator Varieties from Unary Classes | 1993-05-16 | Paper |
SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES
International Journal of Algebra and Computation | 1993-02-08 | Paper |
Homogeneous locally finite varieties
Algebra Universalis | 1992-09-27 | Paper |
Varieties having Boolean factor congruences
Journal of Algebra | 1992-06-25 | Paper |
A characterization of congruence permutable locally finite varieties
Journal of Algebra | 1992-06-25 | Paper |
A note on indecomposable lattices
Algebra Universalis | 1989-01-01 | Paper |
Congruence lattices of powers of an algebra
Algebra Universalis | 1989-01-01 | Paper |
M n as a 0, 1-Sublattice of Con A Does not Force the Term Condition
Proceedings of the American Mathematical Society | 1988-01-01 | Paper |
Injectives in finitely generated universal Horn classes
Journal of Symbolic Logic | 1987-01-01 | Paper |
