On bases of identities for the ω-variety generated by locally testable semigroups

Detalhes bibliográficos
Autor(a) principal: Costa, José Carlos
Data de Publicação: 2008
Outros Autores: Nogueira, Conceição
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/1822/36669
Resumo: Preprint. Documento submetido para revisão pelos pares. Publicado em Theoretical Computer Science. ISSN 0304-3975. 401 (2008) 206-216.
id RCAP_d9717373cedc8f7812d448de3702726d
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/36669
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling On bases of identities for the ω-variety generated by locally testable semigroupsSemigroupPseudovarietyLocally testableOmega-termWord problemIdentity basisCiências Naturais::MatemáticasCiências Naturais::Ciências da Computação e da InformaçãoScience & TechnologyPreprint. Documento submetido para revisão pelos pares. Publicado em Theoretical Computer Science. ISSN 0304-3975. 401 (2008) 206-216.Let LSl be the pseudovariety of local semilattices. It is well known that this pseudovariety coincides with the class of locally testable semigroups. In this paper, we exhibit an infinite basis of omega-identities for the omega-variety generated by LSl and we show that this omega-variety is not finitely based.FCT, through the Centro de Matemática da Universidade do MinhoEuropean Community Fund FEDERElsevierUniversidade do MinhoCosta, José CarlosNogueira, Conceição20082008-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/1822/36669eng0304-397510.1016/j.tcs.2008.04.043The original publication is available at www.elsevier.com/locate/tcsinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T12:45:24Zoai:repositorium.sdum.uminho.pt:1822/36669Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:43:15.075886Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv On bases of identities for the ω-variety generated by locally testable semigroups
title On bases of identities for the ω-variety generated by locally testable semigroups
spellingShingle On bases of identities for the ω-variety generated by locally testable semigroups
Costa, José Carlos
Semigroup
Pseudovariety
Locally testable
Omega-term
Word problem
Identity basis
Ciências Naturais::Matemáticas
Ciências Naturais::Ciências da Computação e da Informação
Science & Technology
title_short On bases of identities for the ω-variety generated by locally testable semigroups
title_full On bases of identities for the ω-variety generated by locally testable semigroups
title_fullStr On bases of identities for the ω-variety generated by locally testable semigroups
title_full_unstemmed On bases of identities for the ω-variety generated by locally testable semigroups
title_sort On bases of identities for the ω-variety generated by locally testable semigroups
author Costa, José Carlos
author_facet Costa, José Carlos
Nogueira, Conceição
author_role author
author2 Nogueira, Conceição
author2_role author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Costa, José Carlos
Nogueira, Conceição
dc.subject.por.fl_str_mv Semigroup
Pseudovariety
Locally testable
Omega-term
Word problem
Identity basis
Ciências Naturais::Matemáticas
Ciências Naturais::Ciências da Computação e da Informação
Science & Technology
topic Semigroup
Pseudovariety
Locally testable
Omega-term
Word problem
Identity basis
Ciências Naturais::Matemáticas
Ciências Naturais::Ciências da Computação e da Informação
Science & Technology
description Preprint. Documento submetido para revisão pelos pares. Publicado em Theoretical Computer Science. ISSN 0304-3975. 401 (2008) 206-216.
publishDate 2008
dc.date.none.fl_str_mv 2008
2008-01-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/36669
url http://hdl.handle.net/1822/36669
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 0304-3975
10.1016/j.tcs.2008.04.043
The original publication is available at www.elsevier.com/locate/tcs
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Elsevier
publisher.none.fl_str_mv Elsevier
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799132988761440256

Registros relacionados