Mal'cev conditions

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:describes properties of algebraic varieties
gptkbp:field universal algebra
https://www.w3.org/2000/01/rdf-schema#label Mal'cev conditions
gptkbp:introducedIn 1950s
gptkbp:namedAfter gptkb:Anatoly_Mal'cev
gptkbp:relatedTo congruence distributivity
congruence modularity
congruence permutability
gptkbp:type first-order condition
gptkbp:usedFor characterizing congruence properties
gptkbp:bfsParent gptkb:Universal_algebra
gptkbp:bfsLayer 5