Undecidability of the structure of the Solovay degrees of c.e. reals

13 years 4 months ago

We show that the elementary theory of the structure of the Solovay degrees of computably enumerable reals is undecidable.

Rodney G. Downey, Denis R. Hirschfeldt, Geoffrey L

Elementary Theory | Enumerable Reals | JCSS 2007 | Solovay Degrees |

claim paper

Related Content

Added	15 Dec 2010
Updated	15 Dec 2010
Type	Journal
Year	2007
Where	JCSS
Authors	Rodney G. Downey, Denis R. Hirschfeldt, Geoffrey LaForte

Comments (0)