The following pages link to Uniform congruence schemes (Q1138009):
Displayed 25 items.
- Contextual deduction theorems (Q647412) (← links)
- Congruence-lattices of discrete RUCS varieties (Q759783) (← links)
- Definable principal congruences in congruence distributive varieties (Q759785) (← links)
- On the structure of varieties with equationally definable principal congruences. II (Q762523) (← links)
- Connections between congruence-lattices and polynomial properties (Q790138) (← links)
- Nondefinability of projectivity in lattice varieties (Q790855) (← links)
- On the size of congruence lattices for models of theories with definability of congruences (Q793011) (← links)
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class (Q909692) (← links)
- Congruence-distributive varieties of algebras (Q911623) (← links)
- Remarks on the Fraser-Horn property (Q1084121) (← links)
- On the behaviour of congruence-functors (Q1102990) (← links)
- On classes of algebras with the definability of congruences (Q1171587) (← links)
- Universal algebras (Q1173984) (← links)
- Injectivity and Boolean powers (Q1255510) (← links)
- On subtractive varieties II: General properties (Q1272207) (← links)
- \(p\)-pseudosimple algebras (Q1317633) (← links)
- Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
- Varieties whose countable embeddability skeletons are semilattices (Q1346899) (← links)
- Quasiorders on universal algebras (Q1346900) (← links)
- On the structure of varieties with equationally definable principal congruences. I (Q1839272) (← links)
- Dual discriminator subvarieties of a variety (Q1905994) (← links)
- The subvariety structure of weakly associative lattices with the unique bound property (Q1918963) (← links)
- The parameterized local deduction theorem for quasivarieties of algebras and its application (Q1918964) (← links)
- (Q3037401) (← links)
- (Q4018703) (← links)