Results 41 to 50 of about 167 (89)

Axioms for function semigroups with agreement quasi-order

open access: yes, 2011
The agreement quasi-order on pairs of (partial) transformations on a set X is defined as follows: (f, g) ≼ (h, k) if whenever f, g are defined and agree, so do h, k.
Stokes, Tim E., Tim Stokes
core   +1 more source

The Lattice of Equational Classes of Semigroups with Zero

open access: yes, 1971
In contrast to the very complicated structure of the lattice of equational classes of commutative semigroups (see [5]), the lattice of equational classes of commutative monoids (semigroups with unit) is isomorphic with N × N* with a unit adjoined, where ...
Evelyn Nelson
core   +1 more source

A classification of rational languages by semilattice-ordered monoids [PDF]

open access: yes, 2004
summary:We prove here an Eilenberg type theorem: the so-called conjunctive varieties of rational languages correspond to the pseudovarieties of finite semilattice-ordered monoids. Taking complements of members of a conjunctive variety of languages we get
Polák, Libor
core   +1 more source

The wreath product principle for ordered semigroups [PDF]

open access: yes, 2002
Straubing’s wreath product principle provides a description of the languages recognized by the wreath product of two monoids. A similar principle for ordered semigroups is given in this paper.
Jean-eric Pin   +3 more
core  

COMPLETIONS OF MONOIDS WITH APPLICATIONS TO THE CUNTZ SEMIGROUP

open access: yes, 2011
We provide an abstract categorical framework that relates the Cuntz semigroups of the C*-algebras A and [Formula: see text]. This is done through a certain completion of ordered monoids by adding suprema of countable ascending sequences.
RAMON ANTOINE   +2 more
core   +1 more source

Positive varieties of tree languages [PDF]

open access: yes, 2005
Pin's variety theorem for positive varieties of string languages and varieties of finite ordered semigroups is proved for trees, i.e., a bijective correspondence between positive varieties of tree languages and varieties of finite ordered algebras is ...
Petković, Tatjana, Salehi, Saeed
core   +1 more source

Home - About - Disclaimer - Privacy