{"entities":{"Q2236646":{"pageid":2247389,"ns":120,"title":"Item:Q2236646","lastrevid":57809103,"modified":"2026-04-02T15:15:40Z","type":"item","id":"Q2236646","labels":{"en":{"language":"en","value":"Reverse induction proof of \\(\\mathrm{D}\\) property of the countable power of the Sorgenfrey line"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7413836"}},"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":"Q2236646$BEA5824B-2FDE-4D2A-B262-859BAA9AD35E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"235aa41195b7f5821c2ad460f0cd4135bed4d597","datavalue":{"value":{"text":"Reverse induction proof of \\(\\mathrm{D}\\) property of the countable power of the Sorgenfrey line","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2236646$D236C74B-8163-4749-84B9-F40064F89FF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f88fc42544fb99f16a0216e976311701026973c3","datavalue":{"value":"1488.54079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2236646$E5E6AA2A-8E66-4293-BF7A-5EEE5508B586","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6cb965e14f20cd523f1cb9edb50ab672c36b213","datavalue":{"value":{"entity-type":"item","numeric-id":2188799,"id":"Q2188799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236646$1FC4DE10-8B4D-402A-8764-CE7B3A200908","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236646$C02D7946-0704-44F0-810E-398C596B2329","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ce2f5c3131b8fb956dfb7c648fa88886ee86209","datavalue":{"value":{"time":"+2021-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2236646$1B16BF72-4324-42B8-94F1-97AA7568DDBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6f32ac70e02f3f106d967a01328e682412399c6","datavalue":{"value":"https://arxiv.org/abs/2004.10775","type":"string"},"datatype":"url"},"type":"statement","id":"Q2236646$A2B9D849-5CFD-4D62-9CE5-0F5D2D7C975A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ca89158522c60967b53dbdc17d2a267e52e33e9d","datavalue":{"value":"Throughout \\(X=\\prod_{i\\in\\omega}X_i\\), a countable product of topological spaces. The main result of this paper is to show that the countably infinite power of the Sorgenfrey line is a D-space. A key step involves what the author calls reverse induction now described. Suppose that \\(A\\subset\\omega\\). An {\\(A\\)-broom} \\(P\\subset X\\) is a subset such that there is \\(x\\in\\prod_{i\\in A}X_i\\) with \\(p\\upharpoonright A=x\\) for all \\(p\\in P\\). A neighbourhood assignment \\(p\\mapsto U(p)\\) on \\(X\\) is {correct} on \\(Y\\subset X\\) provided there is closed discrete \\(D\\subset Y\\) such that \\(U(D)\\supset Y\\). Given a neighbourhood assignment \\(U\\), \\(n\\in\\omega\\) and a closed \\(n\\)-broom \\(P\\) on \\(X\\) declare {RIH}\\((X,U,n,P)\\): for all \\(m>n\\) and every closed broom \\(Q\\subset P\\), \\(U\\) is correct on \\(Q\\). Reverse induction supposes for every \\(U\\), \\(n\\) and \\(P\\) as above, RIH\\((X,U,n,P)\\) implies \\(U\\) is correct on \\(P\\) and each \\(X_i\\) is T\\(_1\\) and concludes that \\(X\\) is a D-space. It is observed that by varying the formulation of RIH\\((X,U,n,P)\\) one can deduce similar results for some other covering properties such as compactness, Lindel\u00f6f and so on. The remainder of the paper is devoted to applying this theorem to the case where each \\(X_i\\) is the Sorgenfrey line.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2236646$AD89BA65-3CB7-4AE9-B348-4FDD4A83AB79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6638429f658636cde013e7c47dae42190f534e9","datavalue":{"value":"54D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2236646$201F3695-62C5-45B5-A18A-F83AF1280456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f70b59279cc975ff13b3fcc96c409898d99acf5","datavalue":{"value":"54B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2236646$9A40D588-D9E5-4FF2-BC58-5BEB6FA2341C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5739704d134982957b546bf68c3096250d202ce1","datavalue":{"value":"7413836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2236646$E44CA69A-A35D-42F8-B499-3966FE356C43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5718fd61b07caad0f35370405fa20d6487a5040f","datavalue":{"value":"\\(\\mathrm{D}\\)-space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2236646$0C191CBF-CFE5-4CDB-83D2-17C6588F1476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"786bf5dc282f396f1780ae70334e06cf76a01595","datavalue":{"value":"Sorgenfrey line","type":"string"},"datatype":"string"},"type":"statement","id":"Q2236646$1183837D-F8E3-4616-A800-6A1552A1AEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"226b3be65facbf211a5512103740357996e9ce07","datavalue":{"value":"reverse induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2236646$66C445BE-7B10-4FE1-916F-76806CDAAB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"538803dfa9244ccb4481282b357ecf6aed323729","datavalue":{"value":"covering property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2236646$FB93FF6C-D9D5-4ED3-80EA-616D443E3E41","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f0a1d3774fb82025c54f21d93243cfaa9a69771d","datavalue":{"value":{"entity-type":"item","numeric-id":590038,"id":"Q590038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236646$0DA43CB6-05D9-4B08-B4A0-B69D47697DC7","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":"Q2236646$31F0C943-2DD4-4CC7-8E12-D0F373B82C40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44c6c53990a6f060566e7837526513b2fbb1834a","datavalue":{"value":"W3197919305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2236646$B07D7F07-41AA-4491-99CF-98675328D17A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb66bd90924b7d0a9b3d50e06975649ee64eb19","datavalue":{"value":{"entity-type":"item","numeric-id":3685653,"id":"Q3685653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236646$3C376563-FC8D-42D5-B5EA-24176B504D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2159a356d2e5cb90ca0bba9d25a2e1845b0d2e14","datavalue":{"value":{"entity-type":"item","numeric-id":3319400,"id":"Q3319400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236646$08138ACC-CDC0-4462-A19E-BB0A19CBED89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27431e7cb4aa3b4befa18562641402be66eee3f3","datavalue":{"value":{"entity-type":"item","numeric-id":1259035,"id":"Q1259035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236646$06652177-7C78-4120-BF6C-4ABC37BF62D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"613698f7e406bb70d8bb2a9509dcb6b7a74cb4bb","datavalue":{"value":{"entity-type":"item","numeric-id":3001417,"id":"Q3001417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236646$1EF810D1-85E4-429B-9E09-4EE3E2F25107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcfa3ec3ff54e3b4d443eef83620956adbfd3de7","datavalue":{"value":{"entity-type":"item","numeric-id":4449470,"id":"Q4449470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236646$79985FDB-C664-4C2D-A1DA-39CFDDE3D1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865366d5e5dc0cc1d3e4208c4e4583fd4b14d10c","datavalue":{"value":{"entity-type":"item","numeric-id":2904376,"id":"Q2904376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236646$FE9062A3-9255-4286-AF67-BB8BC3D3143E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c74eeee882cbf3d6c468083cc601da47c62b2a9","datavalue":{"value":{"entity-type":"item","numeric-id":5649647,"id":"Q5649647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236646$0CD55868-A014-46FF-81B6-E643B08D8D78","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7ef75d494b3eb3c9bbdb63f6413522678128ebe","datavalue":{"value":"10.1007/S10474-021-01169-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2236646$01CC8E10-7086-4E94-8A80-6243E0AA09BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8a36c5b5a244b5a83efe7773a8282f13dc88d2e","datavalue":{"value":{"entity-type":"item","numeric-id":3319400,"id":"Q3319400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec3a93feddfa29d527a2497b373794c919943624","datavalue":{"value":{"amount":"+0.789556622505188","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":"Q2236646$A3EC61FB-987B-4709-94E5-3FE75BF9F774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abe52a4c90f5e93b70c623372994c6e896d161d7","datavalue":{"value":{"entity-type":"item","numeric-id":890081,"id":"Q890081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a73248372493f7e7b4b43a849307cb2e55297d7c","datavalue":{"value":{"amount":"+0.7518028020858765","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":"Q2236646$E1E119E6-0E8F-4882-8840-5E778758868C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e105e28828295d99d3221e15caccd30640b4586","datavalue":{"value":{"entity-type":"item","numeric-id":3393133,"id":"Q3393133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ceae492a0c7fda406b0b0a154f63c96adcbf181","datavalue":{"value":{"amount":"+0.733669102191925","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":"Q2236646$6E4FBAB4-90F9-41FE-8671-CFE8968E94CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0943c9984188adb4f1c1d33172c2051ccffbfd2","datavalue":{"value":{"entity-type":"item","numeric-id":3183141,"id":"Q3183141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f32ef2882713e3e9c88f95d2605308da273934c","datavalue":{"value":{"amount":"+0.7289988398551941","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":"Q2236646$AF97DF06-E628-4E50-8FA4-5C3BFE6FFCFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7eee640b2d86fd442a759f9c031f6e4829582ab","datavalue":{"value":{"entity-type":"item","numeric-id":428799,"id":"Q428799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fd680c622daf2e365b1800eebdb4854ecb0fbf4","datavalue":{"value":{"amount":"+0.7273411154747009","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":"Q2236646$0B9201FA-24E0-419D-90DB-FB4E1911E821","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2236646","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2236646"}}}}}