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

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

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


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




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

Сибирские электронные математические известия, 2020, том 17, страницы 1730–1740
DOI: https://doi.org/10.33048/semi.2020.17.118 (Mi semr1312) 		 
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Математическая логика, алгебра и теория чисел

Об аксиоматизируемости класса финитарных матроидов и разрешимости их универсальной теории

А. В. Ильевa, В. П. Ильевb

a Sobolev Institute of Mathematics, 13, Pevtsova str., Omsk, 644043, Russia
b Dostoevsky Omsk State University, 55a, Mira ave., Omsk, 644077, Russia
PDF полного текста (340 kB) Список цитирования (1)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.33048/semi.2020.17.118
Аннотация: In the paper, finitary matroids are studied by means of the model theory. It is shown that the class of finitary matroids is nonaxiomatizable. Decidability of the universal theory of this class is proved.
Ключевые слова: axiomatizability, finitary matroid, universal theory, decidability.
Финансовая поддержка Номер гранта
Сибирское отделение Российской академии наук I.1.1.4, проект 0314-2019-0004
Работа первого автора выполнена при поддержке Программы фундаментальных научных исследований СО РАН № I.1.1.4, проект 0314-2019-0004.
Поступила 17 февраля 2020 г., опубликована 26 октября 2020 г.
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.67, 519.151
MSC: 03C48, 05B35
Образец цитирования: А. В. Ильев, В. П. Ильев, “Об аксиоматизируемости класса финитарных матроидов и разрешимости их универсальной теории”, Сиб. электрон. матем. изв., 17 (2020), 1730–1740
Цитирование в формате AMSBIB
\RBibitem{IleIle20}
\by А.~В.~Ильев, В.~П.~Ильев
\paper Об аксиоматизируемости класса финитарных матроидов и разрешимости их универсальной теории
\jour Сиб. электрон. матем. изв.
\yr 2020
\vol 17
\pages 1730--1740
\mathnet{http://mi.mathnet.ru/semr1312}
\crossref{https://doi.org/10.33048/semi.2020.17.118}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/semr1312
  • https://www.mathnet.ru/rus/semr/v17/p1730
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:173
    PDF полного текста:35
    Список литературы:14
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024