{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T15:10:10Z","timestamp":1747581010168,"version":"3.40.5"},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2000,6,1]],"date-time":"2000-06-01T00:00:00Z","timestamp":959817600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,6,1]],"date-time":"2000-06-01T00:00:00Z","timestamp":959817600000},"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,6]]},"DOI":"10.1023\/a:1008655708680","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T15:12:40Z","timestamp":1040569960000},"page":"145-160","source":"Crossref","is-referenced-by-count":0,"title":["An Illustration of the Power of Structure Theory"],"prefix":"10.1007","volume":"8","author":[{"given":"Karl H.","family":"Hofmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"181492_CR1","doi-asserted-by":"crossref","first-page":"401","DOI":"10.2140\/pjm.1958.8.401","volume":"8","author":"R. Ellis","year":"1958","unstructured":"Ellis, R.: Distal transformation groups, Pacific J. Math.\n8(1958), 401\u2013405.","journal-title":"Pacific J. Math."},{"key":"181492_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-67678-9","volume-title":"A Compendium of Continuous Lattices","author":"G. Gierz","year":"1980","unstructured":"Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M. W., and Scott, D. S.: A Compendium of Continuous Lattices, Springer-Verlag, Heidelberg, 1980."},{"key":"181492_CR3","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1515\/9783110856040.347","volume-title":"The Analytical and Topological Theory of Semigroups","author":"N. Hindman","year":"1990","unstructured":"Hindman, N.: The semigroup_N and its applications to number theory, in K. H. Hofmann, J. D. Lawson, and J. S. Pym (eds), The Analytical and Topological Theory of Semigroups, De Gruyter, Berlin, 1990, pp. 347\u2013360."},{"key":"181492_CR4","doi-asserted-by":"crossref","DOI":"10.1515\/9783110809220","volume-title":"Algebra in the Stone-\u010cech Compactification","author":"N. Hindman","year":"1998","unstructured":"Hindman, N. and Papert, D.: Algebra in the Stone-\u010cech Compactification, De Gruyter, Berlin, 1998."},{"key":"181492_CR5","first-page":"23","volume":"22","author":"K. H. Hofmann","year":"1995","unstructured":"Hofmann, K. H. and Mislove, M. W.: All compact Hausdorff models are degenerate, Fund. Inform.\n22(1995), 23\u201352.","journal-title":"Fund. Inform."},{"key":"181492_CR6","doi-asserted-by":"crossref","unstructured":"Hofmann, K. H. and Mislove, M. W.: Principles underlying the degeneracy of topological models of the untyped lambda calculus, in K. H. Hofmann and M.W. Mislove (eds), Semigroup Theory and Its Applications, Cambridge Univ. Press, 1996, pp. 123\u2013155.","DOI":"10.1017\/CBO9780511661877.010"},{"key":"181492_CR7","volume-title":"Elements of Compact Semigroups","author":"K. H. Hofmann","year":"1966","unstructured":"Hofmann, K. H. and Mostert, P. S.: Elements of Compact Semigroups, Charles E. Merrill Publishers, Columbus, OH, 1966."},{"key":"181492_CR8","unstructured":"Lawson, J. D.: A purely semigroup theoretical proof of van der Waerden's Theorem, Personal Communication, December 1995."},{"key":"181492_CR9","unstructured":"Mislove, M. W.: Topology, domain theory, and theoretical computer science, Elsevier Preprint, September 1996."},{"key":"181492_CR10","unstructured":"Haase, M.: Ramsey Theorie und die Stone-\u010cech-Kompaktifizierung diskreter Halbgruppen, Diplom Thesis, University of T\u00fcbingen, 1997."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008655708680.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008655708680\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008655708680.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:34:32Z","timestamp":1747578872000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008655708680"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,6]]},"references-count":10,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2000,6]]}},"alternative-id":["181492"],"URL":"https:\/\/doi.org\/10.1023\/a:1008655708680","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"type":"print","value":"0927-2852"},{"type":"electronic","value":"1572-9095"}],"subject":[],"published":{"date-parts":[[2000,6]]}}}