{"entities":{"Q2405086":{"pageid":2415829,"ns":120,"title":"Item:Q2405086","lastrevid":72706281,"modified":"2026-04-14T06:41:44Z","type":"item","id":"Q2405086","labels":{"en":{"language":"en","value":"Weak well-filtered spaces and coherence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6778210"}},"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":"Q2405086$F6C3E039-00BE-4A10-810A-F3D3C59D1EBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40c47e75491425b555204921efbdaf79cdc49273","datavalue":{"value":{"text":"Weak well-filtered spaces and coherence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2405086$48DC99C5-AE84-4177-AE0D-F9BC9ECBC756","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95f6f00fd3d9602af3466465f0c1505b5955644a","datavalue":{"value":"1383.54033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405086$17E681BB-BFB2-42C3-83E0-26B87BA4F3D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41572b8ffb84c2a55bb0ebfd906fed3edfc05ff5","datavalue":{"value":{"entity-type":"item","numeric-id":307345,"id":"Q307345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405086$AF7EE34D-3B40-4030-A983-892379B64B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f15a1eb3c252513b7c6682025955cdc7d7ca297f","datavalue":{"value":{"entity-type":"item","numeric-id":929436,"id":"Q929436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405086$3FC03478-C160-4D02-BE0D-F04A945BBD70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405086$58BEFB51-F185-4C1F-8066-51E0A928FDB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f36926d0e8ecb0aa6e5c43f48d167063fe25ab3e","datavalue":{"value":{"time":"+2017-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2405086$87E396ED-8A31-4D7A-A319-A69C4C51F29E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ec436e2b28ed746b265e7b313a2fc5d69799230a","datavalue":{"value":"This is a paper about coherence, an important property in domain theory (coherence of a topological space means that the intersection of any two compact saturated subsets is compact).  A topological space is called \\textit{well-filtered} if, whenever an open set \\(U\\) contains a filtered intersection \\(\\bigcap_{i\\in I}Q_i\\) of compact saturated subsets, then \\(U\\) contains some \\(Q_i\\). This defines a class of spaces that contains all sober spaces. In the paper under review, the authors introduce and study a larger class of spaces, referred to as weak well-filtered spaces. A topological space is said to be \\textit{weak well-filtered} if, whenever a \\textbf{nonempty} open set \\(U\\) contains a filtered intersection \\(\\bigcap_{i\\in I}Q_i\\) of compact saturated subsets, then \\(U\\) contains some \\(Q_i\\). Then, a poset \\(L\\) is \\textit{weak well-filtered} if \\(L\\), with its Scott topology \\(\\sigma(L)\\), is a weak well-filtered space.  The authors start by presenting some properties and characterizations of weak well-filteredness and they show that the famous example of a non-sober dcpo, due to \\textit{P. T. Johnstone} [Lect. Notes Math. 871, 282--283 (1981; Zbl 0469.06002)], is weak well-filtered but not well-filtered. Among the authors' main results are the following:  \\(\\bullet\\) The frame of open sets of any weak well-filtered \\(T_0\\)-space is always a consistent dcpo.  \\(\\bullet\\) A weak well-filtered poset \\(L\\) is coherent if and only if \\(\\uparrow\\!\\! x \\;\\cap \\uparrow\\!\\! y\\) is compact for every \\(x,y\\in L\\).  \\(\\bullet\\) Lawson compactness is a sufficient condition for a dcpo being coherent.  They leave open the problem of determining the conditions under which weak well filteredness is equivalent to well filteredness.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2405086$773FCD3C-5064-4A01-9E4B-45F7BCFB1E86","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":"Q2405086$506C52DA-444D-4CF7-BF6C-9CFCE4622183","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae96d749ed729f5c3d9ba235c923f35a27a788f5","datavalue":{"value":"54F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405086$18632C2B-4BC5-4A27-9571-2BB815B25901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405086$2FA5A050-B423-42C4-8A40-8C060FBD4937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c4ad1785471f430c5505937f552960d16df2055","datavalue":{"value":"06F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405086$6BA80494-2D0F-4484-855F-23514485E2FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b4a309091489803f9b3ed19fa95f9a0ab4a108b","datavalue":{"value":"6778210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405086$6DD17A9C-EE1A-4135-9390-FBA23422B5D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2405086$56A59B00-B81B-4A6E-933F-FD3DE1A8E5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c9144ccbbc63cef7d84cb6d448d68b49235287f","datavalue":{"value":"well-filtered topological space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2405086$D615CB78-BDE4-4442-A278-240A054E0DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6079df63a5bc429530e425e5783035b041d85c81","datavalue":{"value":"weak well-filtered topological space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2405086$CB18C527-9298-49A0-B0A6-DCF99009BA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05d5dd833b11c31ec609d04a8bca8972218d66bf","datavalue":{"value":"weak well-filtered poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q2405086$AB107DA3-A891-4F5A-95B0-45C71A9C1B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46a8b013b8ecf0e2fd2c51637955888b7c4990a6","datavalue":{"value":"consistent dcpo","type":"string"},"datatype":"string"},"type":"statement","id":"Q2405086$971C7655-9697-49CD-BC83-8F1A2C18ADDD","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":"Q2405086$22B0C642-04FD-463A-917D-FF363A4AF2E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"359b4a880443fee655535df58f30a926086b9e44","datavalue":{"value":"https://doi.org/10.1016/j.topol.2017.08.049","type":"string"},"datatype":"url"},"type":"statement","id":"Q2405086$308503DE-AFB5-41F5-AF01-DD956430008D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49c15f36d1776f0337ae9c9beadd6733936cea22","datavalue":{"value":"W2752864691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405086$CF200D72-B63F-476F-A1B2-B92A7AA910D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405086$260F0DF9-D606-43E9-805B-54B0DEF4B38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e1a21cbc753595d7ca886a71f09296da296247","datavalue":{"value":{"entity-type":"item","numeric-id":4150804,"id":"Q4150804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405086$BD1A19D6-A20E-489E-8A83-DE36865FFCE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405086$7D637A6F-A399-4833-8EC8-0403D759B82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b42a1c3ee06f9654510272357578368daee23b","datavalue":{"value":{"entity-type":"item","numeric-id":4914616,"id":"Q4914616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405086$FB9C97DE-939F-4EDF-A01B-545E93BCC099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df55d7260f6635a9eb8f700b574404e9c4499644","datavalue":{"value":{"entity-type":"item","numeric-id":265813,"id":"Q265813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405086$66136A60-6AD3-459C-B20C-81C114BA8B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b19ec60f99f427fe0727180e50d4872f88ee5e6","datavalue":{"value":{"entity-type":"item","numeric-id":2630456,"id":"Q2630456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405086$0BB7B3A0-2FAF-4163-A91F-5B90E1660DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a687a410410024642a96f9db20b85de5897e8f26","datavalue":{"value":{"entity-type":"item","numeric-id":3997287,"id":"Q3997287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405086$2040CBFC-999F-4B94-8D21-33602D5D16F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e184ed4ed69cb9d385473e00938ee519c7a4f644","datavalue":{"value":{"entity-type":"item","numeric-id":281709,"id":"Q281709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405086$06DA6894-AF7C-4A33-B510-E06A5B8B256B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32ed509096263f5d4613993512b6198ff917913e","datavalue":{"value":"10.1016/J.TOPOL.2017.08.049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405086$1844642C-0056-4CB0-8248-073B4E317263","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d25fa00ccd32c4c935392d8c615c7a79080837e5","datavalue":{"value":{"entity-type":"item","numeric-id":2630456,"id":"Q2630456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb8243f0acd9c40a0681aa0b7236324b1a35b232","datavalue":{"value":{"amount":"+0.825742244720459","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":"Q2405086$9854501D-E84B-41DB-9231-838CEC97D024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc043a700a8692e3db59b43ee9ca6adf5f69e13b","datavalue":{"value":{"entity-type":"item","numeric-id":4965631,"id":"Q4965631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb1942a6ba6bde5ad43bfa36683619d7092547be","datavalue":{"value":{"amount":"+0.8119922876358032","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":"Q2405086$3267DD8C-042E-4A21-853E-D5F58A3254AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e007cea479fd09537bd58c6f2d8ce711c457978b","datavalue":{"value":{"entity-type":"item","numeric-id":2401559,"id":"Q2401559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7bded0da21e9025ee9289dd7faf43795dd94d34","datavalue":{"value":{"amount":"+0.8059384822845459","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":"Q2405086$1BCB211F-FA38-42B7-8A35-0A9815E1FB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3e306949c06493c443375a3bfe6f3c2f64052e0","datavalue":{"value":{"entity-type":"item","numeric-id":2971117,"id":"Q2971117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b35eefddab8aa31a1af058c43007859165bce6a","datavalue":{"value":{"amount":"+0.7965128421783447","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":"Q2405086$781E4B7E-FEBD-43D8-9624-47925BEB1293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d68884a6728938515b1912213ac55099a61ad985","datavalue":{"value":{"entity-type":"item","numeric-id":2033201,"id":"Q2033201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2db63aaaf954ca2d8fcfa92b03a3ffc9dd86d413","datavalue":{"value":{"amount":"+0.7799444794654846","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":"Q2405086$2EB638D4-7678-4C6A-A24A-3623DB988205","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weak well-filtered spaces and coherence","badges":[]}}}}}