Martin-Lof randomness for Bernoulli measures

Author(s)
Logan
Axon
*,
Gonzaga University
Talk Abstract
Continuous maps on Cantor space induce maps between measures on the space. Mauldin has answered the question of when two Bernoulli measures are related by such a map by giving a purely number-theoretic condition on the parameters of the measures. The proof of this result is constructive and hence compatible with algorithmic randomness. We show how Mauldin's result extends to tt-functionals and Martin-L\"of randomness.
Talk Subject
Logic and Foundations
Time Slot
2015-03-02T15:45:00