A Reiterman theorem for pseudovarieties of finite first-order structures

J-E. Pin , P. Weil

IBP-Litp 1994/38: Rapport de Recherche Litp / Litp research reports
16 pages - Décembre/December 1994 - Document en anglais.

PostScript : Ko /Kb

Titre / Title: A Reiterman theorem for pseudovarieties of finite first-order structures

Résumé : Nous étendons le théorème de Reiterman aux structures du premier ordre : une classe de structures du premier ordre finies est une pseudovariété si et seulement si elle est définie par un ensemble d'identités dans une structure profonie relativement libre (pseudoidentités).

Abstract : We extend Reiterman's theorem to first-order structures: a classs 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 (pseusoidentities).

Publications internes Litp 1994 / Litp research reports 1994