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
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
