-
Dillon Mayhew, Monadic second-order definability for gain-graphic matroids
Dillon Mayhew, Monadic second-order definability for gain-graphic matroids
Every (finite) matroid consists of a (finite) set called the ground set, and a collection of distinguished subsets called the independent sets. A classic example arises when the ground set is a finite set of vectors from a vector space, and the independent subsets are exactly the subsets that are linearly independent. Any such matroid …