{"entities":{"Q1407524":{"pageid":1418264,"ns":120,"title":"Item:Q1407524","lastrevid":48176851,"modified":"2026-01-03T21:11:04Z","type":"item","id":"Q1407524","labels":{"en":{"language":"en","value":"A new conservation result of \\(\\text{WKL}_0\\) over \\(\\text{RCA}_0\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1982460"}},"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":"Q1407524$987103B7-1384-4DE6-9725-D598A6A06C75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ad1142d5f1b8fe405791f1f88d8a678f2812815","datavalue":{"value":{"text":"A new conservation result of \\(\\text{WKL}_0\\) over \\(\\text{RCA}_0\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1407524$F2156EAE-69A0-4FD4-8DE1-1FFA4EF637DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1dfd4b3fd79156687aeb9143b69bdbc16f9f1e6e","datavalue":{"value":"1030.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407524$280CB7E1-59F9-4703-8962-975E688BEAC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b417b7bb22b98dc589164154696103865fdbdabf","datavalue":{"value":{"entity-type":"item","numeric-id":1407523,"id":"Q1407523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407524$B2C6D649-1193-43DD-83FC-B2A829925CE6","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":"Q1407524$5CA2133B-AB8E-48BD-9A4D-4AAF88775728","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":"Q1407524$C0AE0FAA-7B9A-4BE3-B61C-AD13C10A66A6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b3220f94be5a0ea49f5c5e4a0ae2e44a6b7622ba","datavalue":{"value":"The conservation result of the title shows that if WKL\\(_0\\) proves a sentence of the form  \\[ (\\forall X)(\\exists ! Y) \\psi (X,Y) \\]  where \\(\\psi\\) is a \\(\\Sigma^0_3\\)-formula, then RCA\\(_0\\) also proves the sentence. This result is extended to all arithmetical formulas \\(\\psi\\) in the article of \\textit{S. G. Simpson}, \\textit{K. Tanaka}, and \\textit{T. Yamazaki} [Ann. Pure Appl. Logic 118, 87-114 (2002; Zbl 1016.03064)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407524$30B0FEB3-7CF6-4805-B236-7DB57DFEE467","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407524$E93B034F-0EBC-419F-BFA3-1DBC0FC757F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ac70285252cd92545adbf950f35d5f38d449784","datavalue":{"value":"03C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407524$A3C5B587-5C39-47FF-A94E-E96E289A9E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407524$17C756BF-225B-43E6-8FC8-CAB674A9F46F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4774ebab28997c5ca1801a6266ac17b52ee7bc2","datavalue":{"value":"1982460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407524$304463CF-0E1F-4025-9EB1-A7C160C66941","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407524$B97C2A43-4AE1-4CB2-A317-4F9E32FBEB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39ece27df4663c7fd54c61ee7602b62b0604cc6a","datavalue":{"value":"conservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407524$1A2A0B20-D395-4EFB-B256-7A0889921291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"971c3a87d61cd2b2dd145b9052225bdfe903feef","datavalue":{"value":"WKL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407524$2B007F49-C24A-437B-9F00-5F9C9A36AE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407524$5F08AF59-01E1-4C0C-AF74-8C6A8D8C874B","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":"Q1407524$7D482347-819E-40DB-BD1A-CE12216D8E4C","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":"Q1407524$0044E267-B624-4139-A557-C823BA81BF9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62debdc56788629e93be4f863bcada0b0f226356","datavalue":{"value":"https://doi.org/10.1007/s001530200004","type":"string"},"datatype":"url"},"type":"statement","id":"Q1407524$E792DD90-3E64-4521-9E97-BC6576CCBC57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c81184c065455e953fa8271ad897f8f326df265c","datavalue":{"value":"W2041548599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407524$C46787EB-5670-474C-8395-BF7FE7036CA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e82899a04467774c1a49737fbd52f0063b541b6","datavalue":{"value":"10.1007/S001530200004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407524$1574AF48-314F-4802-A30E-9C0119A0E9F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbabb7a7a9a1271342ff4a7b9ae5f4ee66bb3337","datavalue":{"value":{"entity-type":"item","numeric-id":1849864,"id":"Q1849864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f187b17df358806183928f57dc0f6b58fed075f1","datavalue":{"value":{"amount":"+0.8374624848365784","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":"Q1407524$E8277FAF-9DD1-4FBB-863B-F4D254A85847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8868a62ec8df3207496bd1c4a4eb27cf563faf1b","datavalue":{"value":{"entity-type":"item","numeric-id":2563983,"id":"Q2563983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f187b17df358806183928f57dc0f6b58fed075f1","datavalue":{"value":{"amount":"+0.8374624848365784","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":"Q1407524$F374C36C-2462-47F8-9765-05E767BFDFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be241b03bc484f9d877814ee74d1945dcc501880","datavalue":{"value":{"entity-type":"item","numeric-id":1264147,"id":"Q1264147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"126636c1aa9553133d59268053e193ac87876e5b","datavalue":{"value":{"amount":"+0.7912243008613586","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":"Q1407524$2571E56B-6A37-408E-9B42-A31CC5DF2DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5596f4e7aa5c184f3689eee3edc81fa0596227e","datavalue":{"value":{"entity-type":"item","numeric-id":948908,"id":"Q948908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82c4481bd446dd44c2ef222f5c093ebcc107049b","datavalue":{"value":{"amount":"+0.7676859498023987","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":"Q1407524$34A20CC8-FA03-496D-A250-4732F274D1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d314b3dafef13ab367df085f63bfb8ae5e4bfafe","datavalue":{"value":{"entity-type":"item","numeric-id":4939405,"id":"Q4939405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"068c7243b77f3efde7ba23efc96f0b661fbbe742","datavalue":{"value":{"amount":"+0.763253927230835","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":"Q1407524$F416B072-4FEA-4C7E-8F02-8688DACB1F89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1407524","badges":[]}}}}}