Defining bicircular matroids in monadic logic
From MaRDI portal
Publication:6340366
DOI10.1093/QMATH/HAAB020arXiv2005.04526MaRDI QIDQ6340366FDOQ6340366
Authors: Daryl Funk, Dillon Mayhew, Mike Newman 
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.
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)
