Random reals as measures of natural open sets (Q2346372)

The author proposes a general method to define \(n\)-random reals for natural numbers \(n\geq 2\). He defines sets of finite words over the alphabet \(\{0,1\}\) in the arithmetical hierarchy which generate open subsets of Cantor space whose measure is \(n\)-random. He investigates two approaches: {\parindent=0,5cm \begin{itemize}\item[--] the first one focusing on open subsets \(W\cdot \{0,1\}^\omega\) of Cantor space by defining the generating sets \(W\subseteq \{0,1\}^*\) of finite words in a generalised Becher-Chaitin style see: [\textit{V. Becher} and \textit{G. Chaitin}, Fundam. Inform. 51, No. 4, 325--338 (2002; Zbl 1011.68042)], and \item[--] the second one converting arguments of completeness from classical recursion theory thus avoiding the use of machines. \end{itemize}}