{"entities":{"Q1407535":{"pageid":1418275,"ns":120,"title":"Item:Q1407535","lastrevid":68633853,"modified":"2026-04-13T01:04:50Z","type":"item","id":"Q1407535","labels":{"en":{"language":"en","value":"Vitali's theorem and WWKL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1982469"}},"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":"Q1407535$CEC273E2-1D7C-4907-9536-B29B7EF7D599","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1031a4683fad356e8f2761fb42a0991cf3bb296d","datavalue":{"value":{"text":"Vitali's theorem and WWKL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1407535$21935453-EB62-4BE3-87FC-12FCD9322252","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d0bf95f8e590e6f498290dbfc0ef556a23e9ed9","datavalue":{"value":"1030.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407535$61893310-6D81-484C-BD91-1DE9DA932AA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa7aeec9ff770976657d107c6c83eb35f0c13e65","datavalue":{"value":{"entity-type":"item","numeric-id":1407534,"id":"Q1407534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407535$19E63A9A-D90F-4C62-AB59-E1B0F8D27B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5945119fe69d5e53d81fc90c56ef6d7dfd30b30c","datavalue":{"value":{"entity-type":"item","numeric-id":1267844,"id":"Q1267844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407535$3BC5C81C-EC4B-4B4F-B3A4-9F66313AC0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"68f5fcd1cb62389cc4f745277f8208c7cbfab8e9","datavalue":{"value":{"entity-type":"item","numeric-id":306820,"id":"Q306820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407535$4D2960C5-E87A-448F-A8FE-D0AE9687BD5F","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":"Q1407535$DFFBE11C-6B2D-489E-BB06-5556394B5A74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7841ad7b9ae7c226290004bcfbbaa03cb759e96","datavalue":{"value":{"time":"+2003-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1407535$3C44F819-3B7F-4495-B95A-AEB815DCC7D5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9730a96f63a82e1fefcbdcc12dbb354e6af22519","datavalue":{"value":"The authors analyze theorems of classical Lebesgue measure theory using the framework of reverse mathematics. Principal results include the provability of pairwise disjoint countable additivity for open sets in RCA\\(_0\\), and the equivalence of the system WWKL\\(_0\\) and the Vitali Covering Theorem. An interesting alternative intensional formulation of Lebesgue measure is introduced, accompanied by a proof in WWKL\\(_0\\) of the equivalence of this formulation with the previously used definition. The article concludes with a substantial bibliography which lists half a dozen related papers by \\textit{X. Yu}, for example [Ann. Pure Appl. Logic 79, 211-219 (1996; Zbl 0855.03036)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407535$F1F563F2-B775-43DC-9C42-50BE2A09548C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407535$49967125-188A-495A-974F-8BA2B115D97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407535$9DBBD2A1-CA33-4B60-8701-360A592813B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407535$3F5E1D90-CAE2-420A-81DF-9556CA142E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ea71f5d73e86695c3db83eda1dbe060ef0c0108","datavalue":{"value":"28E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407535$CE35CBC1-191A-4480-9114-11D5E218AB5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d12df2b36e9dccea2c0b9eb6e886a307c8f6de1","datavalue":{"value":"1982469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407535$3627D799-ACF7-4213-9545-109E5C60CF69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d3e60988b6c08ba29cf3bb6be820e6d3887ce2b","datavalue":{"value":"Reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407535$CF677DEB-67DE-4048-B386-49A9F03D93E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407535$6735A5DF-06E1-4E88-9062-13B6E2BDFBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a0764a475004acf5ee7338c13d75f34b2c50fee","datavalue":{"value":"constructive analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407535$FB9E20BF-B02A-4661-A93B-2234DADDAF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929dbb98303de67ed78e9b5b31847efe3d08d1e6","datavalue":{"value":"computable analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407535$36E5ED74-FA69-4A7F-A31D-7740344133F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a957e117a35eab84996ca449d0ecd3d9733967","datavalue":{"value":"WWKL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407535$75F6AAE8-1895-499D-A1A1-74A377575123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65f2fa7f223dd8eec34c092ff91861bfac4fa1f4","datavalue":{"value":"Lebesgue measure theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407535$7DC1FC48-6F9D-42A1-88F8-42EA43D61B5E","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":"Q1407535$7BA966FA-8445-491F-A20A-49AA6E77766B","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":"Q1407535$C86306C6-5755-47C2-9EB6-7DCD60053F33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11cd3edff38d8fd45d6850d5b1b25cbf3a451a87","datavalue":{"value":"https://doi.org/10.1007/s001530100100","type":"string"},"datatype":"url"},"type":"statement","id":"Q1407535$752F0484-BDF2-4EF8-A4F5-DE6A9445324A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6dab9bb07fe0656c44df63a4a5e199cf4a32652","datavalue":{"value":"W2037923170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407535$520960AA-01E3-4E77-A7B6-2D3DE7E0D95D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c657d18d685641d36b7fa2d0c78f4e1b9d98e00","datavalue":{"value":"10.1007/S001530100100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407535$1752BB70-AFB0-4C93-B621-2B37575FFFE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13082ed675a72ec435a8e50495da0a3f8efd9a2b","datavalue":{"value":{"entity-type":"item","numeric-id":2639061,"id":"Q2639061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8351af4637c39816e2bb2c1d75b9229e7255064","datavalue":{"value":{"amount":"+0.825128972530365","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":"Q1407535$A095230E-1756-4492-A877-2689724B2FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"426df9c60749f3c9e3c31028186bc4acd10ff369","datavalue":{"value":{"entity-type":"item","numeric-id":3145976,"id":"Q3145976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a761c7e3cb4b7ea17014ef5924fe336709bc166","datavalue":{"value":{"amount":"+0.7936866283416748","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":"Q1407535$4651FE7E-39DA-4DAA-9C54-E5B8DB2E95D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bc21311c807a3e32a60a542faefdb47175383e2","datavalue":{"value":{"entity-type":"item","numeric-id":2970958,"id":"Q2970958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbe0d5d6f69e1ebc9b8a8fd1e3399f7d68629c55","datavalue":{"value":{"amount":"+0.7807889580726624","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":"Q1407535$E4587D47-4251-4AC5-9D16-156974C4BC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94e0219e9ead33cd26a63f0db377d879e730ce13","datavalue":{"value":{"entity-type":"item","numeric-id":4304143,"id":"Q4304143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35425114b56cb204dcf2a2c558288fb94fa792c8","datavalue":{"value":{"amount":"+0.7637678384780884","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":"Q1407535$882B2B42-F213-46C4-9273-B317C230F7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9dffd742df7b4133cf956d248793fed2440a26","datavalue":{"value":{"entity-type":"item","numeric-id":4440538,"id":"Q4440538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5f9c5178ebc5f25effe0bf2080f7e739fa5993c","datavalue":{"value":{"amount":"+0.7598270177841187","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":"Q1407535$8DBF7BAF-B290-4B5A-9C1A-6E9285DF9397","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Vitali's theorem and WWKL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Vitali%27s_theorem_and_WWKL"}}}}}