Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4952274 | Theoretical Computer Science | 2017 | 7 Pages |
Abstract
In this paper we give precise bounds on the redundancy growth rate that is generally required for the computation of an omega number from another omega number. We show that for each ϵ>1, any pair of omega numbers compute each other with redundancy ϵlogâ¡n. On the other hand, this is not true for ϵ=1. In fact, we show that for each omega number ΩU there exists another omega number which is not computable from ΩU with redundancy logâ¡n. This latter result improves an older result of Frank Stephan.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
George Barmpalias, Andrew Lewis-Pye,