On axiomatizability of the class of finitary matroids and decidability of their universal theory

Authors

  • Artyom Il'ev Sobolev Institute of Mathematics
  • Victor Il'ev Dostoevsky Omsk State University

Keywords:

axiomatizability, finitary matroid, universal theory, decidability.

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.

Downloads

Published

2020-10-26

Issue

Vol. 17 (2020)

Section

Mathematical logic, algebra and number theory