Identities in Finite Algebras
From MaRDI portal
Publication:5825749
DOI10.2307/2032095zbMath0055.02705OpenAlexW4241540517MaRDI QIDQ5825749
Publication date: 1954
Full work available at URL: https://doi.org/10.2307/2032095
Lattices of varieties (08B15) Operations and polynomials in algebraic structures, primal algebras (08A40)
Related Items (36)
Inherently nonfinitely based lattices ⋮ Bjarni Jónsson's contributions in algebra ⋮ Partial evaluation and \(\omega\)-completeness of algebraic specifications ⋮ Unnamed Item ⋮ Finite axiomatizability of congruence rich varieties ⋮ Gentzen-style axiomatizations in equational logic ⋮ On finite bases for varieties and pseudovarieties ⋮ Convexity preserving deformations of digital sets: characterization of removable and insertable pixels ⋮ Congruence varieties ⋮ Universal algebraic methods for non-classical logics ⋮ A four-element algebra whose identities are not finitely based ⋮ Flat extensions of groups and limit varieties of additively idempotent semirings ⋮ Dualizability of automatic algebras. ⋮ Finite groupoids without finite bases for their identities ⋮ Infinite chains of non-finitely based equational theories of finite algebras ⋮ Lyndon's groupoid is not inherently nonfinitely based ⋮ A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots). ⋮ EVERY SHIFT AUTOMORPHISM VARIETY HAS AN INFINITE SUBDIRECTLY IRREDUCIBLE MEMBER ⋮ A field guide to equational logic ⋮ The equational complexity of Lyndon's algebra ⋮ Algebraic properties of some quadratic dynamical systems ⋮ A finite basis theorem for difference-term varieties with a finite residual bound ⋮ Finite equational bases for finite algebras in a congruence-distributive equational class ⋮ On algebraic specifications of computable algebras with the discriminator technique ⋮ Equivalent transformations of formulas in \(P_2\). ⋮ Primitive Satisfaction and Equational Problems for Lattices and Other Algebras ⋮ Bases for equational theories of semi-groups ⋮ An inherently nonfinitely based commutative directoid ⋮ On the Identities of Certain Algebras ⋮ THE VARIETY GENERATED BY AN AI-SEMIRING OF ORDER THREE ⋮ On a fragment of the implicative propositional calculus ⋮ The finite basis question for semigroups of order less than six ⋮ Basic questions for general algebras ⋮ Existence of finite total equivalence systems for certain closed classes of 3-valued logic functions ⋮ Nonfinitely based three-element idempotent groupoids ⋮ Varieties of groups
This page was built for publication: Identities in Finite Algebras
