On Decidability of MSO Theories of Representable Matroids

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.

• Type: Conference
• Year: 2004
• Where: IWPEC
• Authors: Petr Hlinený, Detlef Seese
• Keywords: -representable Matroids, Decidable Mso Theory, IWPEC 2004, Representable Matroids