The following pages link to On McKenzie's method (Q1922124):
Displayed 12 items.
- Nonfinitely based ai-semirings with finitely based semigroup reducts (Q2079231) (← links)
- On varieties of flat nil-semirings (Q2684026) (← links)
- Recursive inseparability for residual bounds of finite algebras (Q2710615) (← links)
- RESIDUAL SMALLNESS AND WEAK CENTRALITY (Q3043627) (← links)
- COMPUTATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM FOR VARIETIES (Q3043639) (← links)
- The Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversion (Q3586013) (← links)
- THE TYPE SET OF A VARIETY IS NOT COMPUTABLE (Q4786272) (← links)
- THE MEMBERSHIP PROBLEM IN FINITE FLAT HYPERGRAPH ALGEBRAS (Q5297220) (← links)
- The Division Relation: Congruence Conditions and Axiomatisability (Q5305990) (← links)
- Flat algebras and the translation of universal Horn logic to equational logic (Q5387303) (← links)
- DETERMINING WHETHER ${\mathsf V}({\bf A})$ HAS A MODEL COMPANION IS UNDECIDABLE (Q5692241) (← links)
- Finite bases for flat graph algebras (Q5956274) (← links)