RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive

Algebra Logika, 2012 Volume 51, Number 1, Pages 61–81 (Mi al522)

This article is cited in 1 paper

Computable dimensions of Pappusian and Desarguesian 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 of projective planes are studied. Based on an interpretation of a class of fields (associative skew fields) within a class of Pappusian (Desarguesian) projective planes, it is proved that the question whether there exists a computable presentation for a Pappusian (Desarguesian) projective plane reduces to asking if there exists a computable presentation for a corresponding field (associative skew field). It is stated that the computable dimension of a Pappusian (Desarguesian) projective plane coincides with that of a corresponding field (associative skew field).

Keywords: projective plane, Pappusian projective plane, Desarguesian projective plane, computable model, computable dimension.

UDC: 510.53+514.146

Received: 22.12.2010


 English version:
Algebra and Logic, 2012, 51:1, 41–55

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025