Войтов А. К.
$\Delta_\alpha^0$- вычислимые нумерации классов проективных плоскостей

Изучаются вычислимые представления проективных плоскостей. Доказывается, что у $K^c/_\simeq$ нет гиперарифметической фридберговой нумерации и существует фридбергова $\Delta^0_{\alpha+3}$-вычислимая нумерация с точностью до $\Delta^0_\alpha$-вычислимого изоморфизма, где $K$ — класс папповых, дезарговых или всех проективных плоскостей.

A. K. Voitov
The $\Delta_\alpha^0$-Computable Enumerations of the Classes of Projective Planes

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.

DOI 10.17377/smzh.2018.59.207
Ключевые слова: паппова проективная плоскость, дезаргова проективная плоскость, свободно порожденная проективная плоскость, вычислимая модель, вычислимый класс моделей, вычислимый изоморфизм.

Свободный доступ к полным текстам предоставляется после 1 июля года, следующего за годом публикации