Defining bicircular matroids in monadic logic
Combinatorics
2021-03-02 v2
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.
Keywords
Cite
@article{arxiv.2005.04526,
title = {Defining bicircular matroids in monadic logic},
author = {Daryl Funk and Dillon Mayhew and Mike Newman},
journal= {arXiv preprint arXiv:2005.04526},
year = {2021}
}
Comments
Revised according to referee comments