Abstract
Studying the elementary properties of free projective planes of finite rank, we prove that for m > n, an arbitrary ∀∃∀-formula Φ(ȳ) and a tuple ū of elements of the free projective plane \(\mathfrak{F}_{n}\) if Φ(ū) holds on the plane \(\mathfrak{F}_{m}\) then Φ(ū) holds on the plane \(\mathfrak{F}_{n}\) too. This implies the coincidence of the ∀∃-theories of free projective planes of different finite ranks.
Similar content being viewed by others
References
Merzlyakov Yu. I., “Positive formulas on free groups,” Algebra i Logika, vol. 5, no. 4, 25–42 (1966).
Sacerdote G. S., “Elementary properties of free groups,” Trans. Amer. Math. Soc., vol. 178, 127–138 (1973).
Kharlampovich O. and Myasnikov A., “Elementary theory of free non-abelian groups,” J. Algebra, vol. 302, no. 2, 451–552 (2006).
Sela Z., “Diophantine geometry over groups. VI. The elementary theory of a free group,” Geom. Funct. Anal., vol. 16, no. 3, 707–730 (2006).
Hall M. J., “Projective planes,” Trans. Amer. Math. Soc., vol. 54, no. 2, 229–277 (1943).
Shirshov A. I. and Nikitin A. A., “Theory of projective planes,” Algebra and Logic, vol. 20, no. 3, 220–239 (1981).
Nikitin A. A., “Homomorphisms of freely generated projective planes,” Algebra and Logic, vol. 20, no. 4, 277–282 (1981).
Nikitin A. A., “On freely generated projective planes,” Algebra and Logic, vol. 22, no. 1, 45–57 (1983).
Vdovin V. V., “Simple projective planes,” Arch. Math., vol. 47, no. 5, 469–480 (1986).
Vdovin V. V., “Homomorphisms of freely generated projective planes,” Comm. Algebra, vol. 16, no. 11, 2209–2230 (1988).
Vdovin V. V., “Homomorphisms and algorithmic problems in projective planes,” Sib. Math. J., vol. 32, no. 6, 919–923 (1991).
Chang C. C. and Keisler H. J., Model Theory, North-Holland, Amsterdam and London (1973).
Hughes D. R. and Piper F. C., Projective Planes, Springer-Verlag, New York, Heidelberg, and Berlin (1973).
Author information
Authors and Affiliations
Corresponding author
Additional information
Russian Text © The Author(s), 2020, published in Sibirskii Matematicheskii Zhurnal, 2020, Vol. 61, No. 1, pp. 120–136.
The author was supported by the State Maintenance Program for the Leading Scientific Schools of the Russian Federation (Grant NSh-5913.2018.1), the Russian Foundation for Basic Research (Grant 17-01-00247), and the Program of Basic Scientific Research of the Siberian Branch of the Russian Academy of Sciences (Grant I.1.1, Project 0314-2019-0002).
Rights and permissions
About this article
Cite this article
Kogabaev, N.T. On the ∀∃-Theories of Free Projective Planes. Sib Math J 61, 95–108 (2020). https://doi.org/10.1134/S0037446620010085
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0037446620010085