2 research outputs found

    In Domain Realizability, not all Functionals on C[-1, 1] are Continuous

    No full text
    In this note we exhibit a continuity principle for real-valued functions on C[1, 1] that is not validated by realizability over domains although it is validated by Kleene's functional realizability corresponding to Weihrauch's theory of type 2 effectivity
    corecore