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

作者：

Highlights：

•

摘要

We show that the elementary theory of the structure of the Solovay degrees of computably enumerable reals is undecidable.

论文关键词：Randomness,c.e. reals,Solovay reducibility

论文评审过程：Received 21 March 2006, Revised 16 January 2007, Available online 26 January 2007.

论文官网地址：https://doi.org/10.1016/j.jcss.2007.01.002