Pages that link to "Item:Q4882916"
From MaRDI portal
The following pages link to THE RESIDUAL BOUNDS OF FINITE ALGEBRAS (Q4882916):
Displayed 24 items.
- A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots). (Q494618) (← links)
- The equational complexity of Lyndon's algebra (Q539978) (← links)
- Flat unars: the primal, the semi-primal and the dualisable (Q607463) (← links)
- Natural extensions and profinite completions of algebras (Q651385) (← links)
- On McKenzie's method (Q1922124) (← links)
- Dualizability of automatic algebras. (Q2436718) (← 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)
- SUBDIRECTLY IRREDUCIBLE DIFFERENTIAL MODES (Q3166258) (← links)
- Quasiequational Theories of Flat Algebras (Q3366747) (← links)
- COMPUTATIONALLY AND ALGEBRAICALLY COMPLEX FINITE ALGEBRA MEMBERSHIP PROBLEMS (Q3502845) (← links)
- PROPERTIES OF VARIETIES DETERMINED BY THE DEGREES OF PROPER HYPERSUBSTITUTIONS (Q3521576) (← links)
- EVERY SHIFT AUTOMORPHISM VARIETY HAS AN INFINITE SUBDIRECTLY IRREDUCIBLE MEMBER (Q3560283) (← links)
- EQUATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM (Q3601326) (← links)
- The computational complexity of deciding whether a finite algebra generates a minimal variety (Q4586419) (← links)
- A finite basis theorem for residually finite, congruence meet-semidistributive varieties (Q4953214) (← links)
- The Division Relation: Congruence Conditions and Axiomatisability (Q5305990) (← links)
- Flat algebras and the translation of universal Horn logic to equational logic (Q5387303) (← links)
- THE UNDECIDABILITY OF THE DEFINABILITY OF PRINCIPAL SUBCONGRUENCES (Q5501763) (← links)
- DETERMINING WHETHER ${\mathsf V}({\bf A})$ HAS A MODEL COMPANION IS UNDECIDABLE (Q5692241) (← links)
- Residual smallness relativized to congruence types. I (Q5946833) (← links)
- Finite bases for flat graph algebras (Q5956274) (← links)
- Universal algebraic methods for non-classical logics (Q6120602) (← links)