Open AccessA Reiterman theorem for pseudovarieties of finite first-order structures
Author(s) -
Jean-Éric Pin,
Pascal Weil
Publication year - 1996
Publication title -
algebra universalis
Language(s) - French
Resource type - Journals
SCImago Journal Rank - 0.516
H-Index - 31
eISSN - 1420-8911
pISSN - 0002-5240
DOI - 10.1007/bf01243597
Subject(s) - class (philosophy) , order (exchange) , mathematics , set (abstract data type) , pure mathematics , algebra over a field , discrete mathematics , computer science , artificial intelligence , finance , economics , programming language
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).
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom