A first-order isomorphism theorem
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 holds.
| Autores: | , , |
|---|---|
| Tipo de recurso: | informe técnico |
| Fecha de publicación: | 1992 |
| País: | España |
| Institución: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | inglés |
| OAI Identifier: | oai:upcommons.upc.edu:2117/370609 |
| Acceso en línea: | https://hdl.handle.net/2117/370609 |
| Access Level: | acceso abierto |
| Palabra clave: | Isomorphisms (Mathematics) Computational complexity Isomorfismes (Matemàtica) Complexitat computacional Àrees temàtiques de la UPC::Informàtica |
| Sumario: | 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 holds. |
|---|