Equational Bases for Lattice Theories.

Cited In (70)

Representations and identities of hypoplactic monoids with involution
Finite basis problem for Catalan monoids with involution
On the finite axiomatizability of varieties of commutative unary algebras
Properties not retained by pointed enrichments of finite lattices
Ultraproducts preserve finite subdirect reducibility
FINITE BASIS PROBLEM FOR INVOLUTION MONOIDS OF ORDER FIVE
Finite equational bases for finite algebras in a congruence-distributive equational class
Variety-independence in lattice theory
Weak (projective) radius and finite equational bases for classes of lattices
Commutative idempotent residuated lattices
On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
A NONFINITELY BASED FINITE SEMIRING
Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
On two alternative axiomatizations of lattices by McKenzie and Sholander
Rechtskomplementäre Halbgruppen, Axiome, Polynome, Kongruenzen
Lyndon's groupoid is not inherently nonfinitely based
Hyperidentities and hypervarieties
Finite pseudo-Boolean and topo-Boolean algebras not having an independent basis of quasi-identities
Primitive subsets of lattices
An approach to lattice varieties of finite height
A finite basis theorem for difference-term varieties with a finite residual bound
A field guide to equational logic
Remarks and problems on a lattice of equational chapters
Finite basis problem for semigroups of order six.
The finite basis problem for infinite involution semigroups of triangular \(2 \times 2\) matrices
COMPUTATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM FOR VARIETIES
Equational axioms for classes of lattices
Jónsson's contributions to lattice theory
Finite axiomatizability of congruence rich varieties
Minimum bases for equational theories of groups and rings: The work of Alfred Tarski and Thomas Green
Quasi-identities of certain finite algebras
Equational Bases and Nonmodular Lattice Varieties
Bases of identities of varieties of inverse semigroups
A four-element algebra whose identities are not finitely based
Inherently nonfinitely based lattices
Various varieties
Equational Theories of Algebras with Distributive Congruences
Some properties of orthologics
An equational logic sampler
A Nonfinitely Based Semigroup of Triangular Matrices
Congruence varieties
Single identities for lattice theory and for weakly associative lattices
Bjarni Jónsson's contributions in algebra
THE FINITE BASIS PROBLEM FOR INVOLUTION SEMIGROUPS OF TRIANGULAR MATRICES
The max-plus algebra of the natural numbers has no finite equational basis
Title not available (Why is that?)
The finite basis problem for Kiselman monoids.
Finite lattices having no independent basis of quasiidentities
Semiconic idempotent residuated structures
Structural diversity in the lattice of equational theories
Equational theories of unstable involution semigroups
COMPUTATIONALLY AND ALGEBRAICALLY COMPLEX FINITE ALGEBRA MEMBERSHIP PROBLEMS
Equational theory of algebras with a majority polynomial
Varieties generated by modular lattices of width four
The variety generated by an ai-semiring of order three
Finite basis problem for Lee monoids with involution
Basic questions for general algebras
Equational theory of idempotent algebras
Cross varieties of aperiodic monoids with central idempotents.
Embedding the dual of \(\Pi^\infty\) in the lattice of equational classes of semigroups.
The finite basis question for semigroups of order less than six
Rechtskomplementäre Halbgruppen. Axiome, Polynome, Kongruenzen. (Right- complementary semigroups. Axioms, polynomials, congruences)
Finite basis problem for involution monoids of unitriangular Boolean matrices
Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
A non-finitely based involution semigroup of order five
On the varieties generated by ai-semirings of order two.
Identities and quasiidentities in the lattice of overcommutative semigroup varieties.
The finite basis problem for endomorphism semirings of finite semilattices with zero.
Equational theories of semigroups with involution.
Interval lattices and the amalgamation property

This page was built for publication: Equational Bases for Lattice Theories.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4063199)