An Optimal Construction for the Barthelmann-Schwentick Normal Form on Classes of Structures of Bounded Degree

André Frochaux, Lucas Heimberg

Building on the locality conditions for first-order logic by Hanf and Gaifman, Barthelmann and Schwentick showed in 1999 that every first-order formula is equivalent to a formula o…