{"id":"arxiv/2605.00192","url":"https://arxiv.org/abs/2605.00192","tags":["cs.LO","math.CO"],"score":0,"title":"Model Checking for Low Monodimensionality Fragments of CMSO on Topological-Minor-Free Graph Classes","domain":"cs.LO","source":"arxiv","authors":["Ignasi Sau","Nicole Schirrmacher","Sebastian Siebertz","Giannos Stamoulis","Dimitrios M. Thilikos","Alexandre Vigny"],"reviews":0,"subject":"cs.LO","summary":"Algorithmic meta-theorems explain the tractability of large classes of computational problems by linking logical expressibility with structural graph properties. While extensions of first-order logic such as FO+dp admit efficient model checking on graph classes excluding a fixed topological minor, comparable results for richer fragments of CMSO were previously unknown. We further develop the framework of Sau, Stamoulis, and Thilikos [SODA 2025] for fragmenting CMSO via annotated graph parameters, which restrict set quantification to vertex sets satisfying bounded structural conditions.…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-04-30","reactions":{}}