Deciding first order properties of matroids

Abstract

We introduce a notion of locally bounded branch-width and we show that testing first order properties for matroids representable over finite fields that have locally bounded branch-width is fixed parameter tractable.

Keywords

• matroid algorithm
• first order logic
• branch-width