Undecidability of the Structure of the Solovay Degrees of
C.E. reals
Status: to appear in the Journal of Computer and System Sciences
Availability: DVI, PostScript, and PDF
Abstract. We show that the elementary theory of the structure of the
Solovay degrees of computably enumerable reals is undecidable.
drh@math.uchicago.edu