Abstract
We study computable representations of projective planes and prove that the class of all pappian projective planes and the class of all desarguesian projective planes have no computable numberings (up to computable isomorphism).
Similar content being viewed by others
References
Kogabaev N. T., “The class of projective planes is noncomputable,” Algebra and Logic, 47, No. 4, 242–257 (2008).
Shirshov A. I. and Nikitin A. A., “On the theory of projective planes,” Algebra i Logika, 20, No. 3, 330–356 (1981).
Shirshov A. I. and Nikitin A. A., The Algebraic Theory of Projective Planes [in Russian], Novosibirsk Univ., Novosibirsk (1987).
Ershov Yu. L. and Goncharov S. S., Constructive Models, Ser. Siberian School of Algebra and Logic, Kluwer Academic/ Plenum Publishers, New York, etc. (2000).
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
Original Russian Text Copyright © 2013 Kogabaev N.T.
The author was supported by the Russian Foundation for Basic Research (Grant 11-01-00236) and the State Maintenance Program for the Leading Scientific Schools of the Russian Federation (Grant NSh-276.2012.1).
__________
Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 54, ^No. 2, pp. 325–335, March–April, 2013.
Rights and permissions
About this article
Cite this article
Kogabaev, N.T. Noncomputability of classes of pappian and desarguesian projective planes. Sib Math J 54, 247–255 (2013). https://doi.org/10.1134/S0037446613020092
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0037446613020092