{"entities":{"Q701736":{"pageid":703585,"ns":120,"title":"Item:Q701736","lastrevid":63639594,"modified":"2026-04-11T14:32:50Z","type":"item","id":"Q701736","labels":{"en":{"language":"en","value":"Embeddings into the Medvedev and Muchnik lattices of \\(\\Pi^0_1\\) classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2123156"}},"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":"Q701736$1C742754-68EC-450C-A462-170D9E2281F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8cec9f8a67e74988494c4e4fc0f12bd08c826b4","datavalue":{"value":{"text":"Embeddings into the Medvedev and Muchnik lattices of \\(\\Pi^0_1\\) classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q701736$D85F51F1-DEFC-41AE-A467-C7013E6A9096","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc62ec96d053147c8a5b74432cbded61b846708f","datavalue":{"value":"1058.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701736$11DE5EC1-891B-4B91-82F5-52D064D3603E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e438a3ea270ba97a50d7fa5899ead3a579962391","datavalue":{"value":{"entity-type":"item","numeric-id":701735,"id":"Q701735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701736$FA170847-82EB-4A92-B935-14337F1AF13E","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":"Q701736$4F5F3A59-11BE-45D0-BB34-FF9129DD346A","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":"Q701736$7440F721-297C-4AE3-B558-0685F7671782","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df1e508a21ee9936a7a8f9defc1512d58443c3e3","datavalue":{"value":{"time":"+2004-12-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":"Q701736$0FC96901-E1D2-4B46-BB53-356F7B8CACDD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f1b1470d30af8a000f36fbdf85c750887ddbca57","datavalue":{"value":"This paper deals with Medvedev reducibility, as well as a weaker reducibility due to Muchnik. In both cases, if one restricts the reducibility to nonempty \\(\\Pi^0_1\\) classes, the resulting degrees constitute a countable distributive lattice. The authors show that for the Muchnik version, the free countable Boolean algebra (and hence any countable distributive lattice) is embeddable into the lattice below any nonzero element. They conjecture that the same holds for the Medvedev version and prove that the free countable distributive lattice (and hence any finite distributive lattice) is so embeddable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q701736$0247BA94-F24D-46FF-83BD-CEE9D50A1B19","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"918802f1a1362bd512279080eb151cb7e040bd3a","datavalue":{"value":{"entity-type":"item","numeric-id":588764,"id":"Q588764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701736$9EF85201-F16A-43A9-9A39-605CD8BE215F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701736$9A89B735-8CF9-41B7-BEE8-2312CA11FE15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7bbf6605dcd23bc56b862208b5ac2416cf1ebb4","datavalue":{"value":"2123156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701736$DA602884-6B14-4380-B48D-0D4D34F335CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e17866a848f6ccf1481c171a51ff33327894d4f8","datavalue":{"value":"Medvedev reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q701736$5F5E91B4-D08C-423A-9E38-40B77AD0A885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb76a922bcd5b083b1696ba9277180a4e424ea04","datavalue":{"value":"Muchnik reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q701736$1530C6B7-5CA6-4BB2-B36B-D6C7ADEC8A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fecee359d58d4e5f65e02d8b631bf30de3e2af0","datavalue":{"value":"\\(\\Pi^0_1\\) class","type":"string"},"datatype":"string"},"type":"statement","id":"Q701736$A63751F2-37B0-4C21-A13D-BCBAF8D0CAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"858687001f2fc97635929fd8a09ca03ceb0cb539","datavalue":{"value":"lattice embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q701736$677E9B10-F2BB-44A8-B6CC-15409FA153A2","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":"Q701736$C9863A86-D719-4C53-9365-7B28D7E20F27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"019367c545e9b6144b0b0b7612c11b0484c6f995","datavalue":{"value":"https://doi.org/10.1007/s00153-003-0195-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q701736$8A8A75CD-FC96-4694-AB37-DE4CE35B7553","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d33f5ff00bfbd2f6d3e7b67a4543fe08fb5cada","datavalue":{"value":"W2010874076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701736$07771228-76AA-4F23-B1DC-8C923A363CF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1a5692d0537d7aab1927e6eb4fa7fe2b56b1016","datavalue":{"value":"10.1007/S00153-003-0195-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701736$37E4F74E-AF35-4A1C-AFA1-D885026A87BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc22543ef32b632b16450a090c5ec79907234a4d","datavalue":{"value":{"entity-type":"item","numeric-id":1407612,"id":"Q1407612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a1f0b2a65e12c333b2ca02aa580cb1a1ba2fcd3","datavalue":{"value":{"amount":"+0.8256003856658936","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":"Q701736$37862F6D-F626-4198-9948-00E907BCC2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7c189ab10361f09d593b92bef6f9ddff6b15bba","datavalue":{"value":{"entity-type":"item","numeric-id":3503754,"id":"Q3503754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6d05bc929c5fb54239f0d8cb9b5f9873a71ed45","datavalue":{"value":{"amount":"+0.823872983455658","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":"Q701736$E1A6FCC8-B6F8-46EB-B92D-B245C3919009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63fbe55f0e4b91138174df23a6957a6cef8e3361","datavalue":{"value":{"entity-type":"item","numeric-id":4419261,"id":"Q4419261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"831a7ec37e597f37fbcb5a62b774c09067ae90fc","datavalue":{"value":{"amount":"+0.8150290846824646","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":"Q701736$4CD8321D-FD2F-449B-A909-F048042991F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa69b389e2cc59163fef0cde6d0622526196dc0f","datavalue":{"value":{"entity-type":"item","numeric-id":3481688,"id":"Q3481688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee6461c8c6e5bf4e3a0ec2dd372a8acc27ec63a5","datavalue":{"value":{"amount":"+0.8118293285369873","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":"Q701736$64A01FB0-96DC-4135-9F96-B73A0A7CA7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fbc122fcf9070915368e4d7f0f83230270b1ae1","datavalue":{"value":{"entity-type":"item","numeric-id":850805,"id":"Q850805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8dd94629dd9fa4894d68d5e5e36a9621837a8a5","datavalue":{"value":{"amount":"+0.809323251247406","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":"Q701736$06136A7D-C5A1-45C4-8759-640891D44D19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Embeddings into the Medvedev and Muchnik lattices of \\(\\Pi^0 1\\) classes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Embeddings_into_the_Medvedev_and_Muchnik_lattices_of_%5C(%5CPi%5E0_1%5C)_classes"}}}}}