From Bolzano‐Weierstraß to Arzelà‐Ascoli (Q5419209)

From MaRDI portal
scientific article; zbMATH DE number 6301480
Language Label Description Also known as
English
From Bolzano‐Weierstraß to Arzelà‐Ascoli
scientific article; zbMATH DE number 6301480

    Statements

    From Bolzano‐Weierstraß to Arzelà‐Ascoli (English)
    0 references
    6 June 2014
    0 references
    reverse mathematics
    0 references
    Bolzano-Weierstrass theorem
    0 references
    Arzela-Ascoli theorem
    0 references
    strong cohesive principle
    0 references
    WKL
    0 references
    COH
    0 references
    instance-wise equivalence
    0 references
    uniform equicontinuity
    0 references
    computable analysis
    0 references
    computability
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references