Об аксиоматизируемости класса финитарных матроидов и разрешимости их универсальной теории | Sciact - Система учета научной деятельности ИМ СО РАН

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

Журнал

Сибирские электронные математические известия (Siberian Electronic Mathematical Reports)
, E-ISSN: 1813-3304

Вых. Данные

Год: 2020, Том: 17, Страницы: 1730–1740 Страниц : 11 DOI: 10.33048/semi.2020.17.118

Ключевые слова

axiomatizability, finitary matroid, universal theory, decidability.

Авторы

Ильев А.В. ¹ , Ильев В.П. ²

Организации

1	Омский филиал ФГБУН «Институт математики им. С.Л. Соболева СО РАН».
2	Омский государственный университет им. Ф.М. Достоевского

Информация о финансировании (1)

Омский филиал ФГБУН «Институт математики им. С.Л. Соболева СО РАН».

0314-2019-0004

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.

Ильев А.В. , Ильев В.П.
Об аксиоматизируемости класса финитарных матроидов и разрешимости их универсальной теории
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2020. Т.17. С.1730–1740. DOI: 10.33048/semi.2020.17.118 WOS Scopus OpenAlex

Поступила в редакцию:	17 февр. 2020 г.
Опубликована в печати:	26 окт. 2020 г.

Web of science:	WOS:000583298400001
Scopus:	2-s2.0-85187148046
OpenAlex:	W3117356761

БД	Цитирований
Web of science	1