Agrawal, Manindra (2001) The First-order isomorphism theorem Lecture Notes in Computer Science, 2245 . pp. 70-82. ISSN 0302-9743
![[img]](http://repository.ias.ac.in/style/images/fileicons/application_pdf.png)
|
PDF
- Author Version
191kB |
Official URL: http://www.springerlink.com/content/vthu3ecqukalc5...
Related URL: http://dx.doi.org/10.1007/3-540-45294-X_7
Abstract
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.
| Item Type: | Article |
|---|---|
| Source: | Copyright of this article belongs to Springer. |
| ID Code: | 92024 |
| Deposited On: | 26 May 2012 13:52 |
| Last Modified: | 19 May 2016 05:36 |
Repository Staff Only: item control page
