The axiomatization of randomness
Michiel van Lambalgen · Journal of Symbolic Logic · 1990
Abstract We present a faithful axiomatization of von Mises' notion of a random sequence, using an abstract independence relation. A byproduct is a quantifier elimination theorem for Friedman's “almost all” quantifier in terms of this independence relation.