Title Characterization of Kurtz Randomness by a Differentiation
نویسنده
چکیده
Brattka, Miller and Nies [5] showed that some major algorithmic randomness notions are characterized via differentiability. The main goal of this paper is to characterize Kurtz randomness by a differentiation theorem on a computable metric space. The proof shows that integral tests play an essential part and shows that how randomness and differentiation are connected.
منابع مشابه
Invariance Properties of Random Sequences 1
We present invariance characterizations of di erent types of random sequences. We correct Schnorr's original, incorrect characterization of Martin-Lof random sequences, compare it with Schnorr's corresponding characterization of his own randomness concept, and give a similar, new characterization of Kurtz random sequences. That is, we show that an in nite sequence is Kurtz random if and only i...
متن کاملInvariance Properties of Random Sequences
We present invariance characterizations of di erent types of random sequences. We correct Schnorr's original, incorrect characterization of Martin-L of random sequences, compare it with Schnorr's corresponding characterization of his own randomness concept, and give a similar, new chararacterization of Kurtz random sequences. That is, we show that an in nite sequence is Kurtz random if and onl...
متن کاملUniform Kurtz randomness
We propose studying uniform Kurtz randomness, which is the uniform relativization of Kurtz randomness. This notion has more natural properties than the usual relativization. For instance, van Lambalgen’s theorem holds for uniform Kurtz randomness while not for (the usual relativization of) Kurtz randomness. Another advantage is that lowness for uniform Kurtz randomness has many characterization...
متن کاملLowness for uniform Kurtz randomness
We propose studying uniform Kurtz randomness, which is the uniform relativization of Kurtz randomness. One advantage of this notion is that lowness for uniform Kurtz randomness has many characterizations, such as those via complexity, martingales, Kurtz tt-traceability, and Kurtz dimensional measure.
متن کاملHigher Kurtz randomness
A real x is ∆1-Kurtz random (Π 1 1-Kurtz random) if it is in no closed null ∆1 set (Π 1 1 set). We show that there is a cone of Π 1 1-Kurtz random hyperdegrees. We characterize lowness for ∆1-Kurtz randomness as being ∆ 1 1-dominated and ∆ 1 1semi-traceable.
متن کامل