Axiomatizable classes with strong homomorphisms (Q1100195)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Axiomatizable classes with strong homomorphisms |
scientific article |
Statements
Axiomatizable classes with strong homomorphisms (English)
0 references
1987
0 references
The author offers as solution of Problem 1 in {\S} 3.1 of \textit{A. I. Mal'tsev}'s paper in Trud. Chetvert. Vsesoyuzn. Mat. S''ezda, Leningrad, 3-12 Iyulya 1961, 1, 169-198 (1963; Zbl 0191.295), the following theorem: All homomorphisms between members of an axiomatic class \({\mathcal K}\) are strong homomorphisms if and only if for each predicate there is an ``S-axiom'' true in all members of \({\mathcal K}\). For the intended definition of ``S-axiom'' the reader should look at the sufficiency part of the proof on page 118, rather than to the author's definition on page 115. [The reviewer would have understood Mal'tsev's problem to refer to all homomorphisms from members of \({\mathcal K}\) and not just to those whose target is also in \({\mathcal K}.]\)
0 references
axiomatic class
0 references
strong homomorphisms
0 references