{"entities":{"Q7033945":{"pageid":21706554,"ns":120,"title":"Item:Q7033945","lastrevid":76820016,"modified":"2026-04-25T06:14:31Z","type":"item","id":"Q7033945","labels":{"en":{"language":"en","value":"Notes on Sacks' splitting theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7978120"}},"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":"Q7033945$AFA7C010-9388-401A-AFF0-61F8AB07BCA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43571006daf7e789cc59b8a2437988b0236227e5","datavalue":{"value":{"text":"Notes on Sacks' splitting theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7033945$6D2ABB1F-5CC5-442E-83AF-DAB682608C27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae3f5e2c20a93d462f6efb299e5cedb046c4a725","datavalue":{"value":"1566.03203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7033945$2D066C71-FD80-4CEE-B85A-224F43105975","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3296e3cc5d5012b926111be9d7ea7a5e74d3abe6","datavalue":{"value":"10.1017/JSL.2023.77","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7033945$CCA04188-BEDE-4FF2-B6B3-CAC24795E533","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b09a388965329c926d542d4fdd3e9db9fa7e3d1","datavalue":{"value":{"entity-type":"item","numeric-id":162061,"id":"Q162061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033945$938298BD-249C-474B-AE42-112282FDB614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2356fe1f1f6d7960e11f0114cbd6aa7fe05024f7","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033945$B4D3CCE2-4D77-46CF-8199-E096F3BB6783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cae261e340d98e46b49b1ac38d97502605719eda","datavalue":{"value":{"entity-type":"item","numeric-id":1670754,"id":"Q1670754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033945$E3EB1F24-21E3-4252-9CDB-82E3AC7A7691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79b07e9bf28fa59d18d72d0bd8b490fe790edf85","datavalue":{"value":{"entity-type":"item","numeric-id":306577,"id":"Q306577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033945$F9584652-0743-4AAC-AA86-6C95FAC550CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033945$2183C6C3-168B-4BD3-822C-236EF57A86AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aead4b0d68dcb3b2ec9e22335db995a9bfce1920","datavalue":{"value":{"time":"+2025-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7033945$F7E6ED65-0864-4BC4-A6F7-8D5CD5F1F797","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a8d84e908eda399bf7177bdd550b2d262022146f","datavalue":{"value":"In the early exploration of c.e. sets and degrees, the Friedberg-Muchnik theorem and Sacks' splitting theorem played very important roles, in particular for introducing the finite injury argument. The proof of the Friedberg-Muchnik theorem, which shows the existence of two Turing incomparable c.e. sets, has a characteristic of ``computably bounded mind-changes'' and the constructed c.e. set is totally \\(\\omega\\)-c.a. On the other hand, the proof of the Sacks' splitting theorem, which shows that any non-computable c.e. set can be split to two incomparable c.e. sets, has the future of ``unbounded but finite injury''. The paper under review tries to quantify the difference between the Friedberg-Muchnik theorem and Sacks' splitting theorem within the framework of the Downey-Greenberg hierarchy.\\N\\NIt is shown that, while the Friedberg-Muchnik theorem is valid in the \\(\\omega\\)-c.a. level, Sack's splitting theorem is valid in the \\(\\omega^2\\)-c.a. level: Any c.e. set \\(A\\) can be split to two c.e. sets which are totally \\(\\omega^2\\)-c.a. And this result is optimal due to another result of the second author and \\textit{K. M. Ng} [Ann. Pure Appl. Logic 169, No. 8, 803--834 (2018; Zbl 1469.03117)].\\N\\NFurthermore, this paper also shows that, for any \\(\\alpha < \\epsilon_0\\), there exist non-computable c.e. sets \\(A\\) and \\(C\\) such that for any c.e. splitting \\(A_0 \\sqcup A_1=A\\) of \\(A\\), if \\(A_0\\) is totally \\(\\alpha\\)-c.e., then \\(C\\le_T A_1\\). This means that no level of the Downey-Greenberg hierarchy suffices to capture the original full version of the original Sacks splitting theorem [\\textit{G. E. Sacks}, Ann. Math. (2) 77, 211--231 (1963; Zbl 0118.25104)]: For any noncomputable c.e. set \\(A\\) and any noncomputable \\(\\Delta^0_2\\) set \\(C\\), there is a splitting \\(A_0\\sqcup A_1 =A\\) such that both \\(A_0\\) and \\(A_1\\) of low degrees and \\(C\\not\\le A_0\\) and \\(C\\not\\le_T A_1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q7033945$63D5A98E-B72F-4A17-AB56-4151A030180E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dbc008852b7f12e01f50414af435612153cc55c4","datavalue":{"value":{"entity-type":"item","numeric-id":162063,"id":"Q162063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033945$564C56FD-AB89-43CB-B4EF-AA32D31E7FB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7033945$2063578B-4B91-433A-8088-0F02734CAC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7033945$960C15A1-BA87-4762-9AA5-73ECDA7156AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ba31ebb935cbbf2854a51435280b342b696af36","datavalue":{"value":"7978120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7033945$B9278595-2CA0-421F-BE7B-A49E0C4D1525","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033945$8600D609-154F-47FD-889E-EE6BA86A9DFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebe0cdb6d6c2d8440199bf7b3ee1da804689b582","datavalue":{"value":"Sacks splitting theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q7033945$28A862D9-1238-4745-8758-B1F9BB59DA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f336ad890ddbdc6131ea8fa224ed4aeb387c307","datavalue":{"value":"totally \\(\\omega \\)-c.a. set","type":"string"},"datatype":"string"},"type":"statement","id":"Q7033945$A42DE590-FF62-402C-8A22-C27C3FFF281F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5aa5a74e4b10ba781aa851fd6fdfa85fd5bc57d9","datavalue":{"value":"Downey-Greenberg hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q7033945$D151D060-C0FF-4929-892D-80AD666189CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d19e10bbfb8eb38551145c15f1f64041dce58e29","datavalue":{"value":"unbounded finite injury","type":"string"},"datatype":"string"},"type":"statement","id":"Q7033945$8575C648-2DA9-44D2-A069-32A247B48CFB","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":"Q7033945$685C0491-8544-4B37-A231-09B71EA559AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Notes on Sacks' splitting theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Notes_on_Sacks%27_splitting_theorem"}}}}}