Random elements in effective topological spaces with measure.

DOI10.1016/S0890-5401(02)00034-2zbMath1055.68059MaRDI QIDQ1401925

Weihrauch, Klaus, Peter H. Hertling

Publication date: 19 August 2003

Published in: Information and Computation (Search for Journal in Brave)

zbMATH Keywords

Random setsAlgorithmic randomnessRandom real numbersRandomness tests

Mathematics Subject Classification ID

Algorithmic information theory (Kolmogorov complexity, etc.) (68Q30) Theory of numerations, effectively presented structures (03D45)

Related Items

Computability of probability measures and Martin-Löf randomness over metric spaces, Martin-Löf random generalized Poisson processes, Connectivity properties of dimension level sets, Connectivity Properties of Dimension Level Sets, An Application of Martin-Löf Randomness to Effective Probability Theory, Algorithmic randomness over general spaces, Liouville, computable, Borel normal and Martin-Löf random numbers, Randomness and the Ergodic Decomposition, Computable randomness and betting for computable probability spaces, MARTIN-LÖF RANDOMNESS IN SPACES OF CLOSED SETS, Effective symbolic dynamics, random points, statistical behavior, complexity and entropy, Probabilistic computability and choice, Computable Measure Theory and Algorithmic Randomness

Cites Work

• Theory of representations
• Computability on the probability measures on the Borel sets of the unit interval
• Zufälligkeit und Wahrscheinlichkeit. Eine algorithmische Begründung der Wahrscheinlichkeitstheorie. (Randomness and probability. An algorithmic foundation of probability theory)
• On the definitions of computable real continuous functions
• Randomness conservation inequalities; information and independence in mathematical theories
• A Theory of Program Size Formally Identical to Information Theory
• THE COMPLEXITY OF FINITE OBJECTS AND THE DEVELOPMENT OF THE CONCEPTS OF INFORMATION AND RANDOMNESS BY MEANS OF THE THEORY OF ALGORITHMS
• The definition of random sequences
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item