Results 1 
8 of
8
Degrees of random sets
, 1991
"... An explicit recursiontheoretic definition of a random sequence or random set of natural numbers was given by MartinLöf in 1966. Other approaches leading to the notions of nrandomness and weak nrandomness have been presented by Solovay, Chaitin, and Kurtz. We investigate the properties of nrando ..."
Abstract

Cited by 53 (4 self)
 Add to MetaCart
An explicit recursiontheoretic definition of a random sequence or random set of natural numbers was given by MartinLöf in 1966. Other approaches leading to the notions of nrandomness and weak nrandomness have been presented by Solovay, Chaitin, and Kurtz. We investigate the properties of nrandom and weakly nrandom sequences with an emphasis on the structure of their Turing degrees. After an introduction and summary, in Chapter II we present several equivalent definitions of nrandomness and weak nrandomness including a new definition in terms of a forcing relation analogous to the characterization of ngeneric sequences in terms of Cohen forcing. We also prove that, as conjectured by Kurtz, weak nrandomness is indeed strictly weaker than nrandomness. Chapter III is concerned with intrinsic properties of nrandom sequences. The main results are that an (n + 1)random sequence A satisfies the condition A (n) ≡T A⊕0 (n) (strengthening a result due originally to Sacks) and that nrandom sequences satisfy a number of strong independence properties, e.g., if A ⊕ B is nrandom then A is nrandom relative to B. It follows that any countable distributive lattice can be embedded
The Turing Universe Is Not Rigid
"... A nontrivial automorphism of the Turing degrees is constructed. ..."
Abstract

Cited by 6 (2 self)
 Add to MetaCart
A nontrivial automorphism of the Turing degrees is constructed.
Global Properties of the Turing Degrees and the Turing Jump
"... We present a summary of the lectures delivered to the Institute for Mathematical Sciences, Singapore, during the 2005 Summer School in Mathematical Logic. The lectures covered topics on the global structure of the Turing degrees D, the countability of its automorphism group, and the definability of ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
We present a summary of the lectures delivered to the Institute for Mathematical Sciences, Singapore, during the 2005 Summer School in Mathematical Logic. The lectures covered topics on the global structure of the Turing degrees D, the countability of its automorphism group, and the definability of the Turing jump within D.
Definability and Global Degree Theory
 Logic Colloquium '90, Association of Symbolic Logic Summer Meeting in Helsinki, Berlin 1993 [Lecture Notes in Logic 2
"... Gödel's work [Gö34] on undecidable theories and the subsequent formalisations of the notion of a recursive function ([Tu36], [K136] etc.) have led to an ever deepening understanding of the nature of the noncomputable universe (which as Gödel himself showed, includes sets and functions of every ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
Gödel's work [Gö34] on undecidable theories and the subsequent formalisations of the notion of a recursive function ([Tu36], [K136] etc.) have led to an ever deepening understanding of the nature of the noncomputable universe (which as Gödel himself showed, includes sets and functions of everyday significance). The nontrivial aspect of Church's Thesis (any function not contained within one of the equivalent definitions of recursive/Turing computable, cannot be considered to be effectively computable) still provides a basis not only for classical and generalised recursion theory, but also for contemporary theoretical computer science. Recent years, in parallel with the massive increase in interest in the computable universe and the development of much subtler concepts of 'practically computable', have seen remarkable progress with some of the most basic and challenging questions concerning the noncomputable universe, results both of philosophical significance and of potentially wider technical importance. Relativising Church's Thesis, Kleene and Post [KP54] proposed the now
Clockwork or Turing U/universe?  Remarks on Causal Determinism and Computability
"... The relevance of the Turing universe as a model for complex physical situations (that is, those showing both computable and incomputable aspects) is discussed. Some wellknown arguments concerning the nature of scientific reality are related to this theoretical context. ..."
Abstract
 Add to MetaCart
The relevance of the Turing universe as a model for complex physical situations (that is, those showing both computable and incomputable aspects) is discussed. Some wellknown arguments concerning the nature of scientific reality are related to this theoretical context.
Upper Cones As Automorphism Bases
 Siberian Adv. Math
, 1999
"... It is shown that the complete Turing degrees do not form an automorphism base. ..."
Abstract
 Add to MetaCart
It is shown that the complete Turing degrees do not form an automorphism base.