151. ASSERTIONALLY EQUIVALENT QUASIVARIETIES.
- Author
-
BLOK, W. J. and RAFTERY, J. G.
- Subjects
- *
FC-groups , *EQUATIONS , *QUASIVARIETIES (Universal algebra) , *MATHEMATICAL logic , *VARIETIES (Universal algebra) , *UNIVERSAL algebra - Abstract
A translation in an algebraic signature is a finite conjunction of equations in one variable. On a quasivariety K, a translation τ naturally induces a deductive system, called the τ-assertional logic of K. Two quasivarieties are τ-assertionally equivalent if they have the same τ-assertional logic. This paper is a study of assertional equivalence. It characterizes the quasivarieties equivalent to ones with various desirable properties, such as τ-regularity (a general form of point regularity). Special attention is paid to structural properties of quasivarieties that are assertionally equivalent to their varietal closures under an indicated translation. [ABSTRACT FROM AUTHOR]
- Published
- 2008
- Full Text
- View/download PDF