1: \begin{abstract}

2: Hlin\v{e}n\'{y}'s Theorem shows that any sentence in the

3: monadic second-order logic of matroids can be tested in

4: polynomial time, when the input is limited to a class of

5: \mbb{F}\dash representable matroids with bounded branch-width

6: (where \mbb{F} is a finite field).

7: If each matroid in a class can be decomposed by a subcubic tree

8: in such a way that only a bounded amount of information

9: flows across displayed separations, then the class

10: has bounded decomposition-width.

11: We introduce the pigeonhole property for classes of matroids:

12: if every subclass with bounded branch-width also has

13: bounded decomposition-width, then the class is pigeonhole.

14: An efficiently pigeonhole class has a stronger property,

15: involving an efficiently-computable equivalence relation on subsets of the ground set.

16: We show that Hlin\v{e}n\'{y}'s Theorem extends to any

17: efficiently pigeonhole class.

18: In a sequel paper, we use these ideas to extend Hlin\v{e}n\'{y}'s Theorem

19: to the classes of fundamental transversal matroids, lattice path matroids,

20: bicircular matroids, and \hgg\ matroids, where $H$ is any finite group.

21: We also give a characterisation of the families of hypergraphs that can be

22: described via tree automata: a family is defined by a tree automaton

23: if and only if it has bounded decomposition-width.

24: Furthermore, we show that if a class of matroids has the pigeonhole

25: property, and can be defined in monadic second-order logic,

26: then any subclass with bounded branch-width has a

27: decidable monadic second-order theory.

28: \end{abstract}

29: