{"entities":{"Q1888463":{"pageid":1899205,"ns":120,"title":"Item:Q1888463","lastrevid":73054602,"modified":"2026-04-14T09:58:50Z","type":"item","id":"Q1888463","labels":{"en":{"language":"en","value":"Sorgenfrey line and continuous separating families"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2117946"}},"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":"Q1888463$CC526997-74D5-4C61-BB61-0992F404948D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8b00213e20455dd665ccacb7a82154c9c38556b","datavalue":{"value":{"text":"Sorgenfrey line and continuous separating families","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1888463$15D40B22-34BC-419C-B569-A4E88742FCE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f99e67a7bdb4f75e76e6e8749aba1b3a524aae2","datavalue":{"value":"1060.54018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1888463$DABC6962-F0FC-497E-B888-BE472218DD3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"13f25d44b652b6c9149e2f63ae005e975dd3d288","datavalue":{"value":{"entity-type":"item","numeric-id":260600,"id":"Q260600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1888463$3F55F880-A2BE-410A-889E-A82389397A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03b78d9f0d30c4963016750bf902e4d3f6ae1445","datavalue":{"value":{"entity-type":"item","numeric-id":550431,"id":"Q550431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1888463$11B9AC75-A030-4326-8A9A-EBE528EC482D","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":"Q1888463$6D62E058-BC6A-498E-98F7-05FA8607906E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9270318d08aee06ff5ad0dd5710c08e39d64ffc","datavalue":{"value":{"time":"+2004-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1888463$4A108F08-36EA-4D1A-A81F-75912A854D5D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2ca3d443c14e9594bd65a9bf960ea88ad5f06f41","datavalue":{"value":"According to \\textit{E. N. Stepanova} [Math. Notes 53, 308--314 (1993); transl. from Mat. Zametki 53, No. 3, 92-101 (1993; Zbl 0805.54028)], a continuous separating family is a continuous mapping \\(\\Phi:X^2\\setminus \\Delta\\rightarrow {\\mathcal C}_u(X),\\) where \\(\\Delta=\\{(x,x):x\\in X\\}\\) and \\({\\mathcal C}_u(X)\\) is the space of continuous real-valued functions on a topological space \\(X\\) with the uniform convergence topology, such that if \\(f_{x,y}=\\Phi(x,y),\\) then \\(f_{x,y}(x)\\not = f_{x,y}(y).\\) The Sorgenfrey line \\(S\\) has a continuous separating family, but \\textit{H. R. Bennett} and \\textit{D. J. Lutzer} [Topology Appl. 119, No.3, 305-314 (2002; Zbl 0989.54037)] proved that under CH its linearly ordered extension \\(S^*=\\mathbb{R}\\times \\{n\\in \\mathbb{Z}:n\\leq 0\\}\\) (equipped with the order topology generated by the lexicographical order on \\(S^*\\)) does not possess such a family. They also asked whether this result can be proved in ZFC. In the present article the authors show that the answer is positive. Indeed they show in ZFC that any linearly ordered extension of \\(S\\) does not admit a continuous separating family.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1888463$9835F524-34A2-498E-B93D-8CA49D92F70D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae96d749ed729f5c3d9ba235c923f35a27a788f5","datavalue":{"value":"54F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1888463$D04E9660-3C6B-4872-A5A1-0B2984DDA84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5f9f9fdc01eced40a1042148c42cf5fd19eced2","datavalue":{"value":"54C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1888463$0446B11F-EB7B-4304-B1AC-B6C5EDB8D3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"166e4a51e7ace285a8ef92be39da2625c5914749","datavalue":{"value":"54C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1888463$81A9836E-189D-4803-994E-8944B50A2773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4388e9a976e18bebff2edd807ee73ae25eae8b00","datavalue":{"value":"54E52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1888463$D68F6267-D083-462F-BE93-83A22EE15748","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9eb7d59abda8fd557f68416c1ce83186b6059535","datavalue":{"value":"2117946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1888463$67AA1717-3EA8-472E-AD3C-870FE8E40D8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"786bf5dc282f396f1780ae70334e06cf76a01595","datavalue":{"value":"Sorgenfrey line","type":"string"},"datatype":"string"},"type":"statement","id":"Q1888463$BDAE8179-1BA2-4330-B64F-E603F853DF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63d9498a90430099d22fb92297ef10e0ea69888b","datavalue":{"value":"linearly ordered topological spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1888463$DADCCDD8-0366-48FC-B877-78A8E7BD1B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7371b06903f71567163fe0cf4f7eb2ecaaac0b6","datavalue":{"value":"generalized ordered spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1888463$8DBFA86C-59CA-44C1-AF22-0028E5A5DEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03e5662a883cb60ab8d7a4ed004da0db35b5b24d","datavalue":{"value":"continuous separating families","type":"string"},"datatype":"string"},"type":"statement","id":"Q1888463$B7A146A9-AE21-4BD4-B347-6A3087EB9F03","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b06c1395e4711da17bf8b93bbe80ac88c912a760","datavalue":{"value":{"entity-type":"item","numeric-id":386876,"id":"Q386876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1888463$5ABF1DDF-D83A-4098-849B-A318BE4B61A9","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":"Q1888463$8A163CD3-E270-4528-9C9D-69CEA8365C66","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32f5bc128f9682177b95ef2e0a190fed2c0a47e5","datavalue":{"value":"https://doi.org/10.1016/j.topol.2004.01.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q1888463$1792D620-80AA-4425-8E47-7CFB4DB416D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"897781069134151ffb7d535dd514ff951b9912bb","datavalue":{"value":"W2026977640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1888463$F24EA66B-A354-482A-9689-CF0CEACEB1D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd3171f4d55af7fa1b1a9c2b001e070182b43ea","datavalue":{"value":{"entity-type":"item","numeric-id":4416772,"id":"Q4416772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1888463$6746A4F5-2785-4B4B-BBDD-BBE5F1E36211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c44ae6e5bbcfce38568a9ebcbb2102dc524bfa5","datavalue":{"value":{"entity-type":"item","numeric-id":1602957,"id":"Q1602957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1888463$82C1A3B6-4F6A-42FB-AAA8-2B177E7EC9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f2aa622352fb97e57ea51d03b3e786ff3386623","datavalue":{"value":{"entity-type":"item","numeric-id":3994935,"id":"Q3994935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1888463$0E9C76AF-0B67-4A16-BB4A-49345C12C8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4619d5794a38c6f72ca73ac2f189f9b9c9ed592a","datavalue":{"value":{"entity-type":"item","numeric-id":5957285,"id":"Q5957285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1888463$F0699C85-000B-43E1-9B32-FE82D1B5125E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f37c3e7508bd1515f281b4992e24cbb1c2c37c9","datavalue":{"value":{"entity-type":"item","numeric-id":1372686,"id":"Q1372686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1888463$935DC097-C2CA-436A-BF37-70319F0768E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b57f18db42e25f8dfd919235817f06f7c53605f","datavalue":{"value":{"entity-type":"item","numeric-id":1326056,"id":"Q1326056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1888463$9212EC43-56BD-4F44-A9FB-5C2A19F3E29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff2b0527d8b7f2db8791142bfe67ccc31befe26","datavalue":{"value":{"entity-type":"item","numeric-id":1358443,"id":"Q1358443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1888463$8907C72F-5208-41F7-8C47-043276E94DFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"295a70066fdffc17e6813946699278f60ce086d7","datavalue":{"value":"10.1016/J.TOPOL.2004.01.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1888463$BEA75448-325B-4FEE-A376-EFADAFA677F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d86ad9ccae4196ca891f9b9a298452d6170f4c7","datavalue":{"value":{"entity-type":"item","numeric-id":1602957,"id":"Q1602957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2dd549e718e2aafca50c29b08d1e8e2c5b10cc4","datavalue":{"value":{"amount":"+0.7844229340553284","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":"Q1888463$355EDBC8-7B2B-4331-BAD3-497F44B56E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a07e9e79010d200c6e6f539ce6707934d74f266","datavalue":{"value":{"entity-type":"item","numeric-id":2033194,"id":"Q2033194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2dd549e718e2aafca50c29b08d1e8e2c5b10cc4","datavalue":{"value":{"amount":"+0.7844229340553284","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":"Q1888463$284018D0-0D0F-48E5-AFD5-A6C16B1C8B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb37cbcc3329fa50903e537e2eaa50ff9c03528","datavalue":{"value":{"entity-type":"item","numeric-id":2933333,"id":"Q2933333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9c7e4e9355a9dc6381d1409c2b4acd9231f2fc8","datavalue":{"value":{"amount":"+0.7415464520454407","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":"Q1888463$191098BE-3BF7-47AF-AD1E-C6EE72B7CD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"931552913cc6c0dacb4633937d34b7977fd974c0","datavalue":{"value":{"entity-type":"item","numeric-id":2932319,"id":"Q2932319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a433f8eaacd06945a821384ead4cf80d2f208c3c","datavalue":{"value":{"amount":"+0.7227317690849304","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":"Q1888463$CA9D34D5-7637-4AEA-8061-AB7CC50BA472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cf40467b9672ab269a87008932e53d1afb04e1b","datavalue":{"value":{"entity-type":"item","numeric-id":2520741,"id":"Q2520741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b6de6602eff97ab58c4626f063f826aafea1779","datavalue":{"value":{"amount":"+0.7154673337936401","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":"Q1888463$63172075-645D-4FCE-A292-9F6EFE33A372","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sorgenfrey line and continuous separating families","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sorgenfrey_line_and_continuous_separating_families"}}}}}