|
Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya Matematika, Mekhanika, Informatika, 2013, Volume 13, Issue 1, Pages 68–75
(Mi vngu131)
|
|
|
|
This article is cited in 3 scientific papers (total 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.
Received: 07.05.2012
Citation:
N. T. Kogabaev, “The complexity of isomorphism problem for computable projective planes”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 13:1 (2013), 68–75; J. Math. Sci., 203:4 (2014), 509–515
Linking options:
https://www.mathnet.ru/eng/vngu131 https://www.mathnet.ru/eng/vngu/v13/i1/p68
|
Statistics & downloads: |
Abstract page: | 285 | Full-text PDF : | 72 | References: | 48 | First page: | 18 |
|