|
Алгебра и логика, 2010, том 49, номер 1, страницы 3–17
(Mi al426)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Неразрешимость теории проективных плоскостей
Н. Т. Когабаев Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ
Аннотация:
Изучаются элементарные теории проективных плоскостей. Доказывается относительная элементарная определимость класса симметричных иррефлексивных графов в классе проективных плоскостей. Таким образом, теория проективных плоскостей является наследственно неразрешимой.
Ключевые слова:
проективная плоскость, свободно порождённая проективная плоскость, неразрешимая теория.
Поступило: 10.02.2009
Образец цитирования:
Н. Т. Когабаев, “Неразрешимость теории проективных плоскостей”, Алгебра и логика, 49:1 (2010), 3–17; Algebra and Logic, 49:1 (2010), 1–11
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al426 https://www.mathnet.ru/rus/al/v49/i1/p3
|
|