The axiomatization of randomness (Q5202179)

From MaRDI portal
scientific article; zbMATH DE number 4193658
Language Label Description Also known as
English
The axiomatization of randomness
scientific article; zbMATH DE number 4193658

    Statements

    The axiomatization of randomness (English)
    0 references
    0 references
    1990
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    quantifier elimination theorem for Friedman's ``almost all'' quantifier
    0 references
    axiomatization of von Mises' notion of a random sequence
    0 references
    independence relation
    0 references
    0 references