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

DOI10.33048/semi.2020.17.118zbMath1477.03121OpenAlexW3117356761MaRDI QIDQ2212712

Artëm Viktorovich V. Il'ev, Victor Petrovich Il'ev

Publication date: 24 November 2020

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.33048/semi.2020.17.118

zbMATH Keywords

decidabilityaxiomatizabilityuniversal theoryfinitary matroid

Mathematics Subject Classification ID

Combinatorial aspects of matroids and geometric lattices (05B35) Model theory of finite structures (03C13) Models of other mathematical theories (03C65)

Cites Work

• Combinatorial theory.
• On axiomatizability of hereditary classes of graphs and matroids
• Unnamed Item

This page was built for publication: On axiomatizability of the class of finitary matroids and decidability of their universal theory