The following pages link to (Q4339470):
Displaying 14 items.
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited (Q368481) (← links)
- The varieties defined by \(P\)-compatible identities of modular ortholattices (Q609647) (← links)
- An algebraic proof that pseudovarieties are defined by pseudoidentities (Q1173660) (← links)
- Equational theories of varieties defined by P-compatible identities of Boolean algebras (Q1200945) (← links)
- Complements in lattices of varieties and equational theories (Q1333290) (← links)
- On \(P\)-compatible hybrid identities and hyperidentities (Q1338479) (← links)
- Equivalence for varieties in general and for \(\mathcal {BOOL}\) in particular (Q1866805) (← links)
- The probability of triviality (Q1966131) (← links)
- Variadic equational matching in associative and commutative theories (Q2029000) (← links)
- The equational theory of a nontrivial discriminator variety is co-NP-hard (Q2577705) (← links)
- (Q2753685) (← links)
- EQUATIONAL BASES FOR P-COMPATIBLE IDENTITIES (Q3006483) (← links)
- EQUATIONAL THEORIES GENERATED BY HYPERSUBSTITUTIONS OF TYPE (n) (Q3043643) (← links)
- (Q4483642) (← links)