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

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).
Fichier principal
Vignette du fichier
ReitermanOrdonneLaTeX.pdf (172.72 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

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⟩
176 Consultations
209 Téléchargements

Partager

More