Article ID Journal Published Year Pages File Type
4661902 Annals of Pure and Applied Logic 2012 15 Pages PDF
Abstract

We use Demuth randomness to study strong lowness properties of computably enumerable sets, and sometimes of sets.(1) A set A⊆N is called a base for Demuth randomness if some set Y Turing above A is Demuth random relative to A. We show that there is an incomputable, computably enumerable base for Demuth randomness, and that each base for Demuth randomness is strongly jump-traceable.(2) We obtain new proofs that each computably enumerable set below all superlow (superhigh) Martin-Löf random sets is strongly jump traceable, using Demuth tests.(3) The sets Turing below each ω2-computably approximable Martin-Löf random set form a proper subclass of the bases for Demuth randomness, and hence of the strongly jump traceable sets.(4) The c.e. sets Turing below each ω2-computably approximable Martin-Löf random set satisfy a new, very strong combinatorial lowness property called ω-traceability.

Related Topics
Physical Sciences and Engineering Mathematics Logic