|
Эта публикация цитируется в 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
Аннотация:
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.
Поступила 17 февраля 2020 г., опубликована 26 октября 2020 г.
Образец цитирования:
А. В. Ильев, В. П. Ильев, “Об аксиоматизируемости класса финитарных матроидов и разрешимости их универсальной теории”, Сиб. электрон. матем. изв., 17 (2020), 1730–1740
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr1312 https://www.mathnet.ru/rus/semr/v17/p1730
|
Статистика просмотров: |
Страница аннотации: | 197 | PDF полного текста: | 46 | Список литературы: | 21 |
|