Defining bicircular matroids in monadic logic

Daryl Funk, Dillon Mayhew, Mike Newman

We conjecture that the class of frame matroids can be characterised by a sentence in the monadic second-order logic of matroids, and we prove that there is such a characterisation…