{"id":"arxiv/2609.00499","url":"https://arxiv.org/abs/2609.00499","tags":["cs.LO","cs.CC","math.LO"],"score":0,"title":"Subgroup Accessibility in Group Order Logic","domain":"cs.LO","source":"arxiv","authors":["Anatole Dahan"],"reviews":0,"subject":"cs.LO","summary":"We investigate the expressive power of fixed-point logics (FP) and their extensions in defining generating sets for accessible subgroups of definable permutation groups. This operation, computable in polynomial time via the Schreier-Sims algorithm, plays a central role in the group-theoretic approach to Graph Isomorphism and Graph Canonisation. In particular, it underpins polynomial-time canonisation for bounded colour-class graphs--a class for which no natural logic capturing P is currently known. We first show that this operation cannot, in general, be expressed in any logic for P. This…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-08-31","reactions":{}}