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.