The Δ0 α-Computable Enumerations of the Classes of Projective Planes

A. K. Voĭtov

Результат исследования: Научные публикации в периодических изданияхстатья

Аннотация

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.

Язык оригиналаанглийский
Страницы (с-по)252-263
Число страниц12
ЖурналSiberian Mathematical Journal
Том59
Номер выпуска2
DOI
СостояниеОпубликовано - 1 мар 2018

Fingerprint Подробные сведения о темах исследования «The Δ<sup>0</sup> <sub>α</sub>-Computable Enumerations of the Classes of Projective Planes». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать