The following pages link to Uniform congruence schemes (Q1138009):
Displayed 39 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)
- Relative congruence formulas and decompositions in quasivarieties (Q1686333) (← 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)
- Cometic functors and representing order-preserving maps by principal lattice congruences (Q1991590) (← links)
- Semi-Nelson algebras (Q2413410) (← links)
- On principal congruences in distributive lattices with a commutative monoidal operation and an implication (Q2422313) (← links)
- Operator properties of congruence permutable varieties with strongly definable principal congruences. (Q2634707) (← links)
- (Q3037401) (← links)
- (Q4018703) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Quasi-discriminator varieties (Q5170143) (← links)
- Inconsistency lemmas in algebraic logic (Q5396222) (← links)
- THE UNDECIDABILITY OF THE DEFINABILITY OF PRINCIPAL SUBCONGRUENCES (Q5501763) (← links)
- Definable and Autostable Congruences (Q5741361) (← links)
- MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS (Q5879189) (← links)
- Universal algebraic methods for non-classical logics (Q6120602) (← links)
- Intuitionistic logic is a connexive logic (Q6127186) (← links)
- Factor principal congruences and Boolean products in filtral varieties (Q6193269) (← links)