{"id":"arxiv/2611.01501","url":"https://arxiv.org/abs/2611.01501","tags":["math.LO","cs.LO"],"score":0,"title":"Order-Invariant CFO Contains Local-Order-Invariant FO","domain":"math.LO","source":"arxiv","authors":["Derek R. Aoki"],"reviews":0,"subject":"math.LO","summary":"Order-invariant cluster first-order logic (CFO) and local-order-invariant first-order logic are two fragments of order-invariant first-order logic, both motivated by the study of invariant logics on classes of bounded degree. Our main result is that order-invariant CFO contains local-order-invariant FO on arbitrary classes of finite structures, settling the conjecture of Ghasemi and Grange that order-invariant CFO contains plain FO. By combining this with a collapse result of Ghasemi and Grange, we obtain the equivalence of FO, local-order-invariant FO, and order-invariant CFO on classes of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-11-01","reactions":{}}