On Decidability of MSO Theories of Representable Matroids

摘要

We show that, for every finite field F, the class of all F-representable matroids of branch-width at most a constant t has a de-cidable MSO theory. In the other direction, we prove that every class of F-representable matroids with a decidable MSO theory must have uniformly bounded branch-width.