{"id":"arxiv/2606.23180","url":"https://arxiv.org/abs/2606.23180","tags":["cs.LO","math.LO"],"score":0,"title":"A Rank-Preserving Locality Theorem","domain":"cs.LO","source":"arxiv","authors":["Jan Dreier","Szymon Toruńczyk"],"reviews":0,"subject":"cs.LO","summary":"We prove a rank-preserving locality theorem for a syntactic variant of first-order logic, in the spirit of Gaifman's locality theorem and the rank-preserving locality theorem of Grohe, Kreutzer, and Siebertz. Our result allows for a weak form of scatter sentences, which can be evaluated more efficiently than usual scatter sentences considered in prior work. This is crucial in our application to graphs of bounded merge-width.","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-06-22","reactions":{}}