Weihrauch and constructive reducibility between existence statements (Q4995601)

From MaRDI portal
scientific article; zbMATH DE number 7363323
Language Label Description Also known as
English
Weihrauch and constructive reducibility between existence statements
scientific article; zbMATH DE number 7363323

    Statements

    Weihrauch and constructive reducibility between existence statements (English)
    0 references
    0 references
    25 June 2021
    0 references
    foundations of mathematics
    0 references
    Weihrauch reducibility
    0 references
    reverse mathematics
    0 references
    constructive mathematics
    0 references
    finite-type arithmetic
    0 references
    existence statements
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers