Randomness and the linear degrees of computability
نویسندگان
چکیده
We show that there exists a real α such that, for all reals β, if α is linear reducible to β (α ≤` β, previously denoted α ≤sw β) then β ≤T α. In fact, every random real satisfies this quasi-maximality property. As a corollary we may conclude that there exists no `-complete ∆2 real. Upon realizing that quasi-maximality does not characterize the random reals—there exist reals which are not random but which are of quasi-maximal `-degree—it is then natural to ask whether maximality could provide such a characterization. Such hopes, however, are in vain since no real is of maximal `-degree.
منابع مشابه
Randomness in Computability Theory
We discuss some aspects of algorithmic randomness and state some open problems in this area. The rst part is devoted to the question \What is a computably random sequence?" Here we survey some of the approaches to algorithmic randomness and address some questions on these concepts. In the second part we look at the Turing degrees of Martin-LL of random sets. Finally, in the third part we deal w...
متن کاملComputably Enumerable Sets in the Solovay and the Strong Weak Truth Table Degrees
The strong weak truth table reducibility was suggested by Downey, Hirschfeldt, and LaForte as a measure of relative randomness, alternative to the Solovay reducibility. It also occurs naturally in proofs in classical computability theory as well as in the recent work of Soare, Nabutovsky and Weinberger on applications of computability to differential geometry. Yu and Ding showed that the releva...
متن کاملIncompleteness, Approximation and Relative Randomness
We present some results about the structure of c.e. and ∆2 LR-degrees. First we give a technique for lower cone avoidance in the c.e. and ∆2 LR-degrees, and combine this with upper cone avoidance via Sacks restraints to construct a c.e. LR-degree which is incomparable with a given intermediate ∆2 LR-degree. Next we combine measure-guessing with an LR-incompleteness strategy to construct an inco...
متن کاملA C.E. Real That Cannot Be SW-Computed by Any Ω Number
The strong weak truth table (sw) reducibility was suggested by Downey, Hirschfeldt, and LaForte as a measure of relative randomness, alternative to the Solovay reducibility. It also occurs naturally in proofs in classical computability theory as well as in the recent work of Soare, Nabutovsky and Weinberger on applications of computability to differential geometry. We study the sw-degrees of c....
متن کاملRandomness and Computability
This thesis establishes significant new results in the area of algorithmic randomness. These results elucidate the deep relationship between randomness and computability. A number of results focus on randomness for finite strings. Levin introduced two functions which measure the randomness of finite strings. One function is derived from a universal monotone machine and the other function is der...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 145 شماره
صفحات -
تاریخ انتشار 2007