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

14 years 19 days 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

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)