Varieties and Clones of Relational Structures

We present an axiomatization of relational varieties, i.e., classes of relational structures closed under formation of products and retracts, by a certain class of first-order sentences. We apply this result to categorically equivalent algebras and primal algebras. We consider the relational varieties generated by structures with minimal clone, rigid structures and two-element structures.

Level thesis:degree_level

thesis.doctoral

Grantor dc:publisher

Technische Universität Dresden

Year

2002

Author dc:creator

• Grabowski, Jens-Uwe

Contributors dc:contributor

• Pöschel, Reinhard
• Rosenberg, Ivo G.
• Zadori, Laszlo

• Klon
• kategoriell equivalente Algebren
• primale Algebren
• relationale Varietät
• categorically equivalent algebras
• clone
• primal algebras
• relational variety