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):
Displaying 50 items.
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited (Q368481) (← links)
- On pretabular logics in NExtK4. I (Q456965) (← links)
- A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots). (Q494618) (← links)
- 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)
- On finitely related semigroups. (Q1955601) (← links)
- On the join of Cross varieties of algebras (Q2058338) (← links)
- Identities and quasi-identities of pointed algebras (Q2123076) (← links)
- A quasi-Mal'cev condition with unexpected application. (Q2351514) (← links)
- Layers over minimal logic (Q2364334) (← links)
- Equivalent transformations of formulas in \(P_2\). (Q2513087) (← links)
