Undecidability of the Structure of the Solovay Degrees of
Status: published in the Journal
of Computer and System Sciences 73 (2007) 769 -
version and preprint
Abstract. We show that the elementary theory of the structure of the
Solovay degrees of computably enumerable reals is undecidable.