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.0027 seconds