Класс проективных плоскостей невычислим

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