The axiomatization of randomness

Journal of Symbolic Logic 55 (3):1143-1167 (1990)
  Copy   BIBTEX

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 89,703

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Van Lambalgen's Theorem and High Degrees.Johanna N. Y. Franklin & Frank Stephan - 2011 - Notre Dame Journal of Formal Logic 52 (2):173-185.
Independence, randomness and the axiom of choice.Michiel van Lambalgen - 1992 - Journal of Symbolic Logic 57 (4):1274-1304.
Lowness and $\Pi _{2}^{0}$ Nullsets.Rod Downey, Andre Nies, Rebecca Weber & Liang Yu - 2006 - Journal of Symbolic Logic 71 (3):1044 - 1052.
Chance versus Randomness.Antony Eagle - 2010 - Stanford Encyclopedia of Philosophy.

Analytics

Added to PP
2009-01-28

Downloads
39 (#352,419)

6 months
6 (#200,786)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michiel Van Lambalgen
University of Amsterdam

Citations of this work

Representation and Invariance of Scientific Structures.Patrick Suppes - 2002 - CSLI Publications (distributed by Chicago University Press).
Calibrating randomness.Rod Downey, Denis R. Hirschfeldt, André Nies & Sebastiaan A. Terwijn - 2006 - Bulletin of Symbolic Logic 12 (3):411-491.
Randomness and computability: Open questions.Joseph S. Miller & André Nies - 2006 - Bulletin of Symbolic Logic 12 (3):390-410.
The K -Degrees, Low for K Degrees,and Weakly Low for K Sets.Joseph S. Miller - 2009 - Notre Dame Journal of Formal Logic 50 (4):381-391.

View all 20 citations / Add more citations

References found in this work

Boolean-Valued Models and Independence Proofs in Set Theory.J. L. Bell & Dana Scott - 1986 - Journal of Symbolic Logic 51 (4):1076-1077.
Natural deduction and arbitrary objects.Kit Fine - 1985 - Journal of Philosophical Logic 14 (1):57 - 107.
Forcing and generalized quantifiers.J. Krivine - 1973 - Annals of Mathematical Logic 5 (3):199.

Add more references