Arithmetic complexity via effective names for random sequences (Q2946673)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Arithmetic complexity via effective names for random sequences
scientific article

    Statements

    Arithmetic complexity via effective names for random sequences (English)
    0 references
    0 references
    0 references
    0 references
    17 September 2015
    0 references
    Schnorr randomness
    0 references
    arithmetical hierarchy
    0 references
    computable randomness
    0 references

    Identifiers