{"entities":{"Q938231":{"pageid":940079,"ns":120,"title":"Item:Q938231","lastrevid":50429576,"modified":"2026-01-14T01:06:32Z","type":"item","id":"Q938231","labels":{"en":{"language":"en","value":"Subsystems of second-order arithmetic between \\(\\text{RCA}_{0}\\) and \\(\\text{WKL}_{0}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5313046"}},"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":"Q938231$DA6E6A53-4DC5-4226-A455-1697EE100992","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79e9e7cebf441fd93bae32a93fe79f7fcca76485","datavalue":{"value":{"text":"Subsystems of second-order arithmetic between \\(\\text{RCA}_{0}\\) and \\(\\text{WKL}_{0}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q938231$B7F3AEF2-84E3-402F-96C5-0F8C3308C870","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ada8d84c93f075f32c9f0e9e4072030b245b68c5","datavalue":{"value":"1149.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938231$A6231A47-5A8F-412F-9D1C-32C26BA38EA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa6fe6778469ced17e25612a269bf91190d4e60c","datavalue":{"value":{"entity-type":"item","numeric-id":375888,"id":"Q375888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938231$EB3729DB-C035-4206-8F76-C1955117FEF2","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":"Q938231$0B038168-46F8-4070-9F50-84C64ADBA078","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"046b71469fa93a7e7a58447419bb590ca4ec43ef","datavalue":{"value":{"time":"+2008-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q938231$2E5EA619-F591-4A9D-A21C-03D721FFD390","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"00119a9aad4b185695ebd67c4ea325740db0abc9","datavalue":{"value":"The author constructs a myriad of theories whose strengths lie between that of RCA\\(_0\\) and WKL\\(_0\\). The proof technique applies an extension of a result of \\textit{S. Binns} and \\textit{S. G. Simpson} [``Embeddings into the Medvedev and Muchnik lattices of \\(\\Pi^0_1\\) classes'', Arch. Math. Logic 43, No. 3, 399--414 (2004; Zbl 1058.03041)] to embed the free distributive lattice with countably many generators into the Lindenbaum algebra of sentences that imply RCA\\(_0\\) and are provable from WKL\\(_0\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q938231$A170402F-D736-4AEF-93E4-7A4B101E376A","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":"Q938231$EC765C79-B47C-462F-A130-1A72DC0DC748","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938231$0F398479-48F3-4407-8CE3-0F0DA715BEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938231$126E860E-94C9-48BB-B5D7-BA754F456CA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aecad35632a8b5855983d6e83e51f33a34e2d90c","datavalue":{"value":"5313046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938231$AB2C2415-8244-4C2E-91E9-F272ED95ABB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q938231$B9407862-6482-4B1E-AAA9-B0999E8FCF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e17866a848f6ccf1481c171a51ff33327894d4f8","datavalue":{"value":"Medvedev reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q938231$599C0803-D9C4-4D02-96AE-4EF31C4FA8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb76a922bcd5b083b1696ba9277180a4e424ea04","datavalue":{"value":"Muchnik reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q938231$C642A2EA-38CE-4903-B0E4-42108AA3382C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q938231$672F3300-1A88-4309-AE44-C820F6F9E7CD","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":"Q938231$060FFF7F-1A27-44F7-A023-C0134EBD4647","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ab6fff2307576db2851208b5f645577418b6bfa","datavalue":{"value":"https://doi.org/10.1007/s00153-008-0074-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q938231$B32C2F96-E84B-471E-B49A-56095562F521","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a23f4d39fff169cbc2609651b1243737131544ed","datavalue":{"value":"W2033289159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938231$3A7909E7-A184-40CC-8E30-D8D9C19F4C7E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bcb503645f959b453ec94eb410a792db180ff4c5","datavalue":{"value":"Q57951166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938231$3AC08025-E14A-44E4-9DC1-24AA6191272D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"148ea55d4eaac3fa51f4c936637a62d92bd1c1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5311768,"id":"Q5311768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938231$78EE05DC-A3B1-461C-813F-780900A2B3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b33c4b7dc773f2cab6f4a09074f0a20e9496c47e","datavalue":{"value":{"entity-type":"item","numeric-id":701736,"id":"Q701736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938231$E4378AEB-1C84-4EF5-8518-0C5238563AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c2b2698924bb12307aa412c0d921a065e00037c","datavalue":{"value":{"entity-type":"item","numeric-id":4513963,"id":"Q4513963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938231$77513F2A-FEE9-49D2-8719-CF4061580DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4708edf481f5504c3c7a1bbe0ce2035ee105089c","datavalue":{"value":{"entity-type":"item","numeric-id":3875978,"id":"Q3875978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938231$1272C5A8-8EFB-4ECC-A282-808DA0D872E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86108cb677c98bb6850d4621a5c75e6c35903675","datavalue":{"value":{"entity-type":"item","numeric-id":5677474,"id":"Q5677474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938231$2955795D-0E8A-480C-B6D2-C1CE0AF57A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea8ca66b373ff54556fbad7311f8aec498e810a","datavalue":{"value":{"entity-type":"item","numeric-id":3824402,"id":"Q3824402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938231$F15B9CF1-B113-4698-BF81-839929AE76BB","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":"Q938231$3020D34F-57C4-4B2C-81D4-BF421EDCCF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ac8787e7c7893030486590f5fa75efd9f4d57e","datavalue":{"value":{"entity-type":"item","numeric-id":2639061,"id":"Q2639061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938231$8E11EF6C-E297-467E-A6AD-DD226DAC6B6F","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"35bdbf218f8ed6d55c32599a498998679013b32f","datavalue":{"value":"journals/aml/Mummert08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938231$0EFAE2A8-5A2E-4326-896E-C7748AFC868A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3445ff0ecf94e3ae297f8226580c48051cfde532","datavalue":{"value":"10.1007/S00153-008-0074-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938231$10BBD804-F5BE-4948-9602-8DCBDD93FF3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d637307213c95663894cb9935e7de8dc5ee645ed","datavalue":{"value":{"entity-type":"item","numeric-id":676310,"id":"Q676310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c161a78801b20e62dd18c169422cd4ed53597d3","datavalue":{"value":{"amount":"+0.7837563753128052","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":"Q938231$DC1C0189-7C04-475B-9484-B2FD517AC5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97ad72412d5e80f7e8fe630e4e771b1856280d93","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9802873fb3852f50c4ff26ab92cdccf481936138","datavalue":{"value":{"amount":"+0.7383009195327759","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":"Q938231$0A7EDA11-7E3B-4146-9BB7-3222D0C09F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f0c966deeaad38523406851fc6f555035e23075","datavalue":{"value":{"entity-type":"item","numeric-id":2368910,"id":"Q2368910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9802873fb3852f50c4ff26ab92cdccf481936138","datavalue":{"value":{"amount":"+0.7383009195327759","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":"Q938231$2ED0A239-809D-4B0A-8AA0-5B5C69F418C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5ebdab13a85254bfd63443d5dc3f0ef1eabc65f","datavalue":{"value":{"entity-type":"item","numeric-id":2111115,"id":"Q2111115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f1ba8f2310a21dec5fc48eaa83af746f970a1e4","datavalue":{"value":{"amount":"+0.7161242961883545","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":"Q938231$390A5190-A227-47EA-8C62-078AD4FB3DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25039b6171b2485eba382bcb26f5369f48506ee7","datavalue":{"value":{"entity-type":"item","numeric-id":3699664,"id":"Q3699664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90c17c54999e9df6da9cca7341e27122fc26ecf2","datavalue":{"value":{"amount":"+0.7120124697685242","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":"Q938231$84024562-A9D5-4BA3-BC70-D0AB28CC5D95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:938231","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:938231"}}}}}