{"entities":{"Q1734272":{"pageid":1745013,"ns":120,"title":"Item:Q1734272","lastrevid":68928732,"modified":"2026-04-13T03:10:19Z","type":"item","id":"Q1734272","labels":{"en":{"language":"en","value":"A continuity principle equivalent to the monotone \\(\\Pi^0_1\\) fan theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7043056"}},"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":"Q1734272$7C878461-9688-458D-B92B-66D00A24A0D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e26d1ef61697830136a369d97b76258a543116b","datavalue":{"value":{"text":"A continuity principle equivalent to the monotone \\(\\Pi^0_1\\) fan theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1734272$E45BE113-C7CD-4ED5-BF2D-788053CC9EA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92a872a60cd3c8446d9523a6fddc32aa43cf1f7f","datavalue":{"value":"1475.03100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734272$105BB9C0-06FD-47C1-AF78-96C5430EC800","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9aecb6ededd34480101a3f509344c31123c7055","datavalue":{"value":{"entity-type":"item","numeric-id":1734271,"id":"Q1734271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734272$3CA78A60-7D02-45AE-B43F-2A0026D35930","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734272$39799474-FB59-4D18-A23C-EAC1976EAF93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d06bbe883443d922d03e742956c1e568349f86c8","datavalue":{"value":{"time":"+2019-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1734272$6320B629-3067-47B0-8B1E-0D6BFAD71AFB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"663ea3fe843a9fc3d3e25514c4d6752df43fd28c","datavalue":{"value":"https://arxiv.org/abs/1808.08076","type":"string"},"datatype":"url"},"type":"statement","id":"Q1734272$A4FCB561-46B8-43E1-821F-847E676371A0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"980b1efe4bd9745637e2405608444cff0d435fcd","datavalue":{"value":"The author's strong continuity principle (SC) says that every pointwise continuous function from a complete separable metric space to a metric space is strongly continuous in the sense of [\\textit{D.S.~Bridges}, Constructive functional analysis. London etc.: Pitman (1979; Zbl 0401.03027)]: that is, uniformly continuous near every compact image. Working in Bishop-style constructive reverse mathematics, the author shows that SC is tantamount to the fan theorem for monotone \\(\\Pi^0_1\\) bars, and that the latter is equivalent to a variant of the fan theorem, called sc-FAN, related to but stronger than the principle c-FAN from [\\textit{J. Berger}, Lect. Notes Comput. Sci. 3988, 35--39 (2006; Zbl 1145.03339)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734272$31D5FA67-1F67-4377-8689-063B9C7CFE34","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c33a963100806d74a242a5df1e1de059fbf40e75","datavalue":{"value":{"entity-type":"item","numeric-id":591967,"id":"Q591967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734272$B4FD6FD1-73C7-4C9E-9A5C-5D255AA198AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734272$A2814BD6-A386-4AC1-9ED8-B57917E79E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734272$8AE6EFB1-B07B-46D3-9AC9-E97681FCF225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734272$3B0106E4-5800-4BAA-B252-1C04BD972A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a20cd59c273c000bfa7322d339734d32b8ecc250","datavalue":{"value":"26E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734272$0B63B05F-9655-4160-90BE-774CF7A80E49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e785aba56de621b30c939e3f8c53acc9fd3d4658","datavalue":{"value":"7043056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734272$0D04C52C-18D7-4AE9-990E-8FD73AA7D125","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf2c7e534794e4072f482d9ba3e8a962d2cf59c","datavalue":{"value":"pointwise continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734272$8DC82741-5744-45BF-A556-4FC9A1DBBBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74e376208fe51f166000dc84ffad7385bf21f28d","datavalue":{"value":"strong continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734272$0FD66C98-5FCC-4FB7-8CDC-3282643E228A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0051fa7bc7f16a45c398b2aa7da1d79c7c51e142","datavalue":{"value":"fan theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734272$3777C352-E73C-4A95-BBF5-19740BBE9F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee01fea2f657b5359bc93a17fff748d906f69493","datavalue":{"value":"constructive reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734272$05E20171-E307-4CB8-8C22-4D89F939A629","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":"Q1734272$E311DA5E-D61D-4453-BDCB-5B60BBA31B94","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a99b8a808f7932b38a758803b7b645bb8030c1c","datavalue":{"value":"W2888403409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734272$BBF0DE42-63EC-41CA-B7F3-C96733274E3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"589326d0f79b834fbef4975100d69a276962543f","datavalue":{"value":{"entity-type":"item","numeric-id":5717045,"id":"Q5717045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734272$5570C456-D26F-4A6E-B4A6-7135FCC12F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5254ccbb1a11ef998e0596623214c5aeaf223b8","datavalue":{"value":{"entity-type":"item","numeric-id":5898800,"id":"Q5898800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734272$030B8613-6D6F-460D-9A8E-72418D13A2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4137fee0a2932d748087972df4af7ce7047b4c","datavalue":{"value":{"entity-type":"item","numeric-id":3567844,"id":"Q3567844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734272$E21994AC-7C9B-4A44-AEDF-42E984ADB174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f094c7556d153467690db738b2d627f725d9476","datavalue":{"value":{"entity-type":"item","numeric-id":3424134,"id":"Q3424134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734272$EAC7CC4D-6E2B-4ADF-928A-E65A92302F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734272$8315F3B2-72A0-4355-B5D0-41FCC503AE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906ac180f2abcfa9b32aae4860e71d746ecfa3d3","datavalue":{"value":{"entity-type":"item","numeric-id":4184832,"id":"Q4184832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734272$611AC56B-97A2-4245-B4FF-C482A1498FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef811fe82014afd549ae4c462f71e15c5bd9450d","datavalue":{"value":{"entity-type":"item","numeric-id":850934,"id":"Q850934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734272$A8016AAE-5D2C-42FE-9763-AD0ECCC80A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94156d6dafc1dff0d48facda12a89c68593a8184","datavalue":{"value":{"entity-type":"item","numeric-id":1001912,"id":"Q1001912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734272$183F64B3-B3C0-4A7A-8DD6-F5B82136161B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4312fd1c8c5e5d85ba5428883b40e830f448e020","datavalue":{"value":{"entity-type":"item","numeric-id":5718575,"id":"Q5718575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734272$1B5AD79A-CD55-4A46-B1C1-47AABC38681D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7916cf15568cccfd54708d22a5d8cb0df278d27","datavalue":{"value":{"entity-type":"item","numeric-id":5310890,"id":"Q5310890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734272$770F36ED-4E35-4CCD-9752-A19B4C6D13DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734272$8D798B39-CE81-4386-9111-CA6F03174450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734272$83A3FE63-51E1-42BB-AE88-CEC349538832","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"840873204a11c0d73fe0fbc71ea7268e08b62efa","datavalue":{"value":"10.1007/S00153-018-0644-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734272$CF7A1343-6841-44A7-B360-A254001E7083","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9cdf387141ec33786c38277cccd8ff80da4af84","datavalue":{"value":{"entity-type":"item","numeric-id":5717045,"id":"Q5717045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf0c5027943fabe3c2c88275e6fe0a4fc3c02528","datavalue":{"value":{"amount":"+0.832450270652771","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":"Q1734272$18A26C60-324E-4640-A000-F937AC77A043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af08d96ef05f980f05c0abc6442b3c5be31f8555","datavalue":{"value":{"entity-type":"item","numeric-id":5310875,"id":"Q5310875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b15a41f835a29226bdd882dc603ed5e37695bcb4","datavalue":{"value":{"amount":"+0.8161849975585938","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":"Q1734272$6C6F5A8E-E86F-4A7E-AB6F-8164AFF81887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7450ac04af37be4d65997a3ac411f98edd2401da","datavalue":{"value":{"entity-type":"item","numeric-id":5898800,"id":"Q5898800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"106d686ba183327cd76aad3404995a2706217b4a","datavalue":{"value":{"amount":"+0.8088839650154114","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":"Q1734272$6E82A47F-D1D0-4427-A44F-36CA965FB3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"530a71ff808bdd6c315d732e5269eb66291cb6f0","datavalue":{"value":{"entity-type":"item","numeric-id":5224158,"id":"Q5224158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaedf56fa3375de13509403ee75a653ea0fc7e1c","datavalue":{"value":{"amount":"+0.8070801496505737","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":"Q1734272$74533D00-9A0A-409B-B978-B6350F74AE20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8e3b2c39e41aead81ebf88a2f173d1c6d70f56e","datavalue":{"value":{"entity-type":"item","numeric-id":3984410,"id":"Q3984410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"304803ab6eb9c82b81e3dae2b9c25f6e3a187d0b","datavalue":{"value":{"amount":"+0.8054746389389038","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":"Q1734272$FC9E04E2-B21B-43E0-AF0C-E9D4543772D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A continuity principle equivalent to the monotone \\(\\Pi^0 1\\) fan theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_continuity_principle_equivalent_to_the_monotone_%5C(%5CPi%5E0_1%5C)_fan_theorem"}}}}}