{"entities":{"Q703836":{"pageid":705685,"ns":120,"title":"Item:Q703836","lastrevid":63748254,"modified":"2026-04-11T15:16:49Z","type":"item","id":"Q703836","labels":{"en":{"language":"en","value":"Equivalents of the (weak) fan theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2126477"}},"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":"Q703836$6317B3A4-ABA0-45EF-8304-99C9604D4A93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ceaa6d65294cda829e913e85fd29968a08d89bd2","datavalue":{"value":{"text":"Equivalents of the (weak) fan theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q703836$370C5B76-EE64-4EFD-AC3A-093E21986DC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"448692cc739552d596c4063cc4660711dafb42a9","datavalue":{"value":"1060.03081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703836$80B188AC-AD57-46B1-8306-74A8B83B0022","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"454ec0749697ba77b021cb383676266239d5370a","datavalue":{"value":{"entity-type":"item","numeric-id":488355,"id":"Q488355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703836$69309357-6C1A-479D-B26D-E8235B4FDD55","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":"Q703836$9414EB28-0982-43EB-A9C3-1951C1799ACC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fc1bb835ad7d7e19dde657c65db04a5fd1cde0","datavalue":{"value":{"time":"+2005-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q703836$FE6E01D2-6484-4105-8CAD-60FABCE0B26D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"54b5d5341ce651a7da6e2dbb682d5c21335f809a","datavalue":{"value":"The author proves that several theorems are equivalent to the fan theorem over an intuitionistic base system. The base system, WKV, is a weakened version of an axiom system used by \\textit{S. C. Kleene} and \\textit{R. E. Vesley} [The foundations of intuitionistic mathematics. Especially in relation to recursive functions. Amsterdam: North-Holland Publishing Company (1965; Zbl 0133.24601)]. Theorems that are shown to be equivalent to the fan theorem include the Heine-Borel theorem for \\([0,1]\\), various properties of continuous functions on closed intervals (uniform continuity, Riemann integrability, and boundedness), the Lindenbaum Lemma, and completeness and compactness theorems of propositional calculus. Intuitionistically, the fan theorem is not equivalent to weak K\u00f6nig's lemma, so the preceding results are distinct from the parallel results of reverse mathematics as presented by \\textit{S. G. Simpson} [Subsystems of second order arithmetic. Berlin: Springer (1999; Zbl 0909.03048)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q703836$CAD3EA05-BECA-4853-A77B-EEDF05C3F173","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c7a0f70c0b7cc2161585e985e86183cb70d3ef","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703836$1EF3C947-B826-4BD4-8131-B01F48A743C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703836$4E9033FE-55C4-4C08-89A0-12D8B25F0FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703836$F5C5010C-C5AA-4C8D-9068-EEE59C808F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703836$408FAC8B-780F-4BAC-BAD9-565AA1FDE474","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d49b4c3dd00c61d30d9af1494c325c17b0d8ab7e","datavalue":{"value":"2126477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703836$9A9BB4C3-DFD1-41B1-97B2-3732F63EA9CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q703836$C2ECA94D-5160-4DFD-BCF5-86C09C914DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32a924d1bf1667638ec5954ebd3bf3b62e771af2","datavalue":{"value":"intuitionistic mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q703836$7BBE9C2B-2307-41EA-B1B0-111CDA8E8E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q703836$3E492105-B3CE-4095-B66A-9083EE20F6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4512f3dd88dfa94dbf1a9f818dcbd017399dc2c2","datavalue":{"value":"WKV","type":"string"},"datatype":"string"},"type":"statement","id":"Q703836$F28693E1-AB4C-46CB-BAC8-9A6C6699236A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74001ff472842f76ab659d169c242b4c3cd096b3","datavalue":{"value":"Heine-Borel","type":"string"},"datatype":"string"},"type":"statement","id":"Q703836$B2333190-D535-4626-A184-387B6857134C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q703836$A341DA39-9DE0-4006-985F-F73326306838","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":"Q703836$65D917A5-E15F-4672-AFF4-4FE6FDA49FF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8efcbb0c68500ed7d23c9bdb70614245bd047c08","datavalue":{"value":"https://doi.org/10.1016/j.apal.2004.07.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q703836$511236FA-8DD9-4C60-B1B6-68D3E5775AC5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f9de37ad55a6f025e2d04ca6160bc0135f45b5a","datavalue":{"value":"W1982061352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703836$02C97C25-5B9E-490E-9575-B3863EB41E23","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703836$27916366-C836-4B6F-8565-F374A5CFC6B0","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":"Q703836$A5850FA6-7F19-4B4D-9A4F-252564D8F42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ba25d69cadc919d80d2b5e82a0eabcb1b50c8c","datavalue":{"value":{"entity-type":"item","numeric-id":5343325,"id":"Q5343325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703836$E06B4909-28F0-4D68-8296-71969B5BDA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379384013882d0ec1250d5147605c89827e2e71b","datavalue":{"value":{"entity-type":"item","numeric-id":3708799,"id":"Q3708799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703836$FE21051B-1AE2-4AEA-B3E0-26DAC95F50B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703836$0AD9B079-87F5-4818-8D77-8B14D1DEA817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703836$056EAA43-A10B-40FD-9AD9-A12636E4B541","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c3e839ea97aabfe72a97edee4756f0bcb1abec8","datavalue":{"value":"10.1016/J.APAL.2004.07.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703836$69ED8614-2A7D-47BE-81D4-F535084958FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acf2d05ab1f575548319d19679895da5bafc879c","datavalue":{"value":{"entity-type":"item","numeric-id":2350974,"id":"Q2350974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddedd6f1453b481683b094d587d7328eeb195b23","datavalue":{"value":{"amount":"+0.7777182459831238","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":"Q703836$7E403793-FE5B-4285-80F3-F5A0E3A852FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d05da949a33957cead130246d6add244a293b31","datavalue":{"value":{"entity-type":"item","numeric-id":403410,"id":"Q403410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"443e462331428c4ab7c9939bf24f5776f2752827","datavalue":{"value":{"amount":"+0.7737720608711243","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":"Q703836$C63E44B1-DCD8-44BD-8743-F6B90ADA5079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f50ce32751f6894ad3001e9c08f6f340fa5ffa4b","datavalue":{"value":{"entity-type":"item","numeric-id":424539,"id":"Q424539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eecba92e7073b64befc52a5a7b4a9ac72b5ba9b2","datavalue":{"value":{"amount":"+0.7721480131149292","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":"Q703836$B65A8398-AE20-45B1-9A71-B66B7E258D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a7eb97d308de87bbe862ad0ce50764d03c6211e","datavalue":{"value":{"entity-type":"item","numeric-id":5693110,"id":"Q5693110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7507ee9c84368607e961d6d6079d1bc2e1c518a0","datavalue":{"value":{"amount":"+0.7667741775512695","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":"Q703836$14C3DEBE-7B79-4592-933D-11BD4E6E3E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89610b54c2925a71593ae44b7b52878023aa442d","datavalue":{"value":{"entity-type":"item","numeric-id":5310891,"id":"Q5310891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a2e7bff34e7082ae2d45bb52cd00d3e7408f436","datavalue":{"value":{"amount":"+0.7597075700759888","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":"Q703836$C495DB0A-F892-4CF8-ADDE-8DD50462D2F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equivalents of the (weak) fan theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equivalents_of_the_(weak)_fan_theorem"}}}}}