| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 429738 | Journal of Computer and System Sciences | 2007 | 19 Pages |
Abstract
We show that the elementary theory of the structure of the Solovay degrees of computably enumerable reals is undecidable.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
