|
Sibirskii Matematicheskii Zhurnal, 2013, Volume 54, Number 2, Pages 325–335
(Mi smj2424)
|
|
|
|
This article is cited in 3 scientific papers (total in 3 papers)
Noncomputability of classes of pappian and desarguesian projective planes
N. T. Kogabaevab a Sobolev Institute of Mathematics, Novosibirsk, Russia
b Novosibirsk State University, Novosibirsk, Russia
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).
Keywords:
projective plane, pappian projective plane, desarguesian projective plane, computable model, computable class of models, computable isomorphism.
Received: 09.12.2011
Citation:
N. T. Kogabaev, “Noncomputability of classes of pappian and desarguesian projective planes”, Sibirsk. Mat. Zh., 54:2 (2013), 325–335; Siberian Math. J., 54:2 (2013), 247–255
Linking options:
https://www.mathnet.ru/eng/smj2424 https://www.mathnet.ru/eng/smj/v54/i2/p325
|
Statistics & downloads: |
Abstract page: | 282 | Full-text PDF : | 61 | References: | 45 | First page: | 8 |
|