Article ID Journal Published Year Pages File Type
4951210 Journal of Computer and System Sciences 2017 12 Pages PDF
Abstract
We study the differences of Martin-Löf random left-c.e. reals and show that for each pair of such reals α,β there exists a unique number r>0 such that qα−β is a Martin-Löf random left-c.e. real for each positive rational q>r and a Martin-Löf random right-c.e. real for each positive rational q
Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics
Authors
, ,