In domain realizability, not all functionals on C[-1,1] are continuous

Research output: Contribution to journal › Article

1 Citation (Scopus)

Original language	English
Pages (from-to)	41-44
Number of pages	4
Journal	Mathematical Logic Quarterly
Volume	48
Issue number	1
DOIs	https://doi.org/10.1002/1521-3870(200210)48:1+<41::AID-MALQ41>3.0.CO;2-V
Publication status	Published - 1 Jan 2002

Access to Document

@article{0c978a6c9a0744139a62699faa877cd2,

title = "In domain realizability, not all functionals on C[-1,1] are continuous",

author = "Martin Escardo and T Streicher",

year = "2002",

month = jan,

day = "1",

doi = "10.1002/1521-3870(200210)48:1+<41::AID-MALQ41>3.0.CO;2-V",

language = "English",

volume = "48",

pages = "41--44",

journal = "Mathematical Logic Quarterly",

issn = "1521-3870",

publisher = "Wiley",

number = "1",

}

TY - JOUR

T1 - In domain realizability, not all functionals on C[-1,1] are continuous

AU - Escardo, Martin

AU - Streicher, T

PY - 2002/1/1

Y1 - 2002/1/1

UR - http://www.scopus.com/inward/record.url?scp=0036436453&partnerID=8YFLogxK

U2 - 10.1002/1521-3870(200210)48:1+<41::AID-MALQ41>3.0.CO;2-V

DO - 10.1002/1521-3870(200210)48:1+<41::AID-MALQ41>3.0.CO;2-V

M3 - Article

SN - 1521-3870

VL - 48

SP - 41

EP - 44

JO - Mathematical Logic Quarterly

JF - Mathematical Logic Quarterly

IS - 1

ER -