HomePage | RecentChanges | Preferences
Showing revision 2
A (quasi)variety K of algebraic structures has first-order definable principal (relative) congruences if
there is a first-order formula φ(u,v,x,y) such that for all
A ∈ K we have (x,y) ∈ CgK(u,v) ⇔ A |= φ(u,v,x,y).