A Reiterman theorem for pseudovarieties of finite first-order structures - Archive ouverte HAL
Journal Articles Algebra Universalis Year : 1996

A Reiterman theorem for pseudovarieties of finite first-order structures

Jean-Eric Pin
Laboratoire Bordelais de Recherche en Informatique
Pascal Weil
Laboratoire Bordelais de Recherche en Informatique

Abstract

We extend Reiterman's theorem to first order structures: a class of finite first-order structures is a pseudovariety if and only if it is defined by a set of identities in a certain relatively free profinite structure (pseudoidentities).

Domains

Logic in Computer Science [cs.LO] Discrete Mathematics [cs.DM] Logic [math.LO] Group Theory [math.GR]
Fichier principal
Vignette du fichier
ReitermanOrdonneLaTeX.pdf (172.72 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Jean-Eric Pin  : Connect in order to contact the contributor

https://hal.science/hal-00143951

Submitted on : Saturday, April 28, 2007-6:54:14 PM

Last modification on : Friday, April 19, 2024-2:49:40 PM

Long-term archiving on : Wednesday, April 7, 2010-3:29:30 AM

Download

Dates and versions

hal-00143951 , version 1 (28-04-2007)

Identifiers

  • HAL Id : hal-00143951 , version 1

Cite

Jean-Eric Pin, Pascal Weil. A Reiterman theorem for pseudovarieties of finite first-order structures. Algebra Universalis, 1996, 35 (4), pp.577-595. ⟨hal-00143951⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LIAFA TDS-MACS
176 View
209 Download

Share

More