Showing math.LOShow all
2 papers · 1 filter
math.LO2024
Solovay reducibility implies S2a-reducibility
Ivan Titov
The original notion of Solovay reducibility was introduced by Robert M. Solovay (unpublished notes) in 1975 as a measure of relative randomness. The S2a-reducibility introduced by…
math.LO2024
Extending the Limit Theorem of Barmpalias and Lewis-Pye to all reals
Ivan Titov
By a celebrated result of KuÄera and Slaman (DOI:10.1137/S0097539799357441), the Martin-Löf random left-c.e. reals form the highest left-c.e. Solovay degree. Barmpalias and Lewis…