Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4951210 | Journal of Computer and System Sciences | 2017 | 12 Pages |
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
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
George Barmpalias, Andrew Lewis-Pye,