https://dimag.ibs.re.kr/event/2024-08-27/
Dillon Mayhew, Monadic second-order definability for gain-graphic matroids - Discrete Mathematics...
Jul 29, 2024 - Every (finite) matroid consists of a (finite) set called the ground set, and a collection of distinguished subsets called the independent sets. A classic...
monadic second orderdiscrete mathematicsdillonmayhewdefinability