Sciweavers

JCSS
2007
75views more  JCSS 2007»
14 years 11 days ago
Undecidability of the structure of the Solovay degrees of c.e. reals
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...