Аннотация:
Доказывается, что теория папповых проективных плоскостей полна относительно спектров степеней автоморфно нетривиальных структур, эффективных размерностей, спектров степеней отношений, спектров категоричности и спектров автоморфизмов. Поэтому для любого натурального $n\ge2$ существует вычислимая паппова проективная плоскость вычислимой размерности $n$.