The Axiomatization of Randomness

van Lambalgen, Michiel

J. Symbolic Logic, Tome 55 (1990) no. 1, p. 1143-1167 / Harvested from Project Euclid

Résumé

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.

Publié le : 1990-09-14
Classification:

@article{1183743412,
     author = {van Lambalgen, Michiel},
     title = {The Axiomatization of Randomness},
     journal = {J. Symbolic Logic},
     volume = {55},
     number = {1},
     year = {1990},
     pages = { 1143-1167},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183743412}
}

van Lambalgen, Michiel. The Axiomatization of Randomness. J. Symbolic Logic, Tome 55 (1990) no. 1, pp.  1143-1167. http://gdmltest.u-ga.fr/item/1183743412/