Yes, the "missing axiom" of matroid theory is lost forever

Dillon Mayhew, Mike Newman, Geoff Whittle

Published: 2014-12-29 | Updated: 2017-03-01

Comments: 26 pages, 3 figures, this version features revisions of two proofs

Note: DOI 10.1093/qmath/hat031 was removed from this record after review: The Quarterly Journal DOI is for the earlier conjectural/partial-results paper; 1412.8399 is a later Transactions article under DOI 10.1090/tran/7408. The publication DOI recorded here is 10.1090/tran/7408.

DOI: 10.1090/tran/7408

# BIB PDF ARXIV

Abstract

We prove there is no sentence in the monadic second-order language MS0 that characterises when a matroid is representable over at least one field, and no sentence that characterises when a matroid is K-representable, for any infinite field K. By way of contrast, because Rota's Conjecture is true, there is a sentence that characterises F-representable matroids, for any finite field F.

arXiv++ Combinatorics

Yes, the "missing axiom" of matroid theory is lost forever

Abstract

BibTeX