Pages that link to "Item:Q1237798"
From MaRDI portal
The following pages link to Finite equational bases for finite algebras in a congruence-distributive equational class (Q1237798):
Displayed 13 items.
- Minimal Axiomatization in Modal Logic (Q4333475) (← links)
- Tarski’s finite basis problem via 𝐀(𝒯) (Q4337957) (← links)
- (Q4389709) (← links)
- Relatively congruence modular quasivarieties of modules (Q4586418) (← links)
- PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE (Q4647112) (← links)
- SOLUTION TO A PROBLEM OF KUBLANOVSKY AND SAPIR (Q4786292) (← links)
- A finite basis theorem for residually finite, congruence meet-semidistributive varieties (Q4953214) (← links)
- An equational logic sampler (Q5055725) (← links)
- n-Permutability is not join-prime for n ≥ 5 (Q5135748) (← links)
- A Generalization of Maksimova’s Criterion for the Disjunction Property (Q5214734) (← links)
- THE UNDECIDABILITY OF THE DEFINABILITY OF PRINCIPAL SUBCONGRUENCES (Q5501763) (← links)
- Universal algebraic methods for non-classical logics (Q6120602) (← links)
- Protoalgebraic logics (Q6364601) (← links)