The First-Order Isomorphism Theorem

For any class C und closed under NC1 reductions, it is shown that all sets complete for C under ﬁrst-order (equivalently, Dlogtimeuniform AC0 ) reductions are isomorphic under ﬁrst-order computable isomorphisms.