Email this article The Δ0α-Computable Enumerations of the Classes of Projective Planes
- Authors: Voĭtov A.K.1
-
Affiliations:
- Novosibirsk State University
- Issue: Vol 59, No 2 (2018)
- Pages: 252-263
- Section: Article
- URL: https://journal-vniispk.ru/0037-4466/article/view/171745
- DOI: https://doi.org/10.1134/S0037446618020076
- ID: 171745
Cite item
Open Access
Access granted
Subscription Access
Abstract
Studying computable representations of projective planes, for the classes K of pappian, desarguesian, and all projective planes, we prove that Kc/≃ admits no hyperarithmetical Friedberg enumeration and admits a Friedberg Δ0α+3-computable enumeration up to a Δ0α-computable isomorphism.
About the authors
A. K. Voĭtov
Novosibirsk State University
Author for correspondence.
Email: boutobahgpeu@gmail.com
Russian Federation, Novosibirsk
Supplementary files
