Randomness and the linear degrees of computability

نویسندگان

  • Andrew E. M. Lewis
  • George Barmpalias
چکیده

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.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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