Atlas home ||
Conferences |
Abstracts |
about Atlas
AAA60: Workshop on General Algebra (60. Arbeitstagung Allgemeine Algebra)
June 22-25, 2000
Dresden University of Technology
Dresden, Germany |
|
Organizers
Reinhard Pöschel, Manfred Droste, Bernhard Ganter
View Abstracts
Conference Homepage |
Varieties of relational structures
by
Jens-Uwe Grabowski
Dresden University of Technology
We discuss first order expressions of the form
|
for allx: (p1(x) <--> p2(x)), |
|
where p1 and p2 are primitive positive formulas.
The classes of finite relational structures axiomatized
by (possibly infinitely many) such expressions are
exactly the varieties of finite relational structures,
i.e. classes closed under formation of retracts and products.
We mention the connection with the construction of
categorically equivalent algebras.
Date received: May 3, 2000
Copyright © 2000 by the author(s).
The author(s) of this document and the organizers of the conference
have granted their consent to include this abstract in
Atlas Conferences Inc.
Document # caee-22.