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

DOI10.1002/1521-3870(200210)48:1+%3C41::AID-MALQ41%3E3.0.CO;2-VzbMATH Open1011.03047OpenAlexW2090411578MaRDI QIDQ4787855

Thomas Streicher, Martín Escardó

Publication date: 8 January 2003

Full work available at URL: https://doi.org/10.1002/1521-3870(200210)48:1+%3C41::aid-malq41%3E3.0.co;2-v

zbMATH Keywords

continuity principlereal-valued functionsfunctional realizabilityrealizability over domainstype 2 effectivity

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Continuous lattices and posets, applications (06B35) Categorical semantics of formal languages (18C50) Higher-type and set recursion theory (03D65)

Related Items (2)

Title not available (Why is that?) ⋮ Graphs of continuous functions from \({\mathbb R}\) to \({\mathbb R}\) are not purely unrectifiable

This page was built for publication: In Domain Realizability, not all Functionals on C[–1, 1] are Continuous

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4787855)