A Reiterman theorem for pseudovarieties of finite first-order structures

Jean-Éric Pin et Pascal Weil



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 profinie relativement libre (pseudoidentités).

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

PostScript file compressed with gzip, PDF file


Valid HTML 4.01!