Complexity of Finite Borel Asymptotic Dimension

Jan Grebík, Cecelia Higgins

We show that the set of locally finite Borel graphs with finite Borel asymptotic dimension is ${\mathbf{\Sigma }}_2^1$-complete. The result is based on a combinatorial characterization of fi…