N. T. Kogabaev, “Noncomputability of classes of pappian and desarguesian projective planes”, Sibirsk. Mat. Zh., 2013, Volume 54, Number 2,Pages <nobr>325

This article is cited in 3 papers

Noncomputability of classes of pappian and desarguesian projective planes

N. T. Kogabaev^ab

^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.

UDC: 510.53+514.146

Received: 09.12.2011