EDP Sciences Journals List
Home Document
Subscriber Authentication Point
Issue RAIRO-Theor. Inf. Appl.
Volume 39, Number 1, January-March 2005
Imre Simon, the tropical computer scientist
Page(s) 1 - 29
DOI 10.1051/ita:2005001

Theoret. Informatics Appl. 39, 1-29 (2005)
DOI: 10.1051/ita:2005001

The globals of pseudovarieties of ordered semigroups containing B2 and an application to a problem proposed by Pin

Jorge Almeida1 and Ana P. Escada2

1  Centro de Matemática, Faculdade de Ciências, Universidade do Porto, Rua do Campo Alegre 687, 4169-007 Porto, Portugal; jalmeida@fc.up.pt
2  Departamento de Matemática, Faculdade de Ciências e Tecnologia, Universidade de Coimbra, Apartado 3008, 3001-454 Coimbra, Portugal.


Abstract
Given a basis of pseudoidentities for a pseudovariety of ordered semigroups containing the 5-element aperiodic Brandt semigroup  B2, under the natural order, it is shown that the same basis, over the most general graph over which it can be read, defines the global. This is used to show that the global of the pseudovariety of level 3/2 of Straubing-Thérien's concatenation hierarchy has infinite vertex rank.


Mathematics Subject Classification. 20M05, 20M07, 20M35

Key words: Semigroup -- pseudovariety -- semigroupoid -- category -- pseudoidentity -- dot-depth -- concatenation hierarchies.


© EDP Sciences 2005


What is OpenURL?

The OpenURL standard is a protocol for transmission of metadata describing the resource that you wish to access. An OpenURL link contains article metadata and directs it to the OpenURL server of your choice. The OpenURL server can provide access to the resource and also offer complementary services (specific search engine, export of references...). The OpenURL link can be generated by different means.
  • If your librarian has set up your subscription with an OpenURL resolver, OpenURL links appear automatically on the abstract pages.
  • You can define your own OpenURL resolver with your EDPS Account. In this case your choice will be given priority over that of your library.
  • You can use an add-on for your browser (Firefox or I.E.) to display OpenURL links on a page (see http://www.openly.com/openurlref/). You should disable this module if you wish to use the OpenURL server that you or your library have defined.