Equational Bases for Lattice Theories.
From MaRDI portal
Publication:4063199
DOI10.7146/math.scand.a-10984zbMath0307.08001OpenAlexW172530911MaRDI QIDQ4063199
Publication date: 1970
Published in: MATHEMATICA SCANDINAVICA (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/166143
Structure theory of lattices (06B05) Modular lattices, Desarguesian lattices (06C05) Varieties (08B99)
Related Items (70)
Inherently nonfinitely based lattices ⋮ Bjarni Jónsson's contributions in algebra ⋮ Jónsson's contributions to lattice theory ⋮ The finite basis problem for infinite involution semigroups of triangular \(2 \times 2\) matrices ⋮ A Nonfinitely Based Semigroup of Triangular Matrices ⋮ An equational logic sampler ⋮ Unnamed Item ⋮ An approach to lattice varieties of finite height ⋮ Finite axiomatizability of congruence rich varieties ⋮ Equational axioms for classes of lattices ⋮ Finite pseudo-Boolean and topo-Boolean algebras not having an independent basis of quasi-identities ⋮ Minimum bases for equational theories of groups and rings: The work of Alfred Tarski and Thomas Green ⋮ Quasi-identities of certain finite algebras ⋮ Finite basis problem for semigroups of order six ⋮ Various varieties ⋮ Ultraproducts preserve finite subdirect reducibility ⋮ A non-finitely based involution semigroup of order five ⋮ Finite basis problem for Catalan monoids with involution ⋮ Bases of identities of varieties of inverse semigroups ⋮ A NONFINITELY BASED FINITE SEMIRING ⋮ COMPUTATIONALLY AND ALGEBRAICALLY COMPLEX FINITE ALGEBRA MEMBERSHIP PROBLEMS ⋮ Congruence varieties ⋮ The finite basis problem for Kiselman monoids. ⋮ On the varieties generated by ai-semirings of order two. ⋮ FINITE BASIS PROBLEM FOR INVOLUTION MONOIDS OF ORDER FIVE ⋮ Representations and identities of hypoplactic monoids with involution ⋮ A four-element algebra whose identities are not finitely based ⋮ Identities and quasiidentities in the lattice of overcommutative semigroup varieties. ⋮ Varieties generated by modular lattices of width four ⋮ Equational theories of semigroups with involution. ⋮ Interval lattices and the amalgamation property ⋮ Lyndon's groupoid is not inherently nonfinitely based ⋮ Structural diversity in the lattice of equational theories ⋮ Hyperidentities and hypervarieties ⋮ Properties not retained by pointed enrichments of finite lattices ⋮ On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model ⋮ Cross varieties of aperiodic monoids with central idempotents. ⋮ On the finite axiomatizability of varieties of commutative unary algebras ⋮ Finite basis problem for involution monoids of unitriangular Boolean matrices ⋮ A field guide to equational logic ⋮ Equational theories of unstable involution semigroups ⋮ COMPUTATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM FOR VARIETIES ⋮ Equational Bases and Nonmodular Lattice Varieties ⋮ 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 ⋮ Equational theory of algebras with a majority polynomial ⋮ Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties ⋮ Commutative idempotent residuated lattices ⋮ THE FINITE BASIS PROBLEM FOR INVOLUTION SEMIGROUPS OF TRIANGULAR MATRICES ⋮ Primitive Satisfaction and Equational Problems for Lattices and Other Algebras ⋮ Single identities for lattice theory and for weakly associative lattices ⋮ On two alternative axiomatizations of lattices by McKenzie and Sholander ⋮ Remarks and problems on a lattice of equational chapters ⋮ Rechtskomplementäre Halbgruppen, Axiome, Polynome, Kongruenzen ⋮ Rechtskomplementäre Halbgruppen. Axiome, Polynome, Kongruenzen. (Right- complementary semigroups. Axioms, polynomials, congruences) ⋮ Embedding the dual of \(\Pi^\infty\) in the lattice of equational classes of semigroups. ⋮ THE VARIETY GENERATED BY AN AI-SEMIRING OF ORDER THREE ⋮ Variety-independence in lattice theory ⋮ Equational theory of idempotent algebras ⋮ Primitive subsets of lattices ⋮ Semiconic idempotent residuated structures ⋮ The finite basis problem for endomorphism semirings of finite semilattices with zero. ⋮ The finite basis question for semigroups of order less than six ⋮ Weak (projective) radius and finite equational bases for classes of lattices ⋮ Basic questions for general algebras ⋮ Finite lattices having no independent basis of quasiidentities ⋮ Finite basis problem for Lee monoids with involution ⋮ Equational Theories of Algebras with Distributive Congruences ⋮ Some properties of orthologics ⋮ The max-plus algebra of the natural numbers has no finite equational basis
This page was built for publication: Equational Bases for Lattice Theories.
