Generalized varieties (Q2366144): Difference between revisions
From MaRDI portal
Revision as of 17:08, 17 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Generalized varieties |
scientific article |
Statements
Generalized varieties (English)
0 references
29 June 1993
0 references
Generalizing the concept of a variety of algebras to the concept of a variety of relational systems one has to deal with the problem how to define homomorphisms. In this paper, the author uses the rather strong condition \(r^ A (a_ 1, \dots, a_ n)\) iff \(r^ B (\varphi (a_ 1), \dots, \varphi (a_ n))\) for a \(*\)-homomorphism \(\varphi : A \to B\) of a structure \(A\) into a structure \(B\). Then appropriate definitions for \(*\)- implications and \(*\)-varieties are presented. It is demonstrated that many structure theorems have an analogue counterpart in this approach.
0 references
implications
0 references
variety of relational systems
0 references
homomorphisms
0 references
structure theorems
0 references
0 references