Equational Bases for Lattice Theories.

Cited in

(70)

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

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)