|
This article is cited in 1 scientific paper (total in 1 paper)
Mathematical logic, algebra and number theory
On axiomatizability of the class of finitary matroids and decidability of their universal theory
A. V. Il'eva, V. P. Il'evb a Sobolev Institute of Mathematics, 13, Pevtsova str., Omsk, 644043, Russia
b Dostoevsky Omsk State University, 55a, Mira ave., Omsk, 644077, Russia
Abstract:
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.
Keywords:
axiomatizability, finitary matroid, universal theory, decidability.
Received February 17, 2020, published October 26, 2020
Citation:
A. V. Il'ev, V. P. Il'ev, “On axiomatizability of the class of finitary matroids and decidability of their universal theory”, Sib. Èlektron. Mat. Izv., 17 (2020), 1730–1740
Linking options:
https://www.mathnet.ru/eng/semr1312 https://www.mathnet.ru/eng/semr/v17/p1730
|
|