The First-Order Isomorphism Theorem

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

• Type: Conference
• Year: 2001
• Where: FSTTCS
• Authors: Manindra Agrawal
• Keywords: Closed Under, FSTTCS 2001, Reductions, Software Engineering, first-order Computable Isomorphisms