zbMATH — the first resource for mathematics

Is the missing axiom of matroid theory lost forever? (English) Zbl 1305.05040
Summary: We conjecture that it is not possible to finitely axiomatize matroid representability in monadic second-order logic (MSOL) for matroids, and we describe some partial progress towards this conjecture. We present a collection of sentences in MSOL and show that it is possible to finitely axiomatize matroids using only sentences in this collection. Moreover, we can also axiomatize representability over any fixed finite field (assuming Rota’s conjecture holds). We prove that it is not possible to finitely axiomatize representability, or representability over any fixed infinite field, using sentences from the collection.

05B35 Combinatorial aspects of matroids and geometric lattices
03B15 Higher-order logic; type theory (MSC2010)
03C65 Models of other mathematical theories
Full Text: DOI arXiv