RUS  ENG
Full version
JOURNALS // Siberian Journal of Pure and Applied Mathematics // Archive

Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 2013 Volume 13, Issue 1, Pages 68–75 (Mi vngu131)

This article is cited in 3 papers

The complexity of isomorphism problem for computable projective planes

N. T. Kogabaevab

a Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia
b Novosibirsk State University, Novosibirsk, Russia

Abstract: Computable presentations for projective planes are studied. We prove that the isomorphism problem is $\Sigma^1_1$ complete for the following classes of projective planes: pappian projective planes, desarguesian projective planes, arbitrary projective planes.

Keywords: projective plane, pappian projective plane, desarguesian projective plane, computable model, isomorphism problem.

UDC: 510.53+514.146

Received: 07.05.2012


 English version:
Journal of Mathematical Sciences, 2014, 203:4, 509–515


© Steklov Math. Inst. of RAS, 2025