DIMACS TR: 93-20
A First-Order Isomorphism Theorem
Authors: Eric Allender, Jose Balcazar, and Neil Immerman
We show that for most complexity classes of interest, all sets complete
under first-order projections are isomorphic under first-order isomorphisms.
That is, a very restricted version of the Berman-Hartmanis Conjecture
Paper available at:
DIMACS Home Page