Аннотация:
Изучаются элементарные теории проективных плоскостей. Доказывается относительная элементарная определимость класса симметричных иррефлексивных графов в классе проективных плоскостей. Таким образом, теория проективных плоскостей является наследственно неразрешимой.
Ключевые слова:проективная плоскость, свободно порождённая проективная плоскость, неразрешимая теория.
Полный текст:
PDF файл (183 kB)
