Abstract
In the paper A. I. Malcev's problem on the characterization of axioms for classes with strong homomorphisms is being solved.
Similar content being viewed by others
Reference
H. Andreka and I. Nemeti, Generalization of the concept of variety and quasi variety to partial algebras through category theory, Dissertationes Mathematicae, CCIV, p. 198.
H. Andreka and I. Nemeti, Formulas and ultraproduct in categories, Beiträge zur Algebra and Geometrie (8 (1979), pp. 133–151.
Yu. L. Ershov, Solvability problems and constructive models, “Nauka”, Moscow, 1980 (in Russian).
H. Keisler and C. C. Chang, Model theory, Moscow, “Mir”, 1977 (in Russian).
H. I. Keisler, Reduced products and Horn classes, Transactions of American Mathematical Society 117, pp. 307–328.
R. Lyndon, Existential Horn sentences, Proceedings of American Mathematical Society, pp. 994–998,
R. Lyndon, Properties preserved under homomorphisms, Pacific Journal of Mathematics 9, No. 1, pp. 143–154.
R. Lyndon, Properties preserved in subdirect products, Pacific Journal of Mathematics 9, No. 1, pp. 155–164.
J. Łoś and R. Suszko, On the infinite sums of models, Bulletin de l'Académie Polonaise des Sciénces 3, (1955), No. 4, p. 201–202.
J. Łoś and R. Suszko, On the extending of models. II, Fundamenta Mathematicae 42, (1955), No. 2, p. 470.
J. Łoś, Quelques remarques, theoremes et problemes sur les classes definissables d'algebres, In: Mathematical Interpretations of Formal System, Amsterdam, 1955.
J. Łoś, On extending of models. I, Fundamenta Mathematicae 42, (1955), pp. 38–54.
A. I. Malcev, Some problems of the theory of classes of models, IV, All-Union Mathematical Congress, Leningrad, 1963, Trudy, t. 1, pp. 169–198 (in Russian).
A. I. Malcev, Subdirect products of models, Doklady AN SSSR, 109, (1956), No. 2, pp. 264–266 (in Russian).
A. I. Malcev, On classes of models with the generation operation, Doklady AN SSSR 116, (1957), No. 5, p. 738–741 (in Russian).
A. Marczewski, Sur les congruences et les proprictes positive d'algebres abstraites, Colloquium Mathematicum, 2, (1951), pp. 220–228.
A. Robinson, Obstructions to arithmetical extension and the theorem of Łoś and Suszko, Indagationes Mathematicae, 21, (1939), No. 5, pp. 489–495.
A. Tarski, Contributions to the theory of models, III, Proc. Koninkl. nederl. acad. wet. A58, (1955), pp. 58–64.
S. Shelah, Uniqueness and characterization of prime models over sets for totally transcendental first-order theories, Journal of Symbolic Logic 37, pp. 107–113.
F. Golvin, Horn sentences, Annals of Mathematical Logic (1970), No. 4, pp. 389–422.
I. Gain, On classes of algebraic systems closed with respect to quotients, Universal Algebra and Applications, Banach Center Publications, Vol. 9, PWN-Polish Scientific Publishers, Warsaw, 1982, pp. 127–131.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Goncharov, S.S. Axiomatizable classes with strong homomorphisms. Stud Logica 46, 113–120 (1987). https://doi.org/10.1007/BF00370374
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370374