Zobrazeno 1 - 1
of 1
pro vyhledávání: '"03D32 (Primary) 68Q30, 03D30 (Secondary)"'
Autor:
Titov, Ivan
By a celebrated result of Ku\v{c}era and Slaman (DOI:10.1137/S0097539799357441), the Martin-L\"of random left-c.e. reals form the highest left-c.e. Solovay degree. Barmpalias and Lewis-Pye (arXiv:1604.00216) strengthened this result by showing that,
Externí odkaz:
http://arxiv.org/abs/2407.14445
