{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T15:37:12Z","timestamp":1753889832461,"version":"3.41.2"},"reference-count":1,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","license":[{"start":{"date-parts":[[2015,9,25]],"date-time":"2015-09-25T00:00:00Z","timestamp":1443139200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/arxiv.org\/licenses\/nonexclusive-distrib\/1.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>In functional analysis it is well known that every linear functional defined\non the dual of a locally convex vector space which is continuous for the weak\ntopology is the evaluation at a uniquely determined point of the given vector\nspace. M. Schroeder and A. Simpson have obtained a similar result for lower\nsemicontinuous linear functionals on the cone of all Scott-continuous\nvaluations on a topological space endowed with the weak upper topology, an\nasymmetric version of the weak topology. This result has given rise to several\nproofs, originally by the Schroeder and Simpson themselves and, more recently,\nby the author of these Notes and by J. Goubault-Larrecq. The proofs developed\nfrom very technical arguments to more and more conceptual ones. The present\nNote continues on this line, presenting a conceptual approach inspired by\nclassical functional analysis which may prove useful in other situations.<\/jats:p>","DOI":"10.2168\/lmcs-11(3:21)2015","type":"journal-article","created":{"date-parts":[[2016,11,21]],"date-time":"2016-11-21T13:46:02Z","timestamp":1479735962000},"source":"Crossref","is-referenced-by-count":0,"title":["Weak upper topologies and duality for cones"],"prefix":"10.46298","volume":"Volume 11, Issue 3","author":[{"given":"Klaus","family":"Keimel","sequence":"first","affiliation":[]}],"member":"25203","published-online":{"date-parts":[[2015,9,25]]},"reference":[{"key":"888:not-found"}],"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/1597\/pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/lmcs.episciences.org\/1597\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,11]],"date-time":"2023-04-11T20:07:38Z","timestamp":1681243658000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/1597"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,25]]},"references-count":1,"URL":"https:\/\/doi.org\/10.2168\/lmcs-11(3:21)2015","relation":{"is-same-as":[{"id-type":"arxiv","id":"1507.06796","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.1507.06796","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"type":"electronic","value":"1860-5974"}],"subject":[],"published":{"date-parts":[[2015,9,25]]},"article-number":"1597"}}