Hyper-hyperfiniteness and complexity

Abstract

We show that if there exists a countable Borel equivalence relation which is hyper-hyperfinite but not hyperfinite then the complexity of hyperfinite countable Borel equivalence relations is as high as possible, namely, $\hat{I}{\pounds }_2^1$-complete.