{"entities":{"Q735982":{"pageid":737831,"ns":120,"title":"Item:Q735982","lastrevid":63980748,"modified":"2026-04-11T16:50:33Z","type":"item","id":"Q735982","labels":{"en":{"language":"en","value":"Splitting in 2-computably enumerable degrees with avoiding cones"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5621434"}},"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":"Q735982$E7196A5F-0571-4B05-8BB7-2DE5C5D31829","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"986ebd89ad65d3cfee482c30014fa81b874f6965","datavalue":{"value":{"text":"Splitting in 2-computably enumerable degrees with avoiding cones","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q735982$12AE18AC-F0F5-427E-A135-F0586D2E6105","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5b59792e1f2f80b6b0df50f24ae432c59ffca2b","datavalue":{"value":"1185.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q735982$19246CDC-AB75-4124-879D-3905DE8EB9C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30d969c18d715e78d6769d25e6c584870119c63f","datavalue":{"value":"10.3103/S1066369X09060127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q735982$9FA276DE-D5AC-4E81-B296-AC0D93597EBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3ef30e0d07837c8e886a6608e93f3d7fed0a4cd","datavalue":{"value":{"entity-type":"item","numeric-id":735981,"id":"Q735981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q735982$56A7152E-CBD7-4F95-9B4A-65BCA5B98345","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62318960435ff4e0b6f0bda102e1b989b0fc569e","datavalue":{"value":{"entity-type":"item","numeric-id":268929,"id":"Q268929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q735982$D8D5041C-F589-48C5-9127-13F6FF0070B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"630340bfa00872c2b7b4672df4d7eac20447ca42","datavalue":{"value":{"time":"+2009-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q735982$D2E05AEC-16EB-4A97-996B-0D9E8CBC663F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"48c7d1ec30556d6faf015f1df522ef3545a6ed77","datavalue":{"value":"It is proven that for any pair of properly 2-c.e.\\ Turing degrees \\({\\mathbf 0} <{\\mathbf d} < {\\mathbf a}\\) such that there are no c.e.\\ degrees between \\({\\mathbf d}\\) and \\({\\mathbf a}\\), the degree \\({\\mathbf a}\\) is splittable in the class of 2-c.e.\\ degrees avoiding the upper cone above \\({\\mathbf d}\\). In other words, given \\({\\mathbf d}\\) and \\({\\mathbf a}\\) as above, there exist 2-c.e.\\ degrees \\({\\mathbf x}_0\\) and \\({\\mathbf x}_1\\) such that \\({\\mathbf a}\\leq {\\mathbf x}_0\\cup{\\mathbf x}_1\\), \\({\\mathbf x}_0<{\\mathbf a}\\), \\({\\mathbf x}_1<{\\mathbf a}\\), \\({\\mathbf d}\\not\\leq{\\mathbf x}_0\\) and \\({\\mathbf d}\\not\\leq{\\mathbf x}_1\\). The author also points out that the hypothesis that there are no c.e.\\ degrees between \\({\\mathbf d}\\) and \\({\\mathbf a}\\) cannot be removed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q735982$E3B78FFC-88E9-43D0-838D-090B88739B50","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0a67f77b8c1da6e34278d8eb54be6e5a28a3dcd4","datavalue":{"value":{"entity-type":"item","numeric-id":453199,"id":"Q453199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q735982$9AB6C314-2BAF-4F7B-9DDB-858C0E0CBE0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"86e7d9065663fa3ffd8f6c70df93df9f4742e385","datavalue":{"value":"03D28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q735982$34FDC1FB-CC00-44B7-8BA0-58A9ED22B6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q735982$993BEE41-8B63-4A0A-B322-9E037AF6E44F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3acfae472579261fdd3544a1dbce9a0def3161a5","datavalue":{"value":"5621434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q735982$317398D4-4B7D-4E6B-BD48-FF807717D89B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db8eee0d071ef394fff1de027a34618b3ecabd7b","datavalue":{"value":"2-c.e. degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q735982$30C92DAA-D201-4BAD-9A73-094565113D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88fab1d7dadc9c096095fb8f4f755156daf4bb08","datavalue":{"value":"splitting","type":"string"},"datatype":"string"},"type":"statement","id":"Q735982$9B2273F3-DECC-4927-A754-FEB9387083D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"984f3bae5980983a2becce65f9d30a71e83c3fa9","datavalue":{"value":"avoiding cones","type":"string"},"datatype":"string"},"type":"statement","id":"Q735982$317130E2-EF34-4626-9A8E-071163F13B16","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":"Q735982$C1EBC84F-1209-4A3D-BF9C-EF848118E77B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89001f0d95d8af2283c3eaac6df53bb8b88854c1","datavalue":{"value":{"entity-type":"item","numeric-id":2626204,"id":"Q2626204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q735982$33BE0C06-301D-49F3-85EB-58AB62F7E6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7afbc406dadd562432f9bda7ca725b971098774a","datavalue":{"value":{"entity-type":"item","numeric-id":3993783,"id":"Q3993783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q735982$6D362B62-E16C-4B84-88A0-18DA79D6E514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d665f0108660181ae2d07065779ff20d6d23d716","datavalue":{"value":{"entity-type":"item","numeric-id":3570156,"id":"Q3570156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q735982$1349AB3C-F6C7-4C3D-8214-451D3C3A9A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9ba094776e3c39d6bbde7b2704ad7919469f053","datavalue":{"value":{"entity-type":"item","numeric-id":2503830,"id":"Q2503830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q735982$6F6EEB7A-977D-4578-9FD9-C93902EBD580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e7920cdf388a5ed50e563163b97bc3726cc303c","datavalue":{"value":{"entity-type":"item","numeric-id":582288,"id":"Q582288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q735982$3DA1E607-1C79-4C86-BDA5-B2D1C3CA979A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f23ecef8ca715ca2fe1cce6f167d25a0622d535e","datavalue":{"value":"https://doi.org/10.3103/s1066369x09060127","type":"string"},"datatype":"url"},"type":"statement","id":"Q735982$1F528387-904E-4B77-A679-76B77F511C8F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"027f1bac534b0537dc464a381d469b7832c6cfe0","datavalue":{"value":"W2152094373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q735982$2DC27B9A-44B7-4C6E-81C0-210143C2A36D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1092e095738a4c0a6e7195b8023d9279f4e98c0","datavalue":{"value":{"entity-type":"item","numeric-id":2503830,"id":"Q2503830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"519fa5034db6d2a83b0109c03b618d81a285d551","datavalue":{"value":{"amount":"+0.8472015261650085","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":"Q735982$846307DA-6A4E-4EFD-A9B7-0EBFB3E5B8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af3562c311ca1cd02c16661b8b405ab769cb3cdf","datavalue":{"value":{"entity-type":"item","numeric-id":4683147,"id":"Q4683147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28cd8e07321bc6abdfdeb133637b396693e88301","datavalue":{"value":{"amount":"+0.8206244707107544","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":"Q735982$3644BAAE-73C5-449A-AC7B-78CD2AA7AE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca73e7be104ab3c8d52763c57a250ea02899bbf7","datavalue":{"value":{"entity-type":"item","numeric-id":1956598,"id":"Q1956598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2887a5952bd1936da41d9e54c7943aeac4ad1f0d","datavalue":{"value":{"amount":"+0.796340823173523","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":"Q735982$46D1B3BD-6907-4ADC-A66D-5919BEC2DABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9ec4e49fd0edec8226619e2f975f7da42195982","datavalue":{"value":{"entity-type":"item","numeric-id":4939402,"id":"Q4939402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6776c41e6ee9f08e49b1391a02a8b48b6f57ac67","datavalue":{"value":{"amount":"+0.7942481637001038","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":"Q735982$A6446DD6-8068-4BDD-9004-51822FF26E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fef52c363e9948894b5be9ccc0156e1980653cfd","datavalue":{"value":{"entity-type":"item","numeric-id":4238426,"id":"Q4238426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef9c8cf88ea11b506020155767f5fd2ad6c9b87a","datavalue":{"value":{"amount":"+0.790443480014801","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":"Q735982$16FB09EF-3586-4206-AA51-01D2DD305DC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Splitting in 2-computably enumerable degrees with avoiding cones","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Splitting_in_2-computably_enumerable_degrees_with_avoiding_cones"}}}}}