Equational Bases for Lattice Theories.

Cited in

(74)

Interval lattices and the amalgamation property
Equational theories of semigroups with involution.
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
Strongly nonfinitely based monoids
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
Representations and identities of hypoplactic monoids with involution
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
Finite basis problem for Catalan monoids with involution
On the finite axiomatizability of varieties of commutative unary algebras
Primitive subsets of lattices
An approach to lattice varieties of finite height
Properties not retained by pointed enrichments of finite lattices
A field guide to equational logic
A finite basis theorem for difference-term varieties with a finite residual bound
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
Ultraproducts preserve finite subdirect reducibility
COMPUTATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM FOR VARIETIES
Finite basis problem for involution semigroups of order four
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 axioms for classes of lattices
Bases of identities of varieties of inverse semigroups
Equational Bases and Nonmodular Lattice Varieties
A four-element algebra whose identities are not finitely based
Inherently nonfinitely based lattices
Logical complexity of reducts of elementary algebraic classes
Various varieties
Some properties of orthologics
Equational Theories of Algebras with Distributive Congruences
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
The finite basis problem for Kiselman monoids.
scientific article; zbMATH DE number 4108844 (Why is no real title available?)
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
Equational theory of algebras with a majority polynomial
COMPUTATIONALLY AND ALGEBRAICALLY COMPLEX FINITE ALGEBRA MEMBERSHIP PROBLEMS
Varieties generated by modular lattices of width four
Basic questions for general algebras
The variety generated by an ai-semiring of order three
Equational theories of the Boolean matrix monoid \(\mathscr{BR}_n\) with involutions
Finite basis problem for Lee monoids with involution
Cross varieties of aperiodic monoids with central idempotents.
Equational theory of idempotent algebras
The finite basis question for semigroups of order less than six
Embedding the dual of ^ in the lattice of equational classes of semigroups.
Rechtskomplementäre Halbgruppen. Axiome, Polynome, Kongruenzen. (Right- complementary semigroups. Axioms, polynomials, congruences)
Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
Finite basis problem for involution monoids of unitriangular Boolean matrices
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.
FINITE BASIS PROBLEM FOR INVOLUTION MONOIDS OF ORDER FIVE
The finite basis problem for endomorphism semirings of finite semilattices with zero.

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)