On axiomatizability and decidability of universal theories of hereditary classes of matroids

On axiomatizability and decidability of universal theories of hereditary classes of matroids Full article

Conference

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

Source

XII International scientific and technical conference "Applied Mechanics and Systems Dynamics" 13–15 November 2018, Omsk, Russian Federation
Compilation, IOP Publishing Ltd. 2019.

Journal

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

Output data

Year: 2019, Volume: 1210, Article number : 012056, Pages count : 7 DOI: 10.1088/1742-6596/1210/1/012056

Authors

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

Affiliations

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
In compilation 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

DB	Citing
Scopus	1