On axiomatizability and decidability of universal theories of hereditary classes of matroids | Sciact - Система учета научной деятельности ИМ СО РАН

On axiomatizability and decidability of universal theories of hereditary classes of matroids Научная публикация

Конференция

XII Международная IEEE научно-техническая конференция "Динамика систем, механизмов и машин"
13-15 нояб. 2018 , Омск

Сборник

XII International scientific and technical conference "Applied Mechanics and Systems Dynamics" 13–15 November 2018, Omsk, Russian Federation
Сборник, IOP Publishing Ltd. 2019.

Журнал

Journal of Physics: Conference Series
ISSN: 1742-6588 , E-ISSN: 1742-6596

Вых. Данные

Год: 2019, Том: 1210, Номер статьи : 012056, Страниц : 7 DOI: 10.1088/1742-6596/1210/1/012056

Авторы

Il'ev A V ¹ , Il'ev V P ²

Организации

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

Two hereditary classes of matroids – the class of matroids of rank doesn't exceeding a fixed positive integer k and the class of matroids of finite rank – are studied by means of the model theory. The problems of axiomatizability of these two classes of matroids as structures and the problems of algorithmic decidability of universal theories of these classes are considered. It is shown that the first class is finitely axiomatizable whereas the second one is nonaxiomatizable. Decidability of the universal theories of the both classes is proved.

Il'ev A.V. , Il'ev V.P.
On axiomatizability and decidability of universal theories of hereditary classes of matroids
В сборнике XII International scientific and technical conference "Applied Mechanics and Systems Dynamics" 13–15 November 2018, Omsk, Russian Federation. – IOP Publishing Ltd., 2019. DOI: 10.1088/1742-6596/1210/1/012056 Scopus OpenAlex

Scopus:	2-s2.0-85065978492
OpenAlex:	W2943282958

БД	Цитирований
Scopus	1