Pages that link to "Item:Q1061158"
From MaRDI portal
The following pages link to A finite basis theorem for quasivarieties (Q1061158):
Displaying 21 items.
- Another proof that \(ISP_ r(K)\) is the least quasivariety containing K (Q795076) (← links)
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class (Q909692) (← links)
- On finite bases for varieties and pseudovarieties (Q1109060) (← links)
- Universal algebras (Q1173984) (← links)
- On the structure of varieties with equationally definable principal congruences. III (Q1342132) (← links)
- Model completions and r-Heyting categories (Q1372155) (← links)
- On an assertion of J. Rhodes and the finite basis and finite vertex rank problems for pseudovarieties. (Q1421252) (← links)
- Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
- Finite basis problems and results for quasivarieties (Q1770614) (← links)
- Epimorphisms in varieties of subidempotent residuated structures (Q2226977) (← links)
- Triangular irreducibility of congruences in quasivarieties (Q2450841) (← links)
- Existence of finite bases for quasi-equations of unary algebras with 0 (Q3453134) (← links)
- Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties (Q3487457) (← links)
- Mordell's finite basis theorem revisited (Q3735832) (← links)
- A Mathematical Life (Q4586411) (← links)
- A finite basis theorem for residually finite, congruence meet-semidistributive varieties (Q4953214) (← links)
- A Generalization of Maksimova’s Criterion for the Disjunction Property (Q5214734) (← links)
- Inconsistency lemmas in algebraic logic (Q5396222) (← links)
- (Q5701824) (← links)
- MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS (Q5879189) (← links)
- Factor principal congruences and Boolean products in filtral varieties (Q6193269) (← links)
