{"entities":{"Q1862888":{"pageid":1873630,"ns":120,"title":"Item:Q1862888","lastrevid":69146232,"modified":"2026-04-13T05:05:12Z","type":"item","id":"Q1862888","labels":{"en":{"language":"en","value":"Non-uniformity and generalised Sacks splitting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1885832"}},"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":"Q1862888$FDFC240F-4270-4966-9ADE-1EAAC1499A47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce9cde47df1c1b916d8154789b6ed15646f4704b","datavalue":{"value":{"text":"Non-uniformity and generalised Sacks splitting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1862888$05DCED00-0C0A-488D-9CAF-0DB577F5BD72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df4711913c175d750b94e51897fdee7cb82b3b16","datavalue":{"value":"1021.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1862888$A0B83C00-D7C7-4803-ACFA-839A3E7A36D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c00f46b24a6e783ec8666cb789e3b7557d2392c8","datavalue":{"value":{"entity-type":"item","numeric-id":242614,"id":"Q242614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1862888$53F7864B-1800-46A3-9917-6C77A08A7539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f046327fd5235814d48f026c157401940e2b238","datavalue":{"value":{"entity-type":"item","numeric-id":1862887,"id":"Q1862887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1862888$9C7BCCD8-7DBA-4B70-8AB8-F94F2035D789","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac7e457c13a6fc575ac6a3f0a43b59f9a10be41e","datavalue":{"value":{"time":"+2003-10-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":"Q1862888$5ECF836B-4675-4486-AC72-E38AF95D7E2D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ef1aeacaec01cb402c6ce89b1c68d59f6c53307d","datavalue":{"value":"The problem of splitting is an important issue for Turing degrees. \\textit{G. E. Sacks} showed [Ann. Math. (2) 77, 211-231, correction ibid. 78, 204 (1963; Zbl 0118.25104)] that for any computably enumerable degree, \\(a\\not=0\\), there exist computably enumerable degrees, \\(a_0,a_1\\), such that \\(a_0,a_1 < a\\) and \\(a_0 \\vee a_1 = a\\). \\textit{S. B. Cooper} [Proc. Am. Math. Soc. 115, 461-471 (1992; Zbl 0771.03013)] extended this theorem to all levels of the \\(n\\)-computably enumerable degrees. In particular, this theorem holds for the Turing degrees of the difference of computably enumerable sets (i.e. d.c.e degrees).    The following question arises: is there a uniform proof of splitting in the d.c.e. degrees which simultaneously subsumes the splitting theorems of Sacks and Cooper.    The authors show that there exist no computable functions, \\(f_1,f_2,g_1,g_2\\), such that for all \\(e,i \\in \\omega\\): \\((W_{f_1(e,i)} - W_{f_2(e,i)}) \\leq_T (W_e - W_i)\\); \\((W_{g_1(e,i)} - W_{g_2(e,i)}) \\leq_T (W_e - W_i)\\); \\((W_e - W_i) \\leq_T (W_{f_1(e,i)} - W_{f_2(e,i)}) \\oplus (W_{g_1(e,i)} - W_{g_2(e,i)})\\); \\((W_e - W_i) \\not\\leq_T (W_{f_1(e,i)} - W_{f_2(e,i)})\\) unless \\((W_e - W_i) \\leq_T \\emptyset\\); and \\((W_e - W_i) \\not\\leq_T (W_{g_1(e,i)} - W_{g_2(e,i)})\\) unless \\((W_e - W_i) \\leq_T \\emptyset\\). Then, it follows that the splitting theorems of Sacks and Cooper cannot be combined uniformly. The proof is given by a priority method.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1862888$3BA8440F-298D-4F5A-AEE4-0BB9113546D3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"85e54fe4fe3e6664e5182164ccf3d0d36292225c","datavalue":{"value":{"entity-type":"item","numeric-id":706789,"id":"Q706789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1862888$DF7E2B9B-00D0-42BD-99B7-E10E46872C3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1862888$AC016D38-F50C-42CA-9B7F-F3948AD88256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86e7d9065663fa3ffd8f6c70df93df9f4742e385","datavalue":{"value":"03D28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1862888$CE51FFDC-9C1C-4397-A6DA-DBD108AA581D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd8b9aa2e6597e40b915eb5fed71ea4bc4861c44","datavalue":{"value":"1885832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1862888$E3FA3372-D83A-4437-B009-33ABA48FE7C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91fe4280e2e06a0a064865358db087007d3f302b","datavalue":{"value":"Turing degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1862888$DBAEA577-2BB9-4A0F-8600-1B6774D3184A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f7fe41a287d5ef0bb33669b2cfb0f87c65e29da","datavalue":{"value":"splitting and nonsplitting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1862888$C0D638E1-002D-4FE0-9ADB-6577D0B2769F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dd4ab4763bdabb826bd2e8f0f0e64ae323e3df9","datavalue":{"value":"Sacks splitting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1862888$BACCC764-FE9C-4D86-A6B9-78C38EAD5408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dd93751695b9083fef4c9a048c1347fd76e7e24","datavalue":{"value":"Cooper splitting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1862888$F8E81499-B0E8-4366-8E1E-8A3251B10D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc890b2502746c898980fc9a11d57501d08eefc","datavalue":{"value":"difference of computably enumerable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1862888$FE4CE9C6-6E8B-4B32-94C8-7A5BC088B55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4495fbfed9f92fa5d23585e957102453c02f3319","datavalue":{"value":"d.c.e. degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1862888$97CF8CEC-4336-4746-B9E8-00DAFAA86A12","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":"Q1862888$4E794DB3-5C13-43AD-B350-9F4072C9AB69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3324231a544428238d6e9ebb6ff757a4b55b7efd","datavalue":{"value":"https://doi.org/10.1007/s101140100150","type":"string"},"datatype":"url"},"type":"statement","id":"Q1862888$4C85FC37-7E0F-42B3-AF48-2BB2D3597427","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dbd696f8b86fab498ecf1c09da91c2a5bc446a01","datavalue":{"value":"W1992023753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1862888$064B97DC-B37B-42FF-B7F2-5D43089BE996","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":"Q1862888$9FC09398-135C-46DC-B542-0E46D4AF2137","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":"Q1862888$CCC240DA-9C80-475D-B918-AAC0E76205B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"944cc543495ec883d4fff588e35bcb43c0150adf","datavalue":{"value":{"entity-type":"item","numeric-id":1182487,"id":"Q1182487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1862888$2F48839F-109E-4E07-BF1D-6306932C5CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c929ecfa8f2db0dd69585ea5ecd0d74b52ed4269","datavalue":{"value":{"entity-type":"item","numeric-id":3764144,"id":"Q3764144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1862888$B6DC328E-8D5B-453D-9B2E-865FCF270CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb2dc3fbf517207c4787f706bb6bf193b88b31c5","datavalue":{"value":{"entity-type":"item","numeric-id":4487561,"id":"Q4487561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1862888$FB4C7272-79AC-429B-9B7C-0B9A4BCAD142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1862888$82BFD73E-815C-47A4-A5C6-70CC1A1FF133","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eda15df99506a3fc8c597cefe8c1fb930a0e020f","datavalue":{"value":"10.1007/S101140100150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1862888$A7840122-879E-4C2D-8B35-92A7B4372763","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75e0c332f1b875c544342eda971f0185b6781826","datavalue":{"value":{"entity-type":"item","numeric-id":4466450,"id":"Q4466450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcd14f96ade698d8d77acf3865a36dd57d2aadd9","datavalue":{"value":{"amount":"+0.89123327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1862888$43E823DB-A707-4A54-840E-38314A1BB4D2","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":"193052e97a1f23bc0b0a3e850704e4e7f8db98c3","datavalue":{"value":{"amount":"+0.84967756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1862888$E3FE82DA-5A73-4E19-BAF6-6DC9B53306F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"253b2a68a96f0841429483d96733ce8f0e230278","datavalue":{"value":{"entity-type":"item","numeric-id":3570156,"id":"Q3570156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2507aac05d8d55ab2b580fa5503f194427b921d","datavalue":{"value":{"amount":"+0.8388717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1862888$46EACB72-C95D-4DF7-B317-9CC3BE12871A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7049b9461e06ece1bc7dce38111cb07e33b11a0","datavalue":{"value":{"entity-type":"item","numeric-id":558429,"id":"Q558429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86560e3a6098517c21f2d101f94eea3b121404bc","datavalue":{"value":{"amount":"+0.83573735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1862888$35B00C67-4D88-4CE7-8506-56C60F893830","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":"d57d0fb5119124378e75fcfab6da5f7a06888d50","datavalue":{"value":{"amount":"+0.8208592","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1862888$BD08DC70-660D-4F04-85A1-7FBD7E8BDE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba8047162abffb29ce23277ef4ae375106755b32","datavalue":{"value":{"entity-type":"item","numeric-id":5717051,"id":"Q5717051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3bc7ceec36741ddc10c80d77aecb90073865a76","datavalue":{"value":{"amount":"+0.8142407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1862888$6C441E3F-979A-45B4-9D3D-664E2D0A2FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecbb87c536717ba0ca2b3ccc6b542c36d7029b33","datavalue":{"value":{"entity-type":"item","numeric-id":2765575,"id":"Q2765575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"603eff80d99e7ed53929c2ced6670494b2be818e","datavalue":{"value":{"amount":"+0.81236035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1862888$360E1E6D-389D-4794-B095-C0B9B938E5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c65a1c68cf7d478c0d76ce9ae7e2df14efa40d","datavalue":{"value":{"entity-type":"item","numeric-id":3491536,"id":"Q3491536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3635db54d5788fe8d19bd92b54239a988146706f","datavalue":{"value":{"amount":"+0.79479545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1862888$81D53046-24B9-403C-9BC2-916C2B9E797B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696f3764a0a8bbb4c6152030219bfc71cf5c7a4a","datavalue":{"value":{"entity-type":"item","numeric-id":1785041,"id":"Q1785041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c676b5413a142dc0b99df70d4eafd57f4bd35624","datavalue":{"value":{"amount":"+0.76180977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1862888$A30941A7-284D-410B-9046-E1AAAD485B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d35da5541e2ada53294d30e4db81ebee1ae535aa","datavalue":{"value":{"entity-type":"item","numeric-id":5501923,"id":"Q5501923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92b0586c5c1c75ead866ec74771dd2217df114bf","datavalue":{"value":{"amount":"+0.7577059","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1862888$1523F5BA-504C-4C07-8EE0-BADF1A59E5D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3570b3f5f110906e70e74fb4db2efff35a52a831","datavalue":{"value":{"entity-type":"item","numeric-id":4225446,"id":"Q4225446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1862888$D3535FAE-2385-4F29-9BC7-D6CBF833DC5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-uniformity and generalised Sacks splitting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-uniformity_and_generalised_Sacks_splitting"}}}}}