Paper Info
Title
The Axiomatization Of Randomness
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 forFriedman's "almost all" quantifier in terms of this independence relation.
Year
DOI
Venue
1990
10.2307/2274480
JOURNAL OF SYMBOLIC LOGIC
DocType
Volume
Issue
Journal
55
3
ISSN
Citations 
PageRank 
0022-4812
16
3.29
References 
Authors
0
1
Name
Order
Citations
PageRank
Michiel van Lambalgen114826.82