Open Access
Translator Disclaimer
November 2015 TT-Functionals and Martin-Löf Randomness for Bernoulli Measures
Logan Axon
Missouri J. Math. Sci. 27(1): 80-86 (November 2015). DOI: 10.35834/mjms/1449161370


For $r \in [0,1]$, the Bernoulli measure $\mu_r$ on the Cantor space $\{0,1\}^{\mathbb{N}}$ assigns measure $r$ to the set of sequences with $1$ at a fixed position. In [5] it is shown that for $r,s \in [0,1]$, $\mu_s$ is continuously reducible to $\mu_r$ if any only if $r$ and $s$ satisfy certain purely number theoretic conditions (binomial reduciblility). We bring these results into the context of computability theory and Martin-Löf randomness and show that the continuous maps arising in [5] are truth-table functionals (tt-functionals) on $\{0,1\}^{\mathbb{N}}$. This allows us extend the characterization of continuous reductions between Bernoulli measures to include tt-functionals. It then follows from the conservation of randomness under tt-functionals that if $s$ is binomially reducible to $r$, then there is a tt-functional that maps every Martin-Löf random sequence for $\mu_s$ to a Martin-Löf random sequences for $\mu_r$. We are also able to show using results in [2] that the converse of this statement is not true.


Download Citation

Logan Axon. "TT-Functionals and Martin-Löf Randomness for Bernoulli Measures." Missouri J. Math. Sci. 27 (1) 80 - 86, November 2015.


Published: November 2015
First available in Project Euclid: 3 December 2015

zbMATH: 1331.03030
MathSciNet: MR3431118
Digital Object Identifier: 10.35834/mjms/1449161370

Primary: 03D32
Secondary: 68Q30

Keywords: Bernoulli measure , Cantor space , Martin-Löf randomness , truth-table reduction

Rights: Copyright © 2015 Central Missouri State University, Department of Mathematics and Computer Science


Vol.27 • No. 1 • November 2015
Back to Top