Defining bicircular matroids in monadic logic

DOI10.1093/QMATH/HAAB020arXiv2005.04526MaRDI QIDQ6340366FDOQ6340366

Daryl Funk, Mike Newman, Dillon Mayhew

Publication date: 9 May 2020

Abstract: 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 for the class of bicircular matroids. The proof does not depend on an excluded-minor characterisation.

Mathematics Subject Classification ID

Combinatorial aspects of matroids and geometric lattices (05B35) Higher-order logic (03B16) Interpolation, preservation, definability (03C40)

This page was built for publication: Defining bicircular matroids in monadic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6340366)