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.
Identifer | oai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:24157 |
Date | 07 June 2002 |
Creators | Grabowski, Jens-Uwe |
Contributors | Pöschel, Reinhard, Rosenberg, Ivo G., Zadori, Laszlo |
Publisher | Technische Universität Dresden |
Source Sets | Hochschulschriftenserver (HSSS) der SLUB Dresden |
Language | English |
Detected Language | English |
Type | doc-type:doctoralThesis, info:eu-repo/semantics/doctoralThesis, doc-type:Text |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0011 seconds