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

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

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



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






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


Алгебра и логика, 2008, том 47, номер 4, страницы 428–455 (Mi al366)  

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

Класс проективных плоскостей невычислим

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

Институт математики им. С. Л. Соболева СО РАН

Аннотация: Изучаются вычислимые проективные плоскости. Устанавливается, что свободная проективная плоскость счётного ранга в некотором несущественном обогащении является неограниченной. Отсюда следует, что свободная проективная плоскость счётного ранга имеет бесконечную вычислимую размерность. Доказывается, что класс всех вычислимых проективных плоскостей невычислим (с точностью до вычислимого изоморфизма).

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

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

Англоязычная версия:
Algebra and Logic, 2008, 47:4, 242–257

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

УДК: 510.5+514.146
Поступило: 29.10.2007

Образец цитирования: Н. Т. Когабаев, “Класс проективных плоскостей невычислим”, Алгебра и логика, 47:4 (2008), 428–455; Algebra and Logic, 47:4 (2008), 242–257

Цитирование в формате AMSBIB
\RBibitem{Kog08}
\by Н.~Т.~Когабаев
\paper Класс проективных плоскостей невычислим
\jour Алгебра и логика
\yr 2008
\vol 47
\issue 4
\pages 428--455
\mathnet{http://mi.mathnet.ru/al366}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=2484563}
\zmath{https://zbmath.org/?q=an:1164.03330}
\transl
\jour Algebra and Logic
\yr 2008
\vol 47
\issue 4
\pages 242--257
\crossref{https://doi.org/10.1007/s10469-008-9015-z}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000259714200002}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-54249138086}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/al366
  • http://mi.mathnet.ru/rus/al/v47/i4/p428

    ОТПРАВИТЬ: 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. Н. Т. Когабаев, “Невычислимость классов папповых и дезарговых проективных плоскостей”, Сиб. матем. журн., 54:2 (2013), 325–335  mathnet  mathscinet; N. T. Kogabaev, “Noncomputability of classes of pappian and desarguesian projective planes”, Siberian Math. J., 54:2 (2013), 247–255  crossref  isi
    2. Н. А. Баженов, “О вычислимых нумерациях класса булевых алгебр с выделенными эндоморфизмами”, Алгебра и логика, 52:5 (2013), 535–552  mathnet  mathscinet; N. A. Bazhenov, “Computable numberings of the class of Boolean algebras with distinguished endomorphisms”, Algebra and Logic, 52:5 (2013), 355–366  crossref  isi
    3. Н. А. Баженов, “Теорема о ветвлении и вычислимая категоричность в иерархии Ершова”, Алгебра и логика, 54:2 (2015), 137–157  mathnet  crossref  mathscinet; N. A. Bazhenov, “The branching theorem and computable categoricity in the Ershov hierarchy”, Algebra and Logic, 54:2 (2015), 91–104  crossref  isi
    4. Н. Т. Когабаев, “Свободно порождённые проективные плоскости конечной вычислимой размерности”, Алгебра и логика, 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
    5. А. К. Войтов, “$\Delta^0_\alpha$-вычислимые нумерации классов проективных плоскостей”, Сиб. матем. журн., 59:2 (2018), 321–336  mathnet  crossref  elib; A. K. Voǐtov, “The $\Delta^0_\alpha$-computable enumerations of the classes of projective planes”, Siberian Math. J., 59:2 (2018), 252–263  crossref  isi
  • Алгебра и логика Algebra and Logic
    Просмотров:
    Эта страница:292
    Полный текст:85
    Литература:55
    Первая стр.:7
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020