{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T13:33:57Z","timestamp":1776864837229,"version":"3.51.2"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"10","license":[{"start":{"date-parts":[[2017,4,5]],"date-time":"2017-04-05T00:00:00Z","timestamp":1491350400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.1007\/s00500-017-2573-z","type":"journal-article","created":{"date-parts":[[2017,4,5]],"date-time":"2017-04-05T12:05:30Z","timestamp":1491393930000},"page":"2485-2502","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["The Cuntz semigroup and domain theory"],"prefix":"10.1007","volume":"21","author":[{"given":"Klaus","family":"Keimel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,5]]},"reference":[{"key":"2573_CR1","volume-title":"Handbook of logic in computer science","author":"S Abramsky","year":"1995","unstructured":"Abramsky S, Jung A (1995) Domain theory. In: Abramsky S et al (eds) Handbook of logic in computer science, vol 3. Clarendon Press, Oxford"},{"issue":"3","key":"2573_CR2","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/j.tcs.2004.06.021","volume":"328","author":"M Alvarez-Manilla","year":"2004","unstructured":"Alvarez-Manilla M, Jung A, Keimel K (2004) The probabilistic powerdomain for stably compact spaces. Theor Comput Sci 328(3):221\u2013244","journal-title":"Theor Comput Sci"},{"key":"2573_CR3","doi-asserted-by":"publisher","unstructured":"Antoine R, Bosa J, Perera F (2011) Completions of monoids with applications to the Cuntz semigroup. Int J Math 22(6):837\u2013861. arXiv:1003.2874","DOI":"10.1142\/S0129167X11007057"},{"key":"2573_CR4","unstructured":"Antoine R, Perera F, Thiel H (2014) Tensor products and regularity properties of Cuntz semigroups. arXiv:1410.0483v3"},{"key":"2573_CR5","first-page":"161","volume":"623","author":"KT Coward","year":"2008","unstructured":"Coward KT, Elliott GA, Ivanescu C (2008) The Cuntz semigroup as an invariant for $$\\text{ C }^**$$ C \u2217 \u2217 -algebras. J Reine Angew Math 623:161\u2013193","journal-title":"J Reine Angew Math"},{"key":"2573_CR6","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/BF01421922","volume":"233","author":"J Cuntz","year":"1978","unstructured":"Cuntz J (1978) Dimension functions on simple $$\\text{ C }^*$$ C \u2217 -algebras. Math Ann 233:145\u2013153","journal-title":"Math Ann"},{"key":"2573_CR7","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0022-1236(79)90108-3","volume":"33","author":"J Cuntz","year":"1979","unstructured":"Cuntz J, Pedersen GK (1979) Equivalence and traces on $$C^*$$ C \u2217 -algebras. J Funct Anal 33:135\u2013164","journal-title":"J Funct Anal"},{"key":"2573_CR8","doi-asserted-by":"publisher","first-page":"969","DOI":"10.1353\/ajm.2011.0027","volume":"133","author":"GA Elliott","year":"2011","unstructured":"Elliott GA, Robert L, Santiago L (2011) The cone of lower semicontinuous traces on a $$C^*$$ C \u2217 -algebra. Am J Math 133:969\u20131005","journal-title":"Am J Math"},{"key":"2573_CR9","doi-asserted-by":"publisher","unstructured":"Ern\u00e9 M (1981) Scott convergence and Scott topology in partially ordered sets II. In: Banaschewski B, Hoffmann R-E (eds) Continuous Lattices, Proceedings, Bremen 1979. Lecture Notes on Mathematics, vol 871, pp 61\u201396. Springer, Berlin","DOI":"10.1007\/BFb0089904"},{"key":"2573_CR10","first-page":"57","volume-title":"Category theory at work","author":"M Ern\u00e9","year":"1991","unstructured":"Ern\u00e9 M (1991) The ABC of order and topology. In: Herrlich H, Porst H-E (eds) Category theory at work. Heldermann Verlag, Berlin, pp 57\u201383"},{"key":"2573_CR11","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1023\/A:1008657800278","volume":"7","author":"M Ern\u00e9","year":"1999","unstructured":"Ern\u00e9 M (1999) Z-continuous posets and their topological manifestation. Appl Categ Struct 7:31\u201370","journal-title":"Appl Categ Struct"},{"key":"2573_CR12","doi-asserted-by":"crossref","unstructured":"Ershov YL (1973) The theory of A-spaces. Algebra i Logika 12: 369\u2013416 (in Russian). Algebra and Logic (1975), 209\u2013232 (English Translation)","DOI":"10.1007\/BF02218570"},{"key":"2573_CR13","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1002\/malq.19750210164","volume":"21","author":"Y Ershov","year":"1975","unstructured":"Ershov Y (1975) Theorie der Nummerierungen II. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 21:473\u2013584","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"2573_CR14","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(96)00167-3","volume":"175","author":"Y Ershov","year":"1997","unstructured":"Ershov Y (1997) The bounded complete hull of an $$\\alpha $$ \u03b1 -space. Theor Comput Sci 175:3\u201313","journal-title":"Theor Comput Sci"},{"key":"2573_CR15","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0304-3975(98)00307-7","volume":"224","author":"Y Ershov","year":"1999","unstructured":"Ershov Y (1999) On d-spaces. Theor Comput Sci 224:59\u201372","journal-title":"Theor Comput Sci"},{"key":"2573_CR16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511542725","volume-title":"Continuous lattices and domains","author":"G Gierz","year":"2003","unstructured":"Gierz G, Hofmann KK, Keimel K, Lawson JD, Mislove M, Scott DS (2003) Continuous lattices and domains. Cambridge University Press, Cambridge"},{"key":"2573_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0960129513000467","volume":"25","author":"J Goubault-Larrecq","year":"2015","unstructured":"Goubault-Larrecq J (2015) A short proof of the Schr\u00f6der-Simpson theorem. Math Struct Comput Sci 25:1\u20135","journal-title":"Math Struct Comput Sci"},{"key":"2573_CR18","unstructured":"Hofmann KH, Stralka A (1976) The algebraic theory of compact Lawson semilattices. Application of Galois connections to compact semilattices. Dissertationes Matematicae (Rzprawy Matematyczne)CXXXVII, Warszawa , 54 p"},{"key":"2573_CR19","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/s00233-008-9078-0","volume":"77","author":"K Keimel","year":"2008","unstructured":"Keimel K (2008) Topological cones: functional analysis in a T $$_0$$ 0 -setting. Semigr Forum 77:108\u2013142","journal-title":"Semigr Forum"},{"key":"2573_CR20","doi-asserted-by":"publisher","first-page":"353","DOI":"10.2989\/16073606.2012.725274","volume":"35","author":"K Keimel","year":"2012","unstructured":"Keimel K (2012) Locally convex cones and the Schr\u00f6der-Simpson theorem. Quaestiones Mathematicae 35:353\u2013390","journal-title":"Quaestiones Mathematicae"},{"issue":"186","key":"2573_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.topol.2015.01.015","volume":"185","author":"K Keimel","year":"2015","unstructured":"Keimel K (2015) Weakly compact spaces of homomorphisms in asymmetric topology. Topol Appl 185(186):1\u201322","journal-title":"Topol Appl"},{"key":"2573_CR22","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1016\/j.apal.2008.06.019","volume":"159","author":"K Keimel","year":"2009","unstructured":"Keimel K, Lawson JD (2009) D-completions and the d-topology. Ann Pure Appl Log 159:292\u2013306","journal-title":"Ann Pure Appl Log"},{"key":"2573_CR23","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1006\/aima.2001.2041","volume":"167","author":"E Kirchberg","year":"2002","unstructured":"Kirchberg E, R\u00f8rdam M (2002) Infinite non-simple $$C^*$$ C \u2217 -algebras: Absorbing the Cuntz algebra $$\\cal{O}_{\\infty }$$ O \u221e . Adv Math 167:195\u2013264","journal-title":"Adv Math"},{"key":"2573_CR24","unstructured":"Nachbin L (1965) Topology and order. D. van Norstrand, vi+122 pp"},{"key":"2573_CR25","doi-asserted-by":"publisher","unstructured":"Plotkin GD (2006) A domain-theoretic Banach-Alaoglu theorem. Math Struct Comput Sci 16:299\u2013311. doi: 10.1017\/S0960129506005172","DOI":"10.1017\/S0960129506005172"},{"key":"2573_CR26","doi-asserted-by":"publisher","unstructured":"Robert L (2009) On the comparison of positive elements of a C*-algebra by lower semicontinuous traces. Indiana Univ Math J 58:2509\u20132515. ( arXiv:0806.1570 )","DOI":"10.1512\/iumj.2009.58.3704"},{"key":"2573_CR27","doi-asserted-by":"publisher","unstructured":"Scott DS (1972) Continuous lattices. In: Lawvere FW (eds) Toposes, algebraic geometry and logic. Lecture notes in 274, pp 97\u2013136. Springer, Berlin","DOI":"10.1007\/BFb0073967"},{"key":"2573_CR28","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/0304-3975(77)90045-7","volume":"5","author":"MB Smyth","year":"1977","unstructured":"Smyth MB (1977) Effectively given domains. Theor Comput Sci 5:257\u2013274","journal-title":"Theor Comput Sci"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-017-2573-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-017-2573-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-017-2573-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T13:22:41Z","timestamp":1568985761000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-017-2573-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,5]]},"references-count":28,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2017,5]]}},"alternative-id":["2573"],"URL":"https:\/\/doi.org\/10.1007\/s00500-017-2573-z","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,4,5]]}}}