Bayesian approach to a definition of random sequences and its applications to statistical inference

摘要

We introduce a universal Bayes test, which is a Bayesian version of Martin-Lof test. Then we define random sequences with respect to parametric models based on our universal Bayes test. We state some theorems related to Bayesian statistical inference in terms of random sequence