{"entities":{"Q2750871":{"pageid":2761610,"ns":120,"title":"Item:Q2750871","lastrevid":47692153,"modified":"2026-01-02T11:03:14Z","type":"item","id":"Q2750871","labels":{"en":{"language":"en","value":"A splitting theorem for \\(n\\)-REA degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1663116"}},"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":"Q2750871$CDCF7AE0-C39F-4908-87AE-2FE627CF57E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"069be54edb4afdf57390efa1164ab186f107ce59","datavalue":{"value":"0993.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2750871$837BCD54-53A5-4838-BB9E-0C4AD973DC03","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6afdfd9e4695cd00c26f4b84fa866c38065e85ef","datavalue":{"value":"10.1090/S0002-9939-01-06015-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2750871$7F97AE3C-7BF7-4942-AC45-B5E87198DE7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b4e48a13833dd9894b366d4966e95d03977c89","datavalue":{"value":{"entity-type":"item","numeric-id":175054,"id":"Q175054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2750871$ECF91DBA-217B-44DA-B229-BDDBF3B1F610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a89229a66bdfdb3e2e5619b7e8031866b3343269","datavalue":{"value":{"entity-type":"item","numeric-id":189917,"id":"Q189917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2750871$FDA3D604-FD88-4955-9D40-DF8A7199E6A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7b55aa1a8dafd08ef90d95361f82f1155bd5da7","datavalue":{"value":{"entity-type":"item","numeric-id":115236,"id":"Q115236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2750871$13B62424-4DAE-4F70-B854-0ADF12EB0DBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2c37c3249990a784c17752a81c2a2ad74923736","datavalue":{"value":{"time":"+2001-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2750871$5E6552FB-767A-4E48-9D60-3F07783B57C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"86e7d9065663fa3ffd8f6c70df93df9f4742e385","datavalue":{"value":"03D28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2750871$8EBB5C8F-6FC8-4A7E-96F4-73D24BACAA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2750871$2ABBC3D6-2F34-40B3-B58B-4EC7F8F1CF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2750871$B4929883-DF12-4E32-A7DE-03C0B92C5F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2750871$C2981966-D855-459A-A453-0DFDAEDED2F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"adb500e2955aa7bdaad6ad79bdf5f2241f3a4395","datavalue":{"value":"1663116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2750871$4BB6B242-F1C1-47A1-B203-E5EC619E9C6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"948cc8cdb885a280b485e2da2b71f5dbbc318ce4","datavalue":{"value":"Turing degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q2750871$75AC976F-1DAC-41B2-9170-31AF7EF67BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6907e9b83f957b47990b4e0638bc567ed9634cc","datavalue":{"value":"degrees of unsolvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2750871$FED1C0AB-099A-4CEC-B296-250C46D3CBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41095ab7b07d83aa7641fcc8b750baa121bc0134","datavalue":{"value":"definability of the jump operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2750871$74653F34-A9EE-41B2-BB10-E365C9626EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c026ecc3f870e57813d038af3ab55067e3cb72a5","datavalue":{"value":"\\(n\\)-REA degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2750871$37D0BD50-E0AB-4B78-AD2D-7C2D7AAC96C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23c7031418e51cc601e012608d4b8d0d0c53a567","datavalue":{"value":"recursively enumerable set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2750871$64F5872C-7054-4BB3-8C60-2212D2D774CE","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":"Q2750871$9F899792-EF0F-4E7A-BEE7-FD5AE89EB99E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9335d7056328e177bca32ff7119b115e54af47b","datavalue":{"value":{"entity-type":"item","numeric-id":3491536,"id":"Q3491536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2750871$7873B393-7349-4BE9-B24E-BA3A183BDF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"019292ebad298a3bcd5b15c305a286eb8df6a56a","datavalue":{"value":{"entity-type":"item","numeric-id":2707068,"id":"Q2707068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2750871$873EA738-AC67-4F10-A4AD-D64CB7C32EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"036a9ff509e101f5ea4230cc3afe32dddf55f78e","datavalue":{"value":{"entity-type":"item","numeric-id":1093627,"id":"Q1093627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2750871$4C09ED38-4EC8-4C46-80E7-B0F7113DD2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d3ab541b99faabf87b841c92b776d995f9d8fe","datavalue":{"value":{"entity-type":"item","numeric-id":755574,"id":"Q755574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2750871$99A03518-341A-483E-AC8B-F98BD036C27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4f88b0eb7f08629f1e44330e70e93eff0285df","datavalue":{"value":{"entity-type":"item","numeric-id":1307021,"id":"Q1307021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2750871$67DB2674-BB67-4630-823D-5BF4BEDA75C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b39fcacfb292781455b7119d8e582f4040aa22","datavalue":{"value":{"entity-type":"item","numeric-id":3691653,"id":"Q3691653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2750871$1F4F11AB-8E4E-4B48-ACE1-AEBB42DF0536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654f717b930cbace7136731cda8419f1178f1747","datavalue":{"value":{"entity-type":"item","numeric-id":4128552,"id":"Q4128552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2750871$B9B9FF29-5F6F-490D-9DB3-A7168532202E","rank":"normal"},{"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":"Q2750871$F0C3AE22-D5B4-4E0F-9A92-87A54F5C945E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfb078a634c706cbd62b7bd9238620283960fed5","datavalue":{"value":{"entity-type":"item","numeric-id":1574741,"id":"Q1574741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2750871$2EE07E74-4E0D-43AE-B1E5-E77EE3BE70CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f3cd6326ce8193c736d9ba96032feea94bf7fc","datavalue":{"value":{"entity-type":"item","numeric-id":5773619,"id":"Q5773619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2750871$DC9EA61A-B6A3-41C7-AA96-3CF07FDFE60C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53cf09740e303f87b2ccd0e6701f343962be6e97","datavalue":{"value":{"text":"A splitting theorem for \\(n\\)-REA degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2750871$CF2EADF5-DF24-4A81-9C3F-9809B65E0777","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2e2d23a35021dea73fb68d054da05e133da495c6","datavalue":{"value":"The main result of this paper is that every \\(n\\)-REA degree \\(\\mathbf d\\) is splittable over a given degree \\({\\mathbf a}\\) avoiding a further degree \\({\\mathbf b}\\) (for precise definitions see below). The motivation for this result is to disprove Cooper's claim that this result would fail for some 2-REA degree. Cooper used this claim in preliminary publications [\\textit{S. B. Cooper}, ``Definability and global degree theory'', Lect. Notes Log. 2, 25-45 (1993; Zbl 0797.03044); On a conjecture of Kleene and Post, Department of Pure Mathematics, Leeds University, Preprint Series No. 7 (1993)] for the proof of the important result, that the jump is definable within the upper semilattice of all Turing degrees. Later, Cooper published a corrected version [\\textit{S. B. Cooper}, ``On a conjecture of Kleene and Post'', Math. Logic Quarterly 47, 3-33 (2001; Zbl 0977.03023)] of his paper; the authors [``Defining the Turing jump'', Math. Res. Lett. 6, 711-722 (1999; Zbl 0958.03029)] also proved the same result. NEWLINENEWLINENEWLINEThe paper is based on the following result. Let \\(\\mathbf a\\), \\(\\mathbf u\\) and \\(\\mathbf d\\) be Turing degrees such that \\({\\mathbf a} \\cup {\\mathbf u} < {\\mathbf d}\\) and \\(\\mathbf d\\) is recursively enumerable relative to the join \\({\\mathbf a} \\cup {\\mathbf u}\\). Then there are two pairs \\(({\\mathbf x}_0,{\\mathbf x}_1)\\), \\(({\\mathbf y}_0,{\\mathbf y}_1)\\) of Turing degrees such that their joins \\({\\mathbf x}_0 \\cup {\\mathbf x}_1\\) and \\({\\mathbf y}_0 \\cup {\\mathbf y_1}\\) are both equal to \\({\\mathbf d}\\) while on the other hand every pair \\(({\\mathbf x}_i,{\\mathbf y}_j)\\) \\((i,j \\in \\{0,1\\})\\) is a minimal pair relative to \\(\\mathbf a\\), that is, every Turing degree \\(\\mathbf b\\) with \\({\\mathbf b} \\leq {\\mathbf a} \\cup {\\mathbf x}_i\\) and \\({\\mathbf b} \\leq {\\mathbf a} \\cup {\\mathbf y}_j\\) satisfies \\({\\mathbf b} \\leq {\\mathbf a}\\). NEWLINENEWLINENEWLINEThe authors use this result to show that every \\(n\\)-REA degree (and in particular every 2-REA degree) \\(\\mathbf d\\) is splittable over any degree \\(\\mathbf a\\) avoiding \\(\\mathbf b\\). That is, every \\(n\\)-REA degree \\(\\mathbf d\\) satisfies that, for all degrees \\(\\mathbf a\\) and \\(\\mathbf b\\) with \\({\\mathbf a}, {\\mathbf b} < {\\mathbf d}\\) and \\({\\mathbf b} \\not\\leq {\\mathbf a}\\), there are degrees \\({\\mathbf d}_0,{\\mathbf d}_1\\) such that \\({\\mathbf d} = {\\mathbf d}_0 \\cup {\\mathbf d}_1\\), \\({\\mathbf d}_0 \\not\\geq {\\mathbf b}\\) and \\({\\mathbf d}_1 \\not\\geq {\\mathbf b}\\). Recall that a degree \\(\\mathbf d\\) is \\(n\\)-REA iff there are degrees \\({\\mathbf c}_0,\\ldots,{\\mathbf c}_n\\) such that \\({\\mathbf 0} = {\\mathbf c}_0\\), \\({\\mathbf c}_n = {\\mathbf d}\\) and every \\(m<n\\) satisfies that \\({\\mathbf c}_m \\leq {\\mathbf c}_{m+1}\\) and \\({\\mathbf c}_{m+1}\\) is recursively enumerable relative to \\({\\mathbf c}_m\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2750871$2B0EBDD7-D8B3-49AA-A55D-7F8B4862F7E9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4f5d929e6d799449b9b757c7574900483de9ffa4","datavalue":{"value":{"entity-type":"item","numeric-id":324251,"id":"Q324251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2750871$00300B35-A5C3-440D-9001-DE0EF3ADF239","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":"c766826eaf56e97d7b41a9737d44179ac552662b","datavalue":{"value":{"amount":"+0.812608003616333","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":"Q2750871$09AA7C8D-0202-4E62-B972-3DC62AD26155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a898ab257e3e633f9171647dce31ac316a7b1ba","datavalue":{"value":{"entity-type":"item","numeric-id":3993783,"id":"Q3993783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aed94497fdcb7204c0297dbb2e17b06673143c3c","datavalue":{"value":{"amount":"+0.8079916834831238","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":"Q2750871$C0250189-28C3-4B68-ABEC-6B0F7A6B3523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9846dda5c2b3eb8152671efd28976446b32b569","datavalue":{"value":{"entity-type":"item","numeric-id":4879204,"id":"Q4879204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1d82dd4e6b9036079732c769a1236a4c3995ccd","datavalue":{"value":{"amount":"+0.805749773979187","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":"Q2750871$CBC19678-321A-4A70-9037-F45BCE4949F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3ff6718dcbf1a6beea4e290d4bfba8dad730f0b","datavalue":{"value":{"entity-type":"item","numeric-id":1862888,"id":"Q1862888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1d82dd4e6b9036079732c769a1236a4c3995ccd","datavalue":{"value":{"amount":"+0.805749773979187","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":"Q2750871$1848F65B-1C4B-4219-BD5A-BF3A25AE5EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bb366850af2764cf71843a6134d97a3603bb08e","datavalue":{"value":{"entity-type":"item","numeric-id":4030575,"id":"Q4030575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72c18913607b38801fd039f75e6fe625b0bc397c","datavalue":{"value":{"amount":"+0.8054537773132324","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":"Q2750871$85F21962-EB74-4A6A-A3ED-CF2A58D4E3E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2750871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2750871"}}}}}