|
This article is cited in 1 scientific paper (total in 1 paper)
Complexity of the isomorphism problem for computable free projective planes of finite rank
N. T. Kogabaevab a Sobolev Institute of Mathematics, Novosibirsk, Russia
b Novosibirsk State University, Novosibirsk, Russia
Abstract:
Studying computable representations of projective planes, we prove that the isomorphism problem in the class of free projective planes of finite rank is an $m$-complete $\Delta^0_3$-set within the class.
Keywords:
computable structure, computable representation, isomorphism problem, projective plane, free projective plane.
Received: 18.05.2017
Citation:
N. T. Kogabaev, “Complexity of the isomorphism problem for computable free projective planes of finite rank”, Sibirsk. Mat. Zh., 59:2 (2018), 378–395; Siberian Math. J., 59:2 (2018), 295–308
Linking options:
https://www.mathnet.ru/eng/smj2980 https://www.mathnet.ru/eng/smj/v59/i2/p378
|
Statistics & downloads: |
Abstract page: | 231 | Full-text PDF : | 59 | References: | 29 | First page: | 5 |
|