А. В. Ильев, В. П. Ильев, “Об аксиоматизируемости класса финитарных матроидов и разрешимости их универсальной теории”, Сиб. электрон. матем. изв., 2020, том 17,страницы 1730

Эта публикация цитируется в 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

Аннотация: 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.

УДК: 510.67, 519.151

MSC: 03C48, 05B35

Поступила 17 февраля 2020 г., опубликована 26 октября 2020 г.

DOI: 10.33048/semi.2020.17.118