\({\Pi}_1^1\)-Martin-Löf random reals as measures of natural open sets

DOI10.1016/j.tcs.2016.09.018zbMath1402.03063OpenAlexW2529576563MaRDI QIDQ329716

Claude Sureson

Publication date: 21 October 2016

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2016.09.018

zbMATH Keywords

algorithmic randomnesshigher randomnesshigher recursion

Mathematics Subject Classification ID

Descriptive set theory (03E15) Algorithmic randomness and dimension (03D32)

Related Items (1)

Π11‐Martin‐Löf randomness and Π11‐Solovay completeness

Cites Work

• Random reals as measures of natural open sets
• Algorithmic Randomness and Complexity
• From index sets to randomness in ∅ⁿ: random reals and possibly infinite computations part II
• Set Theory
• Randomness via effective descriptive set theory
• Random reals and possibly infinite computations Part I: Randomness in ∅′
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: \({\Pi}_1^1\)-Martin-Löf random reals as measures of natural open sets