Loading [MathJax]/jax/output/SVG/config.js
Алгебра и логика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Алгебра и логика:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Алгебра и логика, 2010, том 49, номер 1, страницы 3–17 (Mi al426)  
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

Неразрешимость теории проективных плоскостей

Н. Т. Когабаев

Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ
PDF полного текста (183 kB) Список цитирования (2)
Список литературы:
PDF
HTML
Аннотация: Изучаются элементарные теории проективных плоскостей. Доказывается относительная элементарная определимость класса симметричных иррефлексивных графов в классе проективных плоскостей. Таким образом, теория проективных плоскостей является наследственно неразрешимой.
Ключевые слова: проективная плоскость, свободно порождённая проективная плоскость, неразрешимая теория.
Поступило: 10.02.2009
Англоязычная версия:
Algebra and Logic, 2010, Volume 49, Issue 1, Pages 1–11
DOI: https://doi.org/10.1007/s10469-010-9075-8
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.53+514.146
Образец цитирования: Н. Т. Когабаев, “Неразрешимость теории проективных плоскостей”, Алгебра и логика, 49:1 (2010), 3–17; Algebra and Logic, 49:1 (2010), 1–11
Цитирование в формате AMSBIB
\RBibitem{Kog10}
\by Н.~Т.~Когабаев
\paper Неразрешимость теории проективных плоскостей
\jour Алгебра и логика
\yr 2010
\vol 49
\issue 1
\pages 3--17
\mathnet{http://mi.mathnet.ru/al426}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2664120}
\zmath{https://zbmath.org/?q=an:1195.03043}
\elib{https://elibrary.ru/item.asp?id=13215749}
\transl
\jour Algebra and Logic
\yr 2010
\vol 49
\issue 1
\pages 1--11
\crossref{https://doi.org/10.1007/s10469-010-9075-8}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000276493500001}
\elib{https://elibrary.ru/item.asp?id=15313386}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-77949865349}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/al426
  • https://www.mathnet.ru/rus/al/v49/i1/p3
    • Эта публикация цитируется в следующих 2 статьяx:
    1. Н. Т. Когабаев, “Свободно порождённые проективные плоскости конечной вычислимой размерности”, Алгебра и логика, 55:6 (2016), 704–737  mathnet  crossref; N. T. Kogabaev, “Freely generated projective planes with finite computable dimension”, Algebra and Logic, 55:6 (2017), 461–484  crossref  isi
    2. Speranski S.O., “a Note on Hereditarily Pi(0)(1)- and SIGMA(0)(1)-Complete Sets of Sentences”, J. Logic Comput., 26:5 (2016), 1729–1741  crossref  mathscinet  zmath  isi  scopus
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Алгебра и логика Algebra and Logic
    Статистика просмотров:
    Страница аннотации:443
    PDF полного текста:145
    Список литературы:75
    Первая страница:11
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025