RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive

Sibirsk. Mat. Zh., 2018 Volume 59, Number 2, Pages 321–336 (Mi smj2974)

The $\Delta^0_\alpha$-computable enumerations of the classes of projective planes

A. K. Voĭtov

Novosibirsk State University, Novosibirsk, Russia

Abstract: Studying computable representations of projective planes, for the classes $K$ of pappian, desarguesian, and all projective planes, we prove that $K^c/_\simeq$ admits no hyperarithmetical Friedberg enumeration and admits a Friedberg $\Delta^0_{\alpha+3}$-computable enumeration up to a $\Delta^0_\alpha$-computable isomorphism.

Keywords: pappian projective plane, desarguesian projective plane, freely generated projective plane, computable model, computable class of models, computable isomorphism.

UDC: 510.53+514.146

MSC: 35R30

Received: 19.01.2017

DOI: 10.17377/smzh.2018.59.207


 English version:
Siberian Mathematical Journal, 2018, 59:2, 252–263

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024