Yes, the "missing axiom" of matroid theory is lost forever
From MaRDI portal
Publication:6257679
DOI10.1090/TRAN/7408arXiv1412.8399WikidataQ114009898 ScholiaQ114009898MaRDI QIDQ6257679FDOQ6257679
Authors: Dillon Mayhew, Mike Newman, Geoff Whittle 
Publication date: 29 December 2014
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.
Model theory of finite structures (03C13) Combinatorial aspects of matroids and geometric lattices (05B35) Higher-order logic (03B16)
This page was built for publication: Yes, the "missing axiom" of matroid theory is lost forever
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6257679)
