S2a-reducibility and differentiation in Martin-Löf random reals

Georgii Sirotenko, Ivan Titov

Solovay reducibility is studied intensively as a tool to compare the approximability and the degree of randomness of left-c.e. reals. By definition, a real is left-c.e. if it has a…