{"entities":{"Q2215643":{"pageid":2226386,"ns":120,"title":"Item:Q2215643","lastrevid":53889464,"modified":"2026-01-25T21:34:11Z","type":"item","id":"Q2215643","labels":{"en":{"language":"en","value":"Sober Scott spaces are not always co-sober"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7285183"}},"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":"Q2215643$0184F627-E548-4245-9108-145648A3425A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ade5c61027c62a593ce2b7d308b6e73191a62da","datavalue":{"value":{"text":"Sober Scott spaces are not always co-sober","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2215643$5CD25110-14ED-4D72-B1D5-44620BCCFE51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a536dc1c70e6034df157dd75e438ec85e75710d0","datavalue":{"value":"1459.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215643$EA2C1437-C237-4816-ACCC-D226304E23F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bee2b25eaa8eb8be65d3cf42a104d7e2f80a715","datavalue":{"value":{"entity-type":"item","numeric-id":531054,"id":"Q531054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215643$12B65FC3-97DA-4196-AA8B-58176B2C9CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9048a182a2004509e8f96f49f252325f27fcfbc4","datavalue":{"value":{"entity-type":"item","numeric-id":377472,"id":"Q377472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215643$B5544801-CBD7-4609-A81E-CE77CA80FEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cd58946f50eb3f69ebe8a91d8600f53eeebdf61","datavalue":{"value":{"entity-type":"item","numeric-id":276407,"id":"Q276407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215643$558B3D00-1717-4BA8-978F-D5E4BF3601B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2879e3e3ee84eeca3778658797f13f2e5056d734","datavalue":{"value":{"entity-type":"item","numeric-id":171475,"id":"Q171475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215643$011960C1-82C8-44F7-BC62-F81455188D51","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":"Q2215643$0DBC190A-504F-430A-A29B-4E84164FDEAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c20a4c36a7fcb7496648edd7b1f2c80441e1493b","datavalue":{"value":{"time":"+2020-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2215643$21D195DA-337D-4009-805F-E9863019C08E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"08f8955b364290f88b2ca6f14636f0d16af2e686","datavalue":{"value":"The main results of the paper are a generalization of the work done in the papers [\\textit{D. Zhao} and \\textit{X. Xi}, Math. Proc. Camb. Philos. Soc. 164, No. 1, 125--134 (2018; Zbl 1469.06012); \\textit{D. Zhao}, ``Poset models of topological spaces'', in: Proceeding of the international conference on quantitative logic and quantification of software. Global-Link Publisher. 229--238 (2009)]. The new main results are presented as Proposition 2.1., Proposition 2.3. and Proposition 2.5. for Scott dcpo models for \\(T_{0}\\)-spaces and \\(d\\)-spaces. Then the following result is derived:  Theorem 2.7. Let \\(X\\) be a \\(d\\)-space. Then there is a dcpo \\(P_{X}\\) and a topological embedding \\(\\psi:X \\rightarrow \\sum P_{X}\\) satisfying the following properties: \\begin{itemize} \\item[(1)] \\(\\psi(X)=\\uparrow\\psi(X)\\); \\item[(2)] \\(P_{X}=\\downarrow\\psi(X)\\); \\item[(3)] \\(X\\) is sober if and only if \\(\\sum P_{X}\\) is sober. \\end{itemize}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215643$2A7EC83A-67AF-4AEE-877B-F70C7586C1E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215643$5E2765C0-61D6-4865-B9F4-70F50A9C33B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e05f4c807af05854d500c4e5815975863e4843a7","datavalue":{"value":"06B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215643$2FEC0BE3-0B0F-410E-8AB6-EAC020C7667F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd8b9140bc84c18607de923ef2d16467b8a5599d","datavalue":{"value":"54B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215643$06C22147-52E9-47C9-BB91-FC204D81AE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1afcde8f681fb95370dba30f2e660bfbd1183692","datavalue":{"value":"54D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215643$BF315B54-B84B-47D4-BDC7-76B6BC3F36A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35143fb85b2b42b9c00ee6b7d60d9806368fd3fc","datavalue":{"value":"7285183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215643$333FED1C-05AB-4DD9-BF4C-CAC10E3D5EAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf7907b232bc03cd92891e7f9d4b1339ad6ad54","datavalue":{"value":"sober space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215643$06DD8082-4178-4AC5-9DD2-7F28F523A3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f9bd2bf9f3620aeb003c5995e612090f5d1e23","datavalue":{"value":"co-sober space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215643$33B77437-E8A7-46BD-9FC2-4A85704E935A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15977d4a7358dff08ed7cc2fc32b051370f7c0ee","datavalue":{"value":"poset model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215643$C4339B69-76AE-4D0C-A219-9F5AF8069A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1984bb194d0bbfa558c57307572f24123607098","datavalue":{"value":"dcpo model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215643$DF21CBBA-C8CA-476D-B8EE-20C474746CA8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"39603943226126bfa4f822eaf24bf407c7e9c8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1665317,"id":"Q1665317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215643$D3256C23-5F6F-4975-ABD4-2B8B274C572E","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":"Q2215643$9432AE67-DEEC-4719-B366-21D3553FF026","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d3b05abbbc0ddcb855f486176aa130438f4c5a7","datavalue":{"value":"https://doi.org/10.1016/j.topol.2020.107316","type":"string"},"datatype":"url"},"type":"statement","id":"Q2215643$229C73B1-FA8E-43AB-B183-FF40B78B8CB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d3c5bcb5f6eb1263ce9bc38207b17e1e896c787","datavalue":{"value":"W3038473179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215643$D1BCFD4D-ABA9-4B33-A2D3-B9B62D17B688","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce589fad76144d75446d26f6d58b2bf36026eba9","datavalue":{"value":{"entity-type":"item","numeric-id":1880712,"id":"Q1880712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215643$B204F6CA-91D1-47B8-8546-759B0ED86E1B","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":"Q2215643$8B1E08BF-F425-4DAE-9F7E-8F8185C0E66C","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":"Q2215643$D7EE136A-16EB-4377-8442-53BC79061C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f388c8ac8e74a3ed084d253b4c00a0695d6951","datavalue":{"value":{"entity-type":"item","numeric-id":3953814,"id":"Q3953814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215643$239B4F80-D27D-4831-839A-37CF674FDFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8704d06c1649afb522f1aa88d4e2f7421bf5112","datavalue":{"value":{"entity-type":"item","numeric-id":3922730,"id":"Q3922730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215643$2763EFAE-392A-4B64-B2CE-91CABD35EBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb81132704a21123f0098162947c92007471cdd0","datavalue":{"value":{"entity-type":"item","numeric-id":4366770,"id":"Q4366770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215643$3938CE72-F447-4EC4-9F98-34099A40D837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fdba4c7e707de1a25e2125f57edf717187b9219","datavalue":{"value":{"entity-type":"item","numeric-id":1616995,"id":"Q1616995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215643$EC1AAEB5-B403-4AE5-B42F-5C8ED2F0EA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15982092620153f25410cbd3673ef82d0caadffd","datavalue":{"value":{"entity-type":"item","numeric-id":4600751,"id":"Q4600751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215643$FCB5D76C-814C-4365-8332-F6B961F83A44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1779cf2d64ec97f398d661c96866e6ff48bedb32","datavalue":{"value":"10.1016/J.TOPOL.2020.107316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215643$703460D6-5ED1-4473-A002-3271109C8078","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85eb7a5cf33de3b6849cb1c6b3127eb5348169aa","datavalue":{"value":{"entity-type":"item","numeric-id":1632746,"id":"Q1632746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a294700be162cb3d732a38dec53618d9d2f2050","datavalue":{"value":{"amount":"+0.8114519119262695","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":"Q2215643$B545BAE9-881F-4FF8-B0BC-8EA2381E6E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ef785b761125ca94b2b73319fe3ee09baec63e","datavalue":{"value":{"entity-type":"item","numeric-id":2120287,"id":"Q2120287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"844e86ecd722fdc4ac0d2d8119889f9c1c42b9e7","datavalue":{"value":{"amount":"+0.7870278358459473","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":"Q2215643$E560665D-4B02-40D5-9A99-02741A954D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b808aba75eefefc0a79008985e7ee8026b9fcefd","datavalue":{"value":{"entity-type":"item","numeric-id":1616995,"id":"Q1616995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a3a5a63e76348714cc94516cd6723be2002562","datavalue":{"value":{"amount":"+0.7824642658233643","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":"Q2215643$089176BD-F6E0-4F87-B1EF-1A0ECB73FA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccce3bf6c7ac786b8f7f459198307fb6c6b59c5a","datavalue":{"value":{"entity-type":"item","numeric-id":2493897,"id":"Q2493897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7760d1cf3d72af8215dcddd4c9893ccc15c23c00","datavalue":{"value":{"amount":"+0.7802911996841431","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":"Q2215643$3390CCD6-0E2F-4818-8652-A5D646612D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe1e50b7dbd377f70ce58fe6f3a494dd9383fcd9","datavalue":{"value":{"entity-type":"item","numeric-id":1962094,"id":"Q1962094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"613fb5dbf2f9436ec7bdd121a6db586b838c37fe","datavalue":{"value":{"amount":"+0.7759541869163513","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":"Q2215643$CC45F755-9BF7-478B-9DC7-BD6CFECF2406","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2215643","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2215643"}}}}}