Every ordered set can be considered as an algebra in a natural way. We investigate the variety generated by order algebras. We prove, among other things, that this variety is not finitely based and, although locally finite, it is not contained in any finitely generated variety; we describe the bottom of the lattice of its subvarieties
summary:By a commutative term we mean an element of the free commutative groupoid $F$ of infinite ra...
summary:By a commutative term we mean an element of the free commutative groupoid $F$ of infinite ra...
This article describes well quasi orders as a category, focusing on limits and colimits. In particul...
We investigate ways of representing ordered sets as algebras and how the order relation is reflected...
We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularit...
We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularit...
We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularit...
We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularit...
We prove that persistently finite algebras are not created by completions of algebras, in any ordere...
Order and symmetry are main structural principles in mathematics. We give five examples where on the...
Lyndon’s groupoid of order seven is the first published example of a non-finitely based finite algeb...
The variety I of implication zroupoids (using a binary operation → and a constant 0) was defined and...
A theorem of Eilenberg establishes that there exists a bijectionbetween the set of all varieties of ...
An order-theoretic forest is a countable partial order such that the set of elements larger than any...
Lyndon’s groupoid of order seven is the first published example of a non-finitely based finite algeb...
summary:By a commutative term we mean an element of the free commutative groupoid $F$ of infinite ra...
summary:By a commutative term we mean an element of the free commutative groupoid $F$ of infinite ra...
This article describes well quasi orders as a category, focusing on limits and colimits. In particul...
We investigate ways of representing ordered sets as algebras and how the order relation is reflected...
We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularit...
We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularit...
We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularit...
We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularit...
We prove that persistently finite algebras are not created by completions of algebras, in any ordere...
Order and symmetry are main structural principles in mathematics. We give five examples where on the...
Lyndon’s groupoid of order seven is the first published example of a non-finitely based finite algeb...
The variety I of implication zroupoids (using a binary operation → and a constant 0) was defined and...
A theorem of Eilenberg establishes that there exists a bijectionbetween the set of all varieties of ...
An order-theoretic forest is a countable partial order such that the set of elements larger than any...
Lyndon’s groupoid of order seven is the first published example of a non-finitely based finite algeb...
summary:By a commutative term we mean an element of the free commutative groupoid $F$ of infinite ra...
summary:By a commutative term we mean an element of the free commutative groupoid $F$ of infinite ra...
This article describes well quasi orders as a category, focusing on limits and colimits. In particul...