A Reiterman theorem for pseudovarieties of finite first-order structures - Archive ouverte HAL
Article Dans Une Revue Algebra Universalis Année : 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

Résumé

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).

Domaines

Logique en informatique [cs.LO] Mathématique discrète [cs.DM] Logique [math.LO] Théorie des groupes [math.GR]
Fichier principal
Vignette du fichier
ReitermanOrdonneLaTeX.pdf (172.72 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Jean-Eric Pin  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00143951

Soumis le : samedi 28 avril 2007-18:54:14

Dernière modification le : vendredi 19 avril 2024-14:49:40

Archivage à long terme le : mercredi 7 avril 2010-03:29:30

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : hal-00143951 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LIAFA TDS-MACS
176 Consultations
211 Téléchargements

Partager

More