Agrawal et al. used their equivalence between AC0 reductions and NC0 reductions to show that all sets complete for NP under AC0 reductions are AC0-isomorphic.
Agrawal et al. employed their equivalence between AC0 reductions and NC0 reductions to establish that all sets that can be solved efficiently under AC0 reductions share a common structural relationship, leading to the conclusion that they are isomorphic.