{"entities":{"Q2881006":{"pageid":2891726,"ns":120,"title":"Item:Q2881006","lastrevid":58040421,"modified":"2026-04-03T13:53:09Z","type":"item","id":"Q2881006","labels":{"en":{"language":"en","value":"Core compactness and diagonality in spaces of open sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6020946"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881006$7C689A20-4C1E-4305-8D4D-84FE829DA24D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d0ab102608ed98ce8111483fe623b9a1de4aee6","datavalue":{"value":"1239.54004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881006$92CCA538-CA6D-44ED-9F17-F319CDE4E01E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4564d693e94542a970cdcf55fbcf7546c214c004","datavalue":{"value":{"entity-type":"item","numeric-id":178078,"id":"Q178078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881006$0C2A25EE-A1B0-44D9-8A85-996482C3BF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0123c8bbe0ce70347f65e953c7d6dd334b4cc027","datavalue":{"value":{"entity-type":"item","numeric-id":719723,"id":"Q719723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881006$FBA41568-344A-4060-89B4-9B79A450AA51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d567b51f320d6b206f1e246178a080db047a3948","datavalue":{"value":{"time":"+2012-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2881006$AD49D53B-FABA-4DCF-822C-11975DD850C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e3170d9776960b033519120935f34a2f82bfd33","datavalue":{"value":"https://arxiv.org/abs/1011.3574","type":"string"},"datatype":"url"},"type":"statement","id":"Q2881006$072EB113-A38E-4BE7-AEE6-2BB9600796EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5c2adfaab0f9778d4b3dbe319e57b1c592c0f884","datavalue":{"value":"54B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881006$88B4FD49-A570-4FEE-A0D5-D9856CB5B220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e88091f3299bc49922edc3e77e6554e5bceb24cd","datavalue":{"value":"54A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881006$17C1078D-7176-4E02-979B-F13396B49493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e886f6e0421be5a8f743ae1b051b4f18a64974b4","datavalue":{"value":"54A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881006$2563A100-4E27-454B-BE45-DBB2D7CF9BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95029d8a64bb8f3d3cdfc3600a969acd585581e0","datavalue":{"value":"54D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881006$B5047A26-508A-4ABD-A044-972FA06338DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73c2d744f5b547462b092fe7098ee648fb168b9e","datavalue":{"value":"6020946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881006$D04A77BE-60AC-406D-B33A-44FBD6D9B750","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b22022146b0bfadac9dd5cceb18b1e1e6564b5f9","datavalue":{"value":"Scott convergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881006$FA687D55-D47F-447D-A167-6DB496482005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0c5234f1c77925a7d945332d3681640f7161d","datavalue":{"value":"Scott topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881006$C1AD905C-230B-406C-92BD-CEC746C8BCD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b286b4120caa6c75fe1ec6b561e8d1f6d79ee68a","datavalue":{"value":"upper Kuratowski convergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881006$F19E13BC-44D3-4011-9ADA-1713BC5D6912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecb399a018041055d6b44f80a616a38e00e622cb","datavalue":{"value":"upper Kuratowski topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881006$50BFBDF3-9EE9-49C9-9DB6-A0263F78645E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba1a094177aaa363cc3f0bcdb461724cca9d31b0","datavalue":{"value":"core compact","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881006$8DF94864-B805-4C0A-86E1-C4D30C3D5B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3f14d2219df3a772c85e48466b2129d97c2c88e","datavalue":{"value":"diagonal convergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881006$4C4DCF47-73B8-4C3D-9777-7548CEA48FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2ac16fcd59e1a4eaf4f021c8d5600b52b6f3b70","datavalue":{"value":"pretopology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881006$2D55FFDF-9B22-4096-90CD-45E54DFF39C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8dca712326bdb1ac6a55553f9c24d0d1c45c7c7","datavalue":{"value":"consonance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881006$3F36B104-3DB1-49AE-B5D1-62BAA4FD307D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"353b24703a8b4c79131c630807a6b06881980659","datavalue":{"value":"infraconsonance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881006$A4C34685-D906-48C8-90C9-26CFC2DDCB03","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881006$F9A27CD0-669F-4BBE-8BEE-1E52A089E848","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"576b8ce27f8ca661cc1f8afb22e52452400f075a","datavalue":{"value":{"text":"Core compactness and diagonality in spaces of open sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2881006$378962FF-AFC7-415E-9196-CA32B881FE63","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ee8d0b0595e5a2e17b1decf33b9846ce6b040c2","datavalue":{"value":{"entity-type":"item","numeric-id":2756138,"id":"Q2756138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881006$944A5898-2293-4F25-B6FD-C7E65280C8BC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"57725b721eb20026b1166aec6f179b5101ef4d1a","datavalue":{"value":"For a convergence space \\(X\\), let \\({\\mathcal O}_X\\) denote the collection of all open subsets of \\(X\\), \\([X, {\\$} ] \\) the Scott convergence of the complete lattice \\(({\\mathcal O}_X, \\subseteq)\\), that is, the convergence on \\({\\mathcal O}_X\\) such that for every \\(U \\in {\\mathcal O}_X\\) and every filter \\({\\mathcal F}\\) on \\({\\mathcal O}_X\\), \\(U \\in \\lim_{[X , \\$]} {\\mathcal F}\\) if and only if every filter on \\({\\mathcal O}_X\\) converging to a point of \\(U\\) contains an element of \\(\\{\\bigcap _{O \\in F} O: F \\in {\\mathcal F}\\}\\), and \\(T[X, \\$]\\) the topological modification of \\([X ,\\$]\\). In the paper under review, the authors investigate when \\(T[X, \\$]\\) is core compact and characterize diagonality of the convergence space \\(({\\mathcal O}_X, [X, \\$])\\).NEWLINENEWLINEA topological space \\(X\\) is said to be core compact if for every \\(x \\in X\\) and its neighborhood \\(O\\) in \\(X\\), there exists a neighborhood \\(U\\) of \\(x\\) such that every open cover of \\(O\\) has a finite subfamily that covers \\(U\\). A topological space \\(X\\) is said to be consonant if every Scott open set \\({\\mathcal A}\\) in \\({\\mathcal O}_X\\) is compactly generated, that is, there is a family \\((K_i)_{i \\in I}\\) of compact subsets of \\(X\\) such that for every \\(A \\in {\\mathcal A}\\) there is \\(i \\in I\\) such that \\(K_i \\subseteq A\\). A space \\(X\\) is said to be infraconsonant if for every Scott open set \\({\\mathcal A}\\) in \\({\\mathcal O}_X\\), there exists a Scott open set \\({\\mathcal C}\\) such that \\(\\{ C \\cap D: C , D \\in {\\mathcal C}\\} \\subseteq {\\mathcal A}\\). Concerning the core-compactness of \\(T[X, \\$]\\), the authors prove the following theorems: If \\(X\\) is topological and \\(T[X, \\$]\\) is core compact, then \\(X\\) is infraconsonant; if \\(X\\) is a consonant topological space such that \\(T[X , \\$]\\) is core compact, then \\(X\\) is locally compact; and a space \\(X\\) is infraconsonant if and only if the Scott topology on \\({\\mathcal O}_X \\times {\\mathcal O}_X\\) is coincides with the product topology of the Scott topologies of \\({\\mathcal O}_X\\) at \\((X,X)\\).NEWLINENEWLINELet \\(\\mathbb{F}X\\) denote the set of all filters of \\(X\\). A convergence space \\(X\\) is said to be diagonal if for every map \\({\\mathcal S} : X \\to \\mathbb{F}X\\) with \\(x \\in \\lim S[x]\\) for all \\(x \\in X\\), the filter \\(\\bigcup _{F \\in {\\mathcal F}}\\bigcap _{x \\in F} {\\mathcal S}[x]\\) converges to \\(x\\) whenever \\(x \\in X\\) and \\({\\mathcal F}\\) is a filter satisfying \\(x \\in \\lim {\\mathcal F}\\). The authors give a necessary and sufficient condition for a topological space \\(X\\) in order that the convergence space \\(({\\mathcal O}_X, [X, \\$])\\) is diagonal in terms of a variant of core-compactness. It is known that a convergence space is topological if and only if it is pretopological and diagonal. The authors prove that if a convergence space \\(X\\) is topological and \\([X , \\$]\\) is pretopological, then \\([X, \\$]\\) is topological; and that if \\(X\\) is a non locally compact Hausdorff space of character not exceeding the cardinality of the continuum, then \\([X, \\$]\\) is not diagonal. They also give an example of a Hausdorff space \\(X\\) such that \\([X,\\$]\\) is diagonal but not pretopological under the assumption that there exists an uncountable strongly inaccessible cardinal.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881006$1299ADFE-B83A-4081-BBE5-E95EB72503F2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"78541ca3752c550ada4b6d0f947bbeebdda5cdb8","datavalue":{"value":{"entity-type":"item","numeric-id":409596,"id":"Q409596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881006$47D906CF-9CD7-4625-AEC4-725FA2BD359C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfeedc70325313cc7e3051e237c6693cbdb27138","datavalue":{"value":{"entity-type":"item","numeric-id":818411,"id":"Q818411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec2bc22a393d44b9d04e98e7c711e84cc0bcc43f","datavalue":{"value":{"amount":"+0.7505633234977722","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2881006$EB017BDB-8AD5-4F83-8B98-67BA2E3BC05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6bc2b0bf24c02de75682a69796cbdc7a85296d9","datavalue":{"value":{"entity-type":"item","numeric-id":4365926,"id":"Q4365926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bd22b0faae52bddc5787181fa13823c32ebc8d3","datavalue":{"value":{"amount":"+0.7504475712776184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2881006$664B4D7D-C014-4240-A789-38BA30089E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d440eb962d7a7f56127649d321238a71dc00b8b7","datavalue":{"value":{"entity-type":"item","numeric-id":2065103,"id":"Q2065103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44e3dada15fa4c2a45f3f44e8b2bca421f7fe604","datavalue":{"value":{"amount":"+0.7499663829803467","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2881006$6126E1E0-D502-4135-9E78-5770E219A2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d97e784925d8132537b172011938282f1911fe6","datavalue":{"value":{"entity-type":"item","numeric-id":5856400,"id":"Q5856400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc4dc0af3cd7bc7191f28369a1edd964f5134aa4","datavalue":{"value":{"amount":"+0.7450954914093018","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2881006$0DE9937E-C338-4D87-BB41-54ED95B225CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8082f4850e1b314b76c77065ae138324ce70340f","datavalue":{"value":{"entity-type":"item","numeric-id":3814371,"id":"Q3814371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e13472d20580d0319d11404e890d26f84b471408","datavalue":{"value":{"amount":"+0.7376313805580139","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2881006$87082472-BBDD-4E40-9520-004E2A0D2F48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2881006","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2881006"}}}}}