Equational Bases for Lattice Theories.

Cited in

(75)

Semiconic idempotent residuated structures
The finite basis problem for endomorphism semirings of finite semilattices with zero.
Finite lattices having no independent basis of quasiidentities
Finite pseudo-Boolean and topo-Boolean algebras not having an independent basis of quasi-identities
Bases of identities of varieties of inverse semigroups
Congruence varieties
A four-element algebra whose identities are not finitely based
Interval lattices and the amalgamation property
Structural diversity in the lattice of equational theories
Hyperidentities and hypervarieties
A field guide to equational logic
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
Single identities for lattice theory and for weakly associative lattices
Bjarni Jónsson's contributions in algebra
Jónsson's contributions to lattice theory
Inherently nonfinitely based lattices
Equational theories of unstable involution semigroups
Remarks and problems on a lattice of equational chapters
Variety-independence in lattice theory
Weak (projective) radius and finite equational bases for classes of lattices
The max-plus algebra of the natural numbers has no finite equational basis
Finite axiomatizability of congruence rich varieties
Identities and quasiidentities in the lattice of overcommutative semigroup varieties.
Equational theories of semigroups with involution.
Finite basis problem for involution monoids of unitriangular Boolean matrices
A non-finitely based involution semigroup of order five
Properties not retained by pointed enrichments of finite lattices
On two alternative axiomatizations of lattices by McKenzie and Sholander
The finite basis problem for infinite involution semigroups of triangular \(2 \times 2\) matrices
Ultraproducts preserve finite subdirect reducibility
On the finite axiomatizability of varieties of commutative unary algebras
Rechtskomplementäre Halbgruppen, Axiome, Polynome, Kongruenzen
Rechtskomplementäre Halbgruppen. Axiome, Polynome, Kongruenzen. (Right- complementary semigroups. Axioms, polynomials, congruences)
Embedding the dual of ^ in the lattice of equational classes of semigroups.
Equational theory of idempotent algebras
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
Finite basis problem for semigroups of order six.
COMPUTATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM FOR VARIETIES
Various varieties
A Nonfinitely Based Semigroup of Triangular Matrices
A NONFINITELY BASED FINITE SEMIRING
COMPUTATIONALLY AND ALGEBRAICALLY COMPLEX FINITE ALGEBRA MEMBERSHIP PROBLEMS
Commutative idempotent residuated lattices
scientific article; zbMATH DE number 4108844 (Why is no real title available?)
Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
Equational Theories of Algebras with Distributive Congruences
The variety generated by an ai-semiring of order three
An equational logic sampler
Finite basis problem for Catalan monoids with involution
THE FINITE BASIS PROBLEM FOR INVOLUTION SEMIGROUPS OF TRIANGULAR MATRICES
Equational axioms for classes of lattices
Varieties generated by modular lattices of width four
Equational Bases and Nonmodular Lattice Varieties
Finite basis problem for Lee monoids with involution
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 INVOLUTION MONOIDS OF ORDER FIVE
Representations and identities of hypoplactic monoids with involution
Cross varieties of aperiodic monoids with central idempotents.
Finite basis problem for involution semigroups of order four
Equational theories of the Boolean matrix monoid \(\mathscr{BR}_n\) with involutions
Strongly nonfinitely based monoids
Logical complexity of reducts of elementary algebraic classes
On the variety generated by all semirings of order two
The finite basis question for semigroups of order less than six
Basic questions for general algebras
Some properties of orthologics
The finite basis problem for Kiselman monoids.
On the varieties generated by ai-semirings of order two.
Lyndon's groupoid is not inherently nonfinitely based

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)