Когабаев Н. Т.
Невычислимость классов папповых и дезарговых проективных плоскостей

Изучаются вычислимые представления проективных плоскостей. Доказывается, что класс всех папповых проективных плоскостей и класс всех дезарговых проективных плоскостей не имеют вычислимых нумераций (с точностью до вычислимого изоморфизма).

Kogabaev N. T.
Noncomputability of classes of pappian and desarguesian projective planes

We study computable representations of projective planes and prove that the class of all pappian projective planes and the class of all desarguesian projective planes have no computable numberings (up to computable isomorphism).

Полный текст статьи / Full texts:

• PDF file
• PostScript file