Skip to main content
SpringerLink
Log in

Axiomatizable classes with strong homomorphisms

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In the paper A. I. Malcev's problem on the characterization of axioms for classes with strong homomorphisms is being solved.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Reference

  1. 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.

  2. H. Andreka and I. Nemeti, Formulas and ultraproduct in categories, Beiträge zur Algebra and Geometrie (8 (1979), pp. 133–151.

    Google Scholar 

  3. Yu. L. Ershov, Solvability problems and constructive models, “Nauka”, Moscow, 1980 (in Russian).

    Google Scholar 

  4. H. Keisler and C. C. Chang, Model theory, Moscow, “Mir”, 1977 (in Russian).

    Google Scholar 

  5. H. I. Keisler, Reduced products and Horn classes, Transactions of American Mathematical Society 117, pp. 307–328.

  6. R. Lyndon, Existential Horn sentences, Proceedings of American Mathematical Society, pp. 994–998,

  7. R. Lyndon, Properties preserved under homomorphisms, Pacific Journal of Mathematics 9, No. 1, pp. 143–154.

  8. R. Lyndon, Properties preserved in subdirect products, Pacific Journal of Mathematics 9, No. 1, pp. 155–164.

  9. 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.

    Google Scholar 

  10. J. Łoś and R. Suszko, On the extending of models. II, Fundamenta Mathematicae 42, (1955), No. 2, p. 470.

    Google Scholar 

  11. J. Łoś, Quelques remarques, theoremes et problemes sur les classes definissables d'algebres, In: Mathematical Interpretations of Formal System, Amsterdam, 1955.

  12. J. Łoś, On extending of models. I, Fundamenta Mathematicae 42, (1955), pp. 38–54.

    Google Scholar 

  13. 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).

  14. A. I. Malcev, Subdirect products of models, Doklady AN SSSR, 109, (1956), No. 2, pp. 264–266 (in Russian).

    Google Scholar 

  15. A. I. Malcev, On classes of models with the generation operation, Doklady AN SSSR 116, (1957), No. 5, p. 738–741 (in Russian).

    Google Scholar 

  16. A. Marczewski, Sur les congruences et les proprictes positive d'algebres abstraites, Colloquium Mathematicum, 2, (1951), pp. 220–228.

    Google Scholar 

  17. A. Robinson, Obstructions to arithmetical extension and the theorem of Łoś and Suszko, Indagationes Mathematicae, 21, (1939), No. 5, pp. 489–495.

    Google Scholar 

  18. A. Tarski, Contributions to the theory of models, III, Proc. Koninkl. nederl. acad. wet. A58, (1955), pp. 58–64.

    Google Scholar 

  19. S. Shelah, Uniqueness and characterization of prime models over sets for totally transcendental first-order theories, Journal of Symbolic Logic 37, pp. 107–113.

  20. F. Golvin, Horn sentences, Annals of Mathematical Logic (1970), No. 4, pp. 389–422.

  21. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics of the Siberian Division of the Academy of Sciences of the USSR, 630090, Novosibirsk, USSR

    S. S. Goncharov

Authors
  1. S. S. Goncharov
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00370374

Keywords

Search

Navigation