×

Groupoids of rank 2 generating categorical Horn classes. (English. Russian original) Zbl 0586.03022

Algebra Logic 23, 136-146 (1984); translation from Algebra Logika 23, No. 2, 193-207 (1984).
A Horn class is an axiomatizable class of algebraic systems, closed with respect to filtered products. The paper is concerned with a description of groupoids generating categorical Horn classes. The author gives a partial solution of this problem. The rank (h-rank) of a set \(X\subseteq A\) in an algebraic system \({\mathfrak A}\) is the length of a maximal chain of non-empty h-subset of X. This definition was introduced in the paper of E. A. Palyutin [Algebra Logika 19, 582-614 (1980; Zbl 0491.03011)]. It should be noted that the author of the reviewed paper uses the definition of this rank inexactly. The rank of any infinite set is, at least, 2 and so it is necessary to add 1 to values of ranks in all statements of the paper. It turns out that any system of rank 2 generates a categorical Horn class. Using the criterion of E. A. Palyutin for a Horn class to be categorical, a description of groupoids of rank 3 generating categorical Horn classes is found.
Reviewer: A.N.Ryaskin

MSC:

03C35 Categoricity and completeness of theories
03C60 Model-theoretic algebra
08C10 Axiomatic model classes

Citations:

Zbl 0491.03011

References:

[1] Yu. E. Shishmarev, ”Categorical quasivarieties of groups,” Algebra Logika,18, No. 5, 614–629 (1979). · Zbl 0444.03014
[2] A. A. Stepanova, ”Categorical quasivarieties of certain groupoids,” 6th All-Union Conf. on Math. Logic, Tbilisi (1982), p. 175.
[3] E. A. Palyutin, ”Categorical Horn classes, 1,” Algebra Logika,19, No. 5, 582–614 (1980).
[4] E. A. Palyutin, ”Complete Horn theories,” Abstracts of Soviet Scientists for VII Inter. Congress Logic, Method. Philos. Science, Salzburg, Moscow (1983).
[5] E. A. Palyutin, ”The spectrum and structure of models of complete theoreis,” in: Handbook on Mathematical Logic [in Russian], Vol. 1, Nauka, Moscow (1982), pp. 328–387.
[6] J. T. Baldwin and A. H. Lachlan, ”On strongly minimal sets,” J. Symb. Logic,36, No. 1, 79–96 (1971). · Zbl 0217.30402 · doi:10.2307/2271517
[7] I. Lambek, Lectures in Rings and Modules, Chelsea Publ. (1976). · Zbl 0365.16001
[8] V. D. Belousov, Foundations of the Theory of Quasigroups and Loops [in Russian], Nauka, Moscow (1967). · Zbl 0229.20075
[9] S. Givant, ”Universal Horn classes categorical or free in power,” Ann. Math. Log.,15, 1–53 (1979). · Zbl 0401.03009 · doi:10.1016/0003-4843(78)90025-6
[10] A. I. Abakumov, E. A. Palyutin, M. A. Taitslin, and Yu. E. Shishmarev, ”Categorical quasivarieties,” Algebra Logika,11, No. 1, 3–38 (1972).
[11] K. Urbanik, ”A representation theorem for v*-algebras,” Fund. Math.,52, No. 3, 291–317 (1963). · Zbl 0116.01301
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.