Pages that link to "Item:Q1237798"

The following pages link to Finite equational bases for finite algebras in a congruence-distributive equational class (Q1237798):

Displaying 23 items.

• The variety generated by \(\mathbb {A}(\mathcal {T})\) -- two counterexamples (Q2634704) (← links)
• An approach to lattice varieties of finite height (Q2640633) (← links)
• A finite basis theorem for difference-term varieties with a finite residual bound (Q2787967) (← links)
• COMPUTATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM FOR VARIETIES (Q3043639) (← links)
• On algebraic specifications of computable algebras with the discriminator technique (Q3358246) (← links)
• Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties (Q3487457) (← links)
• EVERY SHIFT AUTOMORPHISM VARIETY HAS AN INFINITE SUBDIRECTLY IRREDUCIBLE MEMBER (Q3560283) (← links)
• 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
• (Q3832626) (← links)
• Equational Theories with a Minority Polynomial (Q3926653) (← links)
• Non-finite-axiomatizability results in algebraic logic (Q4032865) (← links)
• 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)
• Protoalgebraic logics (Q6364601) (← links)