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

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

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



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






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


Алгебра и логика, 2010, том 49, номер 1, страницы 3–17 (Mi al426)  

Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

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

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

Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ

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

Ключевые слова: проективная плоскость, свободно порождённая проективная плоскость, неразрешимая теория.

Полный текст: PDF файл (183 kB)
Список литературы: PDF файл   HTML файл

Англоязычная версия:
Algebra and Logic, 2010, 49:1, 1–11

Реферативные базы данных:

Тип публикации: Статья
УДК: 510.53+514.146
Поступило: 10.02.2009

Образец цитирования: Н. Т. Когабаев, “Неразрешимость теории проективных плоскостей”, Алгебра и логика, 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://www.ams.org/mathscinet-getitem?mr=2664120}
\zmath{https://zbmath.org/?q=an:1195.03043}
\elib{http://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{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000276493500001}
\elib{http://elibrary.ru/item.asp?id=15313386}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-77949865349}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/al426
  • http://mi.mathnet.ru/rus/al/v49/i1/p3

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статья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
  • Алгебра и логика Algebra and Logic
    Просмотров:
    Эта страница:315
    Полный текст:88
    Литература:43
    Первая стр.:11
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020