{"entities":{"Q424539":{"pageid":426306,"ns":120,"title":"Item:Q424539","lastrevid":61769994,"modified":"2026-04-11T01:32:39Z","type":"item","id":"Q424539","labels":{"en":{"language":"en","value":"Aligning the weak K\u00f6nig lemma, the uniform continuity theorem, and Brouwer's fan theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6040326"}},"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":"Q424539$A0591F29-7B3D-425B-BD98-570B6B04A2E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e088ea073b98cc24f74b481fe7f0bbd5b057463e","datavalue":{"value":{"text":"Aligning the weak K\u00f6nig lemma, the uniform continuity theorem, and Brouwer's fan theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q424539$690C9846-6FBA-4B39-91F1-6A47F4BF2C00","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bdff7fc4f1a985771243456d8d9c07be390c9d22","datavalue":{"value":"1280.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424539$FFA38C19-FA32-423E-9AA4-8C82A9E963DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b297e870ab363601f4b2bc889f037e2eb84a7725","datavalue":{"value":{"entity-type":"item","numeric-id":306580,"id":"Q306580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424539$761060CD-E3B0-4214-8727-55E3CCEB5C84","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424539$EF6452AB-077B-4B16-943E-0159193C3BB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551a6f900a46a3a457eea381c5a639d070eb099d","datavalue":{"value":{"time":"+2012-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q424539$869507D5-9ED7-407E-B08B-4A5C2CE56962","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"40f697ed02d52afe57993528759bcd5315c722f6","datavalue":{"value":{"entity-type":"item","numeric-id":365681,"id":"Q365681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424539$00D773C0-08B1-4ECE-BB67-150A24D1FB8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424539$A1F57B50-E271-4A8A-AB0F-628D7B7087A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424539$C73ECE77-FD80-4E51-B6D7-36A1CF49D62E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04a6692745b25130a7650dc1018b0cdacb024314","datavalue":{"value":"6040326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424539$B896ADCF-0C44-400B-86F9-E2DBCDFF0B5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f9e7d8d3bbb792edc2a52c9f738eeec5be688d","datavalue":{"value":"Bishop-style constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q424539$AEDCF9AA-8EEE-4253-ADF4-D5685F7E6529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f65c903e15f344548cee589bcf472518f888ec2b","datavalue":{"value":"weak K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q424539$F1862C77-FE9F-4163-913D-9A626DF3596B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f93c9da35cc42481e36e620148fc345c557cea37","datavalue":{"value":"uniform continuity theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q424539$86E5A1CA-8CD9-47C2-9FBF-4BBCCD1CDC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0051fa7bc7f16a45c398b2aa7da1d79c7c51e142","datavalue":{"value":"fan theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q424539$958811CE-EB22-4FAD-99AB-C09791EAB738","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":"Q424539$B71FC3C3-9EBD-4666-89E6-9EA855C7B294","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"af3bcf5d19ab70e1c215b47ab9ea9ce3168a54bd","datavalue":{"value":"Q124801247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424539$713E3F08-B29F-42AF-8B18-5B2F85718D1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"453a73d2cd02aa940ef09ff12be96c3971510b5b","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.12.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q424539$F43A2457-1790-4484-8FA7-27E9BC0EBE3E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0bdf9da4b73ba275acbf6aafa41f2c4f20ca8135","datavalue":{"value":"W2088132992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424539$9193A909-F00D-4639-A7CF-F0330572DA61","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":"Q424539$3FABECCF-405E-4300-BA69-AEB37EF1904C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe84798515e0f599e789509d6b81f9ce2f6acb3b","datavalue":{"value":{"entity-type":"item","numeric-id":3617370,"id":"Q3617370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424539$AF039FF8-EFE8-4AE6-B4F8-09E0308D0D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3c9ae67106175f5143597bda48ec2beb4bbfbb","datavalue":{"value":{"entity-type":"item","numeric-id":5591514,"id":"Q5591514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424539$08365A0B-FDFF-4669-B14A-3C4596DF946E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424539$513AEE42-DAA4-486C-9C16-A7F1A430693C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424539$10B9524E-D27C-4F57-9D02-F0C1F18508B6","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":"Q424539$C0E03A9B-54D8-45C3-AE62-75AB742879D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfc9be67ba2994d59559156edb1ac6b72d944164","datavalue":{"value":{"entity-type":"item","numeric-id":867405,"id":"Q867405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424539$217EDEB4-6500-4590-8D07-07C360A73D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c12487475a660e5b69149e6fc4aed45a6e0fe2e2","datavalue":{"value":{"entity-type":"item","numeric-id":4793025,"id":"Q4793025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424539$7DBF5142-4CE1-4784-8C32-810A90909F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424539$DDB923D0-58D1-4BB8-8299-E5A60A43E1D3","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":"Q424539$5A2F6B2F-67D0-4669-840C-11445AD73818","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85bff6884fbc1a9888ed5981def0113deafa6752","datavalue":{"value":"10.1016/J.APAL.2011.12.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424539$6561D7DB-D2EF-4589-A417-28B62EC5BC68","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3ce31bb0c15b71a784dc71f3b64bad56c3229b89","datavalue":{"value":"Let WKL be weak K\u00f6nig's lemma, UC be the uniform continuity theorem, i.e., the statement that each continuous function \\(f:[0,1]^\\mathbb{N}\\to \\mathbb{N}\\) is uniformly continuous, and FAN be Brouwer's fan theorem. Classically WKL, UC and FAN are equivalent. FAN is the contraposition of WKL and is the intuitionistic counterpart of WKL.NEWLINENEWLINEIn this paper, these principles are now considered in Bishop-style constructive mathematics (BISH) and it is show that BISH proves \\(\\mathrm{WKL}\\to \\mathrm{UC} \\to \\mathrm{FAN}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q424539$F103EFC6-80D0-4CF1-9491-ED2DC9E910CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f01c1be3a8179619af1772e22f7fe8fd55d4c3","datavalue":{"value":{"entity-type":"item","numeric-id":2851185,"id":"Q2851185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bc8a79e7def6cf7043e79d223a7a8248a9c6fbc","datavalue":{"value":{"amount":"+0.8827034831047058","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":"Q424539$82548AAC-A0EB-4F5D-85CB-8FEA34AAFF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd32d64a2ee32df16eb57f0d97e7b47034e1dcca","datavalue":{"value":{"entity-type":"item","numeric-id":1734272,"id":"Q1734272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"909a1496b08664e97369faa862010f7fa222c5e0","datavalue":{"value":{"amount":"+0.8458327054977417","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":"Q424539$16A32D06-3C1F-409D-A099-7381CD08F218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf89038f1ddc8165ab4b5ea346cb0133e6a7288","datavalue":{"value":{"entity-type":"item","numeric-id":3617370,"id":"Q3617370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a185452366a7a905288f824db27ca31f880de38","datavalue":{"value":{"amount":"+0.8410833477973938","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":"Q424539$7085EAFF-08EC-4053-BAD5-B6ACFCCAEF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c6e129db663e21e6fa129a35f8cf3cc55aeaa3","datavalue":{"value":{"entity-type":"item","numeric-id":5412172,"id":"Q5412172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96c5da6c64b270efac2c72793399f21d5262808e","datavalue":{"value":{"amount":"+0.8390852808952332","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":"Q424539$5D30A7F5-ED53-436F-9919-7903FC1E755E","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":"8c5b06e4f2ba644659419198ef971e65fc57407d","datavalue":{"value":{"amount":"+0.8241398334503174","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":"Q424539$2905B860-3B57-4929-A907-28233994B9A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Aligning the weak K\u00f6nig lemma, the uniform continuity theorem, and Brouwer's fan theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Aligning_the_weak_K%C3%B6nig_lemma,_the_uniform_continuity_theorem,_and_Brouwer%27s_fan_theorem"}}}}}