Title of article :
Higher Kurtz randomness
Author/Authors :
Kjos-Hanssen، نويسنده , , Bjّrn and Nies، نويسنده , , André and Stephan، نويسنده , , Frank and Yu، نويسنده , , Liang، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2010
Abstract :
A real x is Δ 1 1 -Kurtz random ( Π 1 1 -Kurtz random) if it is in no closed null Δ 1 1 set ( Π 1 1 set). We show that there is a cone of Π 1 1 -Kurtz random hyperdegrees. We characterize lowness for Δ 1 1 -Kurtz randomness as being Δ 1 1 -dominated and Δ 1 1 -semi-traceable.
Keywords :
Kurtz randomness , Hyperarithmetic , Lowness
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic