The First-Order Isomorphism Theorem

  • Authors:
  • Manindra Agrawal

  • Affiliations:
  • -

  • Venue:
  • FST TCS '01 Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

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