The following pages link to Varieties Obeying Homotopy Laws (Q4129503):
Displaying 43 items.
- A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots). (Q494618) (← links)
- Mal'tsev conditions, lack of absorption, and solvability. (Q494634) (← links)
- Maltsev families of varieties closed under join or Maltsev product (Q509529) (← links)
- On solvability of systems of polynomial equations (Q539980) (← links)
- A strong Mal'cev condition for locally finite varieties omitting the unary type (Q616117) (← links)
- Simple equations on real intervals (Q1042414) (← links)
- Laws obeyed by topological algebras - extending results of Hopf and Adams (Q1164298) (← links)
- Universal algebras (Q1173984) (← links)
- The wonderland of reflections (Q1709740) (← links)
- Taylor term does not imply any nontrivial linear one-equality Maltsev condition (Q1721745) (← links)
- A discrete homotopy theory for binary reflexive structures (Q1763635) (← links)
- Separation in topological algebras (Q1906526) (← links)
- Enveloping ringoids (Q1913869) (← links)
- A characterization of idempotent strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties (Q1991583) (← links)
- The poset of all logics. III: Finitely presentable logics (Q2046877) (← links)
- A quasi-Mal'cev condition with unexpected application. (Q2351514) (← links)
- Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties. (Q2510719) (← links)
- THE CONSTRAINT SATISFACTION PROBLEM AND UNIVERSAL ALGEBRA (Q2795309) (← links)
- (Q3806357) (← links)
- The Relationship Between Two Commutators (Q4354237) (← links)
- Possible classification of finite-dimensional compact Hausdorff topological algebras (Q4586424) (← links)
- Towards Lambda Calculus Order-Incompleteness (Q4916175) (← links)
- The shape of congruence lattices (Q4979155) (← links)
- (Q4993594) (← links)
- (Q4993595) (← links)
- The Complexity of Valued CSPs (Q4993602) (← links)
- THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE (Q5015720) (← links)
- A note on the weakest Taylor term (Q5019832) (← links)
- (Q5028466) (← links)
- Supernilpotent Taylor algebras are nilpotent (Q5143158) (← links)
- Pseudo‐loop conditions (Q5205451) (← links)
- Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems) (Q5222129) (← links)
- (Q5381121) (← links)
- SOLVABILITY OF SYSTEMS OF POLYNOMIAL EQUATIONS OVER FINITE ALGEBRAS (Q5386972) (← links)
- TAYLOR TERMS, CONSTRAINT SATISFACTION AND THE COMPLEXITY OF POLYNOMIAL EQUATIONS OVER FINITE ALGEBRAS (Q5483456) (← links)
- Idempotent <i>n</i> -permutable varieties (Q5495357) (← links)
- (Q5863602) (← links)
- THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY (Q5879187) (← links)
- Relative Maltsev definability of some commutator properties (Q6159128) (← links)
- Relative lengths of Maltsev conditions (Q6553452) (← links)
- Varieties defined by basic equations have the amalgamation property (Q6600746) (← links)
- Taylor is prime (Q6633829) (← links)
- Commutator equations (Q6660950) (← links)
