{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,22]],"date-time":"2024-12-22T05:05:56Z","timestamp":1734843956529,"version":"3.32.0"},"reference-count":29,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":5323,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1999]]},"DOI":"10.1016\/s1571-0661(04)80084-7","type":"journal-article","created":{"date-parts":[[2004,12,13]],"date-time":"2004-12-13T17:55:14Z","timestamp":1102960514000},"page":"375-398","source":"Crossref","is-referenced-by-count":3,"special_numbering":"C","title":["The Largest Topological Subcategory of Countably-based Equilogical Spaces"],"prefix":"10.1016","volume":"20","author":[{"given":"Mat\u00edas","family":"Menni","sequence":"first","affiliation":[]},{"given":"Alex","family":"Simpson","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80084-7_NEWBIB1","unstructured":"A. Bauer, L. Birkedal and D. S. Scott, Equilogical spaces, Submitted manuscript, 1998."},{"key":"10.1016\/S1571-0661(04)80084-7_NEWBIB2","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0168-0072(93)90038-F","article-title":"Total sets and objects in domain theory","volume":"60","author":"Berger","year":"1993","journal-title":"Annals of Pure and Applied Logic"},{"year":"1997","series-title":"Continuous Functionals of Dependent and Transfinite Types","author":"Berger","key":"10.1016\/S1571-0661(04)80084-7_NEWBIB3"},{"key":"10.1016\/S1571-0661(04)80084-7_NEWBIB4","doi-asserted-by":"crossref","unstructured":"A. Carboni and G. Rosolini, Locally cartesian closed exact completions, Submitted to the Journal of Pure and Applied Algebra, 1998.","DOI":"10.1016\/S0022-4049(96)00115-6"},{"year":"1990","series-title":"Information to Lattices and Order","author":"Davey","key":"10.1016\/S1571-0661(04)80084-7_NEWBIB5"},{"key":"10.1016\/S1571-0661(04)80084-7_NEWBIB6","doi-asserted-by":"crossref","DOI":"10.1016\/0022-4049(72)90021-7","article-title":"A reflection theorem for closed categories","volume":"2","author":"Day","year":"1972","journal-title":"Journal of Pure and Applied Algebra"},{"key":"10.1016\/S1571-0661(04)80084-7_NEWBIB7","doi-asserted-by":"crossref","first-page":"107","DOI":"10.4064\/fm-57-1-107-115","article-title":"Spaces in which sequences suffice","volume":"57","author":"Franklin","year":"1965","journal-title":"Fund. Math"},{"year":"1990","series-title":"Categories, Allegories","author":"Freyd","key":"10.1016\/S1571-0661(04)80084-7_NEWBIB8"},{"key":"10.1016\/S1571-0661(04)80084-7_NEWBIB9","series-title":"Logic Colloquium","article-title":"Equality between functionals","author":"Friedman","year":"1975"},{"year":"1980","series-title":"A Compendium of Continuous Lattices","author":"Gierz","key":"10.1016\/S1571-0661(04)80084-7_NEWBIB10"},{"key":"10.1016\/S1571-0661(04)80084-7_NEWBIB11","unstructured":"R. Heckmann, On the Relationship between Filter Spaces and Equilogical Spaces, Manuscript, 1998."},{"key":"10.1016\/S1571-0661(04)80084-7_NEWBIB12","doi-asserted-by":"crossref","unstructured":"J. M. E. Hyland, Continuity in spatial toposes, In: Applications of Sheaves, Lecture N otes in Mathematics 753 (1979), pp. 442\ue4f8465.","DOI":"10.1007\/BFb0061827"},{"key":"10.1016\/S1571-0661(04)80084-7_NEWBIB13","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/0003-4843(79)90006-8","article-title":"Filter spaces and continuous functionals","volume":"16","author":"Hyland","year":"1979","journal-title":"Annals of Mathematicals Logic"},{"key":"10.1016\/S1571-0661(04)80084-7_NEWBIB14","unstructured":"J. M. E. Hyland, First steps in synthetic domain theory, In: Category Theory, Proceedings, Como 1990, Lecture Notes in Mathematics 1488 (1990)."},{"key":"10.1016\/S1571-0661(04)80084-7_NEWBIB15","doi-asserted-by":"crossref","unstructured":"P. T. Johnstone, On a topological topos, Proceedings of the London Mathematical Society 38 (1979), pp. 237\u2013271.","DOI":"10.1112\/plms\/s3-38.2.237"},{"key":"10.1016\/S1571-0661(04)80084-7_NEWBIB16","doi-asserted-by":"crossref","unstructured":"A Jung, The troublesome probabilistic powerdomain, Electronic Notes in Theoretical Computer Science 13 (1998), URL: http:\/\/www.elsevier.nl\/locate\/entcs\/volume13.html.","DOI":"10.1016\/S1571-0661(05)80216-6"},{"key":"10.1016\/S1571-0661(04)80084-7_NEWBIB17","doi-asserted-by":"crossref","unstructured":"C. Kreitz and K. Weihrauch, Theory of representations, Theoretical Computer Science 38 (185), pp. 35-53.","DOI":"10.1016\/0304-3975(85)90208-7"},{"key":"10.1016\/S1571-0661(04)80084-7_NEWBIB18","unstructured":"C. Kuratowski, \"Topologie,\" Warsawa, 1952."},{"key":"10.1016\/S1571-0661(04)80084-7_NEWBIB19","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","article-title":"Categories for the Working Mathematician","author":"Lane","year":"1971"},{"key":"10.1016\/S1571-0661(04)80084-7_NEWBIB20","unstructured":"D. Normann, The continuous functionals of finite types over the reals, Manuscripts, 1998."},{"key":"10.1016\/S1571-0661(04)80084-7_NEWBIB21","unstructured":"D. Normann and G. Waagb\u00f8, Limit Spaces and Transfinite Types, Manuscript, 1998."},{"key":"10.1016\/S1571-0661(04)80084-7_NEWBIB22","unstructured":"J. Rosick\u00fd, Cartesian closed exact completions, Available from the Hypatia Electronic Library: URL: http:\/\/hypatia.dcs.qmw.ac.uk, 1997."},{"key":"10.1016\/S1571-0661(04)80084-7_NEWBIB23","unstructured":"G. Rosolini, Equilogical spaces and filter spaces, Manuscript, 1998."},{"key":"10.1016\/S1571-0661(04)80084-7_NEWBIB24","doi-asserted-by":"crossref","unstructured":"G. Rosolini, L. Birkedal, A. Carboni and D.S. Scott, Types theory via exact categories, In: Proceedings of 13th Annual Symposium on Logic in Computer Science, 1998, pp. 188\u2013198.","DOI":"10.1109\/LICS.1998.705655"},{"key":"10.1016\/S1571-0661(04)80084-7_NEWBIB25","first-page":"123","article-title":"A model for bar recursion at higher types","volume":"23","author":"Scarpellini","year":"1971","journal-title":"Comp. Math"},{"key":"10.1016\/S1571-0661(04)80084-7_NEWBIB26","doi-asserted-by":"crossref","unstructured":"D. S. Scott, Continuous lattices, In: Toposes, Algebraic Geometry and Logic, Lecture Notes in Mathematics 274 (1972), pp. 97-136.","DOI":"10.1007\/BFb0073967"},{"key":"10.1016\/S1571-0661(04)80084-7_NEWBIB27","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1137\/0205037","article-title":"Data types as lattices","volume":"5","author":"Scott","year":"1976","journal-title":"SIAM Journal of Computing"},{"key":"10.1016\/S1571-0661(04)80084-7_NEWBIB28","series-title":"Handbook of Logic in Computer Science, Volume 1","article-title":"Topology","author":"Smyth","year":"1992"},{"key":"10.1016\/S1571-0661(04)80084-7_NEWBIB29","doi-asserted-by":"crossref","unstructured":"K. Weihrauch and G. Schafer, Admissible representations of effective cpos, Theoretical Computer Science 26 (1983), pp. 131\u2013147.","DOI":"10.1016\/0304-3975(83)90083-X"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104800847?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104800847?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,21]],"date-time":"2024-12-21T08:53:42Z","timestamp":1734771222000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104800847"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"references-count":29,"alternative-id":["S1571066104800847"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80084-7","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[1999]]}}}