×

The problem of finite axiomatizability for strongly minimal graph theories. (English. Russian original) Zbl 0727.05028

Algebra Logic 28, No. 3, 183-194 (1989); translation from Algebra Logika 28, No. 3, 280-297 (1989).
Summary: This article is dedicated to the problem of the existence of a finitely- axiomatizable strongly minimal theory \({\mathcal T}\) of graphs. It is shown that this problem is equivalent to the problem of the existence of such a theory \({\mathcal T}\) with the additional condition of bounded valency and homogeneity of the components of models of \({\mathcal T}\). A description of groups that act transitively on graphs of bounded valency with finitely- axiomatizable theories is the main result of the article. It turns out that these groups modulo the stabilizer of a vertex are infinite finitely-representable groups with a finite set of nontrivial classes of conjugate elements such that each nontrivial cyclic subgroup has nontrivial intersection with one of these classes.

MSC:

05C25 Graphs and abstract algebra (groups, rings, fields, etc.)
03C60 Model-theoretic algebra
08C10 Axiomatic model classes

References:

[1] H. Herre, ”Modelltheoretische Eigenschaften endlichvalenter Graphen,” Z. Math. Logik Grundlag. Math.,26, No. 1, 51–58 (1980). · Zbl 0445.03015 · doi:10.1002/malq.19800260106
[2] K. A. Meirembekov, ”Superstable theories of minimal Shelah rank,” in: Investigations in Constructive Models [in Russian], Alma-Ata (1982), pp. 27–45.
[3] Yu. E. Shishmarev, ”Categorical theories of one function,” Mat. Zamet.,11, No. 1, 89–98 (1972).
[4] B. I. Zil’ber, ”Solution of the problem of finite axiomatizability for theories that are categorical in all infinite powers,” in: Model Theory and Its Applications [in Russian], Alma-Ata (1980), pp. 47–60.
[5] V. I. Trofimov, ”Bounded automorphisms of graphs and a characterization of grids,” Izv. Akad. Nauk SSSR, Ser. Mat.,43, No. 2, 407–420 (1983). · Zbl 0519.05037
[6] V. A. Gorbunov and V. I. Tumanov, ”Construction of lattices of quasivarieties,” in: Mathematical Logic and the Theory of Algorithms (Proceedings of the Institute of Mathematics of the Siberian Branch of the Academy of Sciences of the USSR, Vol. 2) [in Russian], Nauka, Novosibirsk (1982), pp. 12–14.
[7] V. I. Trofimov, ”Graphs with polynomial growth,” Mat. Sborn.,123, No. 3, 407–421 (1984). · Zbl 0548.05033
[8] W. Massey and J. Stallings, Algebraic Topology [Russian translation], Mir, Moscow (1977). · Zbl 0361.55003
[9] A. I. Abakumov, E. A. Palyutin, Yu. E. Shishmarev, and M. A. Taitslin, ”Categorical quasivarieties,” Algebra Logika,11, No. 1, 3–38 (1972).
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.