Slide 1The First-Order Variable Hierachy on Ordered Graphs Benjamin Rossman MIT Slide 2 Bounded Variable Logics The variable complexity of a first-order formula is the maximum…