On the computational content of the Bolzano-Weierstraß Principle (Q3053232)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the computational content of the Bolzano-Weierstraß Principle
scientific article

    Statements

    On the computational content of the Bolzano-Weierstraß Principle (English)
    0 references
    0 references
    0 references
    4 November 2010
    0 references
    Bolzano-Weierstraß principle
    0 references
    sequential compactness
    0 references
    hard analysis
    0 references
    Dialectica interpretation
    0 references
    Gödel functional interpretation
    0 references
    monotone functional interpretation
    0 references
    computational content
    0 references
    proof mining
    0 references
    computable functionals
    0 references

    Identifiers

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