Literature cited
A. I. Mal'tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970).
M. A. Taitslin, Theory of Models [in Russian], Novosibirsk (1970).
C. C. Chang, "Omitting types of prenex formulas," Journal of Symbolic Logic,32, No. 1, 61–74 (1967).
P. Lindström, "On model completeness," Theoria,30, 183–196 (1964).
R. L. Vaught, "Denumerable models of complete theories. Infinistic methods," in: Proceedings of the Symposium on the Foundations of Mathematics, Warsaw (1961), pp. 303–321.
J. T. Baldwin and A. H. Lachlan, "On strongly minimal sets," Journal of Symbolic Logic,36, No. 1, 79–96 (1971).
L. Lovasz, "Operations with structures," Acta Math. Acad. Scient. Hung.,18, Nos. 3–4, 321–328 (1967).
E. A. Palyutin, "Models with countably categorial universal theories," Algebra i Logika,10, No. 1, 23–32 (1971).
Rights and permissions
About this article
Cite this article
Abakumov, A.I., Palyutin, E.A., Taitslin, M.A. et al. Categorial quasivarieties. Algebr Logic 11, 1–20 (1972). https://doi.org/10.1007/BF02218582
Issue Date:
DOI: https://doi.org/10.1007/BF02218582