Sciweavers

FSTTCS
2001
Springer

The First-Order Isomorphism Theorem

14 years 2 months ago
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.
Manindra Agrawal
Added 28 Jul 2010
Updated 28 Jul 2010
Type Conference
Year 2001
Where FSTTCS
Authors Manindra Agrawal
Comments (0)