Defining bicircular matroids in monadic logic

DOI10.1093/QMATH/HAAB020MaRDI QIDQ6340366arXivFDO

Authors Daryl Funk, Dillon Mayhew, Mike Newman

Publication date 9 May 2020

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

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.

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)