Derandomization in Game-theoretic Probability
arXiv:1402.5513
Abstract
We give a general method for constructing a deterministic strategy of Reality from a randomized strategy in game-theoretic probability. The construction can be seen as derandomization in game-theoretic probability.
arXiv comment19 pages