{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T04:02:20Z","timestamp":1747627340238,"version":"3.40.5"},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2000,12,1]],"date-time":"2000-12-01T00:00:00Z","timestamp":975628800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,12,1]],"date-time":"2000-12-01T00:00:00Z","timestamp":975628800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Applied Categorical Structures"],"published-print":{"date-parts":[[2000,12]]},"DOI":"10.1023\/a:1008673321209","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T15:12:40Z","timestamp":1040569960000},"page":"649-653","source":"Crossref","is-referenced-by-count":3,"title":["Sobriety in Terms of Nets"],"prefix":"10.1007","volume":"8","author":[{"given":"Philipp","family":"S\u00fcnderhauf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"184585_CR1","doi-asserted-by":"crossref","unstructured":"Johnstone, P. T.: Scott is not always sober, in: B. Banaschewski and R.-E. Hoffmann (eds), Continuous Lattices, Lecture Notes in: Math. 871, Springer, 1981, pp. 282\u2013283.","DOI":"10.1007\/BFb0089911"},{"key":"184585_CR2","volume-title":"Cambridge Studies in Advanced Mathematics","author":"P. T. Johnstone","year":"1982","unstructured":"Johnstone, P. T.: Stone Spaces, Vol. 3 of Cambridge Studies in Advanced Mathematics, Cambridge Univ. Press, Cambridge, 1982."},{"key":"184585_CR3","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1017\/S0305004100066597","volume":"101","author":"H. A. K\u00fcnzi","year":"1987","unstructured":"K\u00fcnzi, H.-P. A. and Br\u00fcmmer, G. C. L.: Sobrification and bicompletion of totally bounded quasiuniform spaces, Math. Proc. Cambridge Philos. Soc.\n101 (1987), 237\u2013246.","journal-title":"Math. Proc. Cambridge Philos. Soc."},{"key":"184585_CR4","doi-asserted-by":"crossref","first-page":"662","DOI":"10.1007\/BFb0036946","volume-title":"Automata, Languages and Programming, Lecture Notes in Comput. Sci.","author":"M. B. Smyth","year":"1983","unstructured":"Smyth, M. B.: Powerdomains and predicate transformers: A topological view, in: J. Diaz (ed.), Automata, Languages and Programming, Lecture Notes in Comput. Sci. 154, Springer, Berlin, 1983, pp. 662\u2013675."},{"key":"184585_CR5","unstructured":"Smyth, M. B.: Topology, in: S. Abramsky, D.M. Gabbay, and T. S. E. Maibaum (eds), Handbook of Logic in Computer Science, Vol. 1, Clarendon Press, 1992, pp. 641\u2013761."},{"issue":"2","key":"184585_CR6","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1112\/jlms\/49.2.385","volume":"49","author":"M. B. Smyth","year":"1994","unstructured":"Smyth, M. B.: Completeness of quasi-uniform and syntopological spaces, J. London Math. Soc.\n49(2) (1994), 385\u2013400.","journal-title":"J. London Math. Soc."},{"issue":"4","key":"184585_CR7","doi-asserted-by":"crossref","first-page":"715","DOI":"10.1080\/16073606.1997.9632239","volume":"20","author":"P. S\u00fcnderhauf","year":"1997","unstructured":"S\u00fcnderhauf, Ph.: Smyth-completeness in terms of nets: The general case, Quaestiones Math.\n20(4) (1997), 715\u2013720.","journal-title":"Quaestiones Math."},{"key":"184585_CR8","volume-title":"Cambridge Tracts in Theoretical Computer Science","author":"S. J. Vickers","year":"1989","unstructured":"Vickers, S. J.: Topology via Logic, Cambridge Tracts in Theoretical Computer Science, Cambridge Univ. Press, Cambridge, 1989."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008673321209.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008673321209\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008673321209.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:39:45Z","timestamp":1747579185000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008673321209"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,12]]},"references-count":8,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2000,12]]}},"alternative-id":["184585"],"URL":"https:\/\/doi.org\/10.1023\/a:1008673321209","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"type":"print","value":"0927-2852"},{"type":"electronic","value":"1572-9095"}],"subject":[],"published":{"date-parts":[[2000,12]]}}}