{"entities":{"Q2520765":{"pageid":2531508,"ns":120,"title":"Item:Q2520765","lastrevid":73521156,"modified":"2026-04-14T16:19:12Z","type":"item","id":"Q2520765","labels":{"en":{"language":"en","value":"On the sobriety of the inverse topology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6665312"}},"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":"Q2520765$7E720984-2B25-4D5D-84EF-63D3B94B727D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c635f374998ea266971da5e375660994b9a96fd","datavalue":{"value":{"text":"On the sobriety of the inverse topology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2520765$D33D95A7-7FA2-412A-AEEA-0B65EC7D2447","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cee99691d964a51d48ae2ea97f36d7b536c22a2f","datavalue":{"value":"1361.54016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520765$8DA4802B-4526-4F17-8B58-8D253E14CEF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"809a0750d18b5418bab0b1fa2b5a3feb0e1323e6","datavalue":{"value":{"entity-type":"item","numeric-id":387185,"id":"Q387185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520765$26B7FC93-8341-403B-B98D-DD894A9C2774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ef53ce142111456381c0506b6f18a5132db05f3","datavalue":{"value":{"entity-type":"item","numeric-id":248778,"id":"Q248778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520765$38E84905-DD5D-49DE-8A7F-9BD71C83FF34","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520765$D66777F9-C062-424F-B8B1-17D964D10E0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81dc7daf8e9d74fc43b1651d3815e34e62e970ab","datavalue":{"value":{"time":"+2016-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2520765$892B2288-F1A6-4FA4-BEC1-89C39B262586","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"385f78883cd5d71948945110b996d40554bcc509","datavalue":{"value":"Let \\(L\\) be an algebraic frame with the finite intersection property on compact elements and let \\(\\mathrm{Min}(L)\\) denote its set of minimal prime elements. The inverse topology on \\(\\mathrm{Min}(L)\\) is the topology generated by sets \\(V(c)=\\{p\\in\\mathrm{Min}(L)\\mid c\\leq p\\}\\) for compact \\(c\\in L\\). The resulting topological space is denoted by \\(\\mathrm{Min}(L)^{-1}\\). The goal of this paper is to investigate when \\(\\mathrm{Min}(L)^{-1}\\) is a sober space. Sufficient conditions for sobriety of \\(\\mathrm{Min}(L)^{-1}\\) are presented for a general \\(L\\) while a necessary and sufficient condition is given for the special case of a polarised \\(L\\) (i.e., when every minimal prime element is complemented).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520765$86E4D785-22E6-42D5-A2C0-8FCC9A42111C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4b7a94eb553ebb471d21cd9342e2b92f55c9f564","datavalue":{"value":{"entity-type":"item","numeric-id":283254,"id":"Q283254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520765$591303C6-001A-41B5-8528-A046F88FB7B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2193e4c351a5ae8a19e08e563c2540f53af0e96","datavalue":{"value":"54D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520765$2541CF80-442E-4BAB-AD1E-9E8DE161ECB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520765$4135A123-0567-4E61-9F01-6CA8FCD58781","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7c6911fe758624eccfca899fd2fc9cf9471dee2","datavalue":{"value":"6665312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520765$9476759E-EDEC-49D2-8EC8-09AC92F43328","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cf29bbe41fc8f926247efab54303739182e4818","datavalue":{"value":"minimal prime","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520765$52B6305B-5FD8-467D-81E9-C276693877A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a535fe0133e99ac31e13e2bc2d07dbe884b897f4","datavalue":{"value":"inverse topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520765$48E12235-D6D6-4A37-AAB5-FC254198C6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf7907b232bc03cd92891e7f9d4b1339ad6ad54","datavalue":{"value":"sober space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520765$0381816E-E64D-46E1-8B7E-3732A65CBE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dc576839b1aabf7fddb24d487cee09b2b920bdf","datavalue":{"value":"algebraic frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520765$51980D67-20B6-4A29-A63B-5151F000B47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e3d76cecae52674d187683ac3635e8f3076796b","datavalue":{"value":"finite intersection property on compact elements (FIP)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520765$78F8DC94-785C-45C8-B890-4F5DF7EB371E","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":"Q2520765$555FB710-3177-486C-8D9E-AEC96B2CBA47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"119650b4ba0b32ad4eed63e3de3f747eb06002ab","datavalue":{"value":"https://doi.org/10.1007/s00012-016-0414-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2520765$EE4B5B22-AC29-454A-8C71-DDBD1A057A14","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e891ca988eb7c499f2292f8e0543ecabc946d0cb","datavalue":{"value":"W2529723361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520765$3DEAE2BB-7FF7-43C5-9F9E-7D12727A7225","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d0423edcf832bdd240efc7b83a18bfc0fde498a","datavalue":{"value":{"entity-type":"item","numeric-id":5389523,"id":"Q5389523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520765$780EB844-3CA6-480D-BE71-E39CC42F7EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ba37a8bee71d9793a7298f6bb919d99779539e","datavalue":{"value":{"entity-type":"item","numeric-id":382341,"id":"Q382341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520765$464821D4-0C64-45A6-A1FF-47D6D197E8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ad6861c78fd4390c0613c4ab63948d956f71fd","datavalue":{"value":{"entity-type":"item","numeric-id":5639727,"id":"Q5639727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520765$ABE53C1A-2EF1-4E95-908C-DEBE2E90CF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7fb84bbf1a0491971d2eff0657258d9623919a","datavalue":{"value":{"entity-type":"item","numeric-id":3884629,"id":"Q3884629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520765$A8185AF7-ABB7-4D98-BB08-DFD57169BC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520765$A09173A4-06F2-4E0D-AEA9-C6497F6814D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddafba25bce5ec92dc8107e44f5f41c4d3ead159","datavalue":{"value":{"entity-type":"item","numeric-id":759049,"id":"Q759049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520765$5EC5E9AB-46B3-4CA0-AFF2-B77838FE06E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db115f35704ba0a95709f4a7614aa0f78ac69a72","datavalue":{"value":{"entity-type":"item","numeric-id":2496171,"id":"Q2496171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520765$B17CFADD-DD37-452B-9D01-90F40B58EE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1116b19c9afc8915dc056dd93345dc8bec8b72b9","datavalue":{"value":{"entity-type":"item","numeric-id":3002522,"id":"Q3002522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520765$23884496-73E0-4B79-9D5B-1F82F76CBDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d2a812ab30187408ca4830455ddf32bb1d45a3","datavalue":{"value":{"entity-type":"item","numeric-id":4046086,"id":"Q4046086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520765$43D48E30-0062-4CE5-9B6D-F17ECE430334","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b97503ac1ca86049b3730b760daa8b77be606f9d","datavalue":{"value":"10.1007/S00012-016-0414-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520765$4C5A5F79-4A35-4C15-BA5C-1523BD8C4F89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5d30804b94921d25bc80c345a0e7b99a5f5d987","datavalue":{"value":{"entity-type":"item","numeric-id":5389523,"id":"Q5389523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51c854809f69ceee4fa2a94085bdcb9cc55ddefb","datavalue":{"value":{"amount":"+0.7949225306510925","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":"Q2520765$9A494363-31AB-4F1C-82B4-2D6A500562A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c16c81a1c0253a27bec5b0b7194e6b61dcbdafe","datavalue":{"value":{"entity-type":"item","numeric-id":4912719,"id":"Q4912719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"125047e0412cc873cd53aa5f6474f03cbcf4472b","datavalue":{"value":{"amount":"+0.7864151000976562","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":"Q2520765$FBB392E2-FBE3-4698-8CC3-1477BAC433CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"430e9ec995ec74e85833b68c63b00ed6bb6e5449","datavalue":{"value":{"entity-type":"item","numeric-id":382341,"id":"Q382341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45c6f55b4bebdf751c01b3d11a36e65f21041eb0","datavalue":{"value":{"amount":"+0.7680956721305847","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":"Q2520765$40FA172E-6FBA-40E3-9D32-BEF2B1102F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70e136b0968d1b58240034a5070e7f26d4249e73","datavalue":{"value":{"entity-type":"item","numeric-id":976748,"id":"Q976748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b97ad709a537adb0fe08c6a77f341489dfb3d98e","datavalue":{"value":{"amount":"+0.7669941186904907","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":"Q2520765$6DFDDC81-A558-4BFF-863F-A8FD4BD83FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71d931ed9eaa0ae1088cc4dccddb9e0a3d0cb1ee","datavalue":{"value":{"entity-type":"item","numeric-id":5227171,"id":"Q5227171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f4ceeb9041ce6d48764cceac87eb16875e9de77","datavalue":{"value":{"amount":"+0.7618726491928101","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":"Q2520765$81C94602-6B64-4EA1-BCC1-AFF5F7775F1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the sobriety of the inverse topology","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_sobriety_of_the_inverse_topology"}}}}}