| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4661653 | Annals of Pure and Applied Logic | 2015 | 30 Pages |
Abstract
We investigate which computable equivalence structures are isomorphic relative to the Halting problem.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Rod Downey, Alexander G. Melnikov, Keng Meng Ng,