A Reiterman theorem for pseudovarieties of finite first-order structures
Pin, Jean-Eric ; Weil, Pascal
HAL, hal-00143951 / Harvested from HAL
Text on HAL
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).
Publié le : 1996-07-05
Classification:  Reiterman's theorem,  semigroup varieties,  first order logic,  MSC 03C05 (03C13 08A70 08C99 22A30),  [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO],  [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM],  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO],  [MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR] 
@article{hal-00143951,
     author = {Pin, Jean-Eric and Weil, Pascal},
     title = {A Reiterman theorem for pseudovarieties of finite first-order structures},
     journal = {HAL},
     volume = {1996},
     number = {0},
     year = {1996},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00143951}
}

Pin, Jean-Eric; Weil, Pascal. A Reiterman theorem for pseudovarieties of finite first-order structures. HAL, Tome 1996 (1996) no. 0, . http://gdmltest.u-ga.fr/item/hal-00143951/