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 50 items.
- Nondefinability of projectivity in lattice varieties (Q790855) (← links)
- Quasiidentities of two-element algebras (Q790865) (← links)
- On subdirectly irreducible lattice-ordered semigroups (Q792362) (← links)
- Products of finitely based varieties of Brouwerian semilattices (Q797602) (← links)
- Basic questions for general algebras (Q797614) (← links)
- On Jónsson's theorem (Q797617) (← links)
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class (Q909692) (← links)
- Bounded and well-placed theories in the lattice of equational theories (Q910421) (← links)
- Congruence-distributive varieties of algebras (Q911623) (← links)
- Lyndon's groupoid is not inherently nonfinitely based (Q915755) (← links)
- Quasivarieties with definable relative principal subcongruences (Q1037593) (← links)
- Bases of quasiidentities of finite modal algebras (Q1050380) (← links)
- A finite basis theorem for quasivarieties (Q1061158) (← links)
- The logic of algebraic rules as a generalization of equational logic (Q1065789) (← links)
- Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra (Q1073065) (← links)
- Every idempotent plain algebra generates a minimal variety (Q1089020) (← links)
- Finite equational bases for congruence modular varieties (Q1104959) (← links)
- Nilpotent and solvable radicals in locally finite congruence modular varieties (Q1104960) (← links)
- Minimal, locally-finite varieties that are not finitely axiomatizable (Q1135870) (← links)
- Laws in finite loops (Q1140724) (← links)
- Congruence varieties (Q1141676) (← links)
- A proof of Lyndon's finite basis theorem (Q1147174) (← links)
- A four-element algebra whose identities are not finitely based (Q1147176) (← links)
- Two examples concerning the definability of the disjointness property of principal congruences (Q1150643) (← links)
- Finite groupoids without finite bases for their identities (Q1159702) (← links)
- A finite base for \(M^ n\) and maximal projective distance in \(M^ n\). (Q1163039) (← links)
- Universal algebras (Q1173984) (← links)
- Finite bases for finitely generated, relatively congruence distributive quasivarities (Q1179764) (← links)
- A field guide to equational logic (Q1201350) (← links)
- Equational axioms for classes of Heyting algebras (Q1237072) (← links)
- A finite algebra A with SP(A) not elementary (Q1243288) (← links)
- Baker's finite basis theorem (Q1246551) (← links)
- Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties (Q1248637) (← links)
- Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
- Jónsson's contributions to lattice theory (Q1327465) (← links)
- The determination of subvarieties of certain congruence-distributive varieties (Q1337159) (← links)
- Inherently nonfinitely based lattices (Q1612484) (← links)
- Finite basis problems and results for quasivarieties (Q1770614) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)
- On the structure of varieties with equationally definable principal congruences. I (Q1839272) (← links)
- Finite axiomatizability of congruence rich varieties (Q1902530) (← links)
- An approach to lattice varieties of finite height (Q2640633) (← 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)