A Rank-Preserving Locality Theorem

Jan Dreier, Szymon Toruńczyk

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 Gr…