On decidability of MSO theories of representable matroids

Abstract

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