Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$ (Q6096807)

From MaRDI portal
scientific article; zbMATH DE number 7738077
Language Label Description Also known as
English
Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$
scientific article; zbMATH DE number 7738077

    Statements

    Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$ (English)
    0 references
    0 references
    15 September 2023
    0 references

    Identifiers