No label defined (Q5702662)

From MaRDI portal
scientific article; zbMATH DE number 2222013
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 2222013

    Statements

    0 references
    0 references
    2 November 2005
    0 references
    bar recursion
    0 references
    realizability interpretation
    0 references
    axiom of dependent choice
    0 references
    extraction of witnesses from proofs
    0 references
    classical analysis
    0 references
    fan functional
    0 references
    strongly majorizable functionals
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references