{"entities":{"Q1111549":{"pageid":1122298,"ns":120,"title":"Item:Q1111549","lastrevid":69668754,"modified":"2026-04-13T08:35:09Z","type":"item","id":"Q1111549","labels":{"en":{"language":"en","value":"A non-inversion theorem for the jump operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4075036"}},"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":"Q1111549$9425D34D-6480-4422-82AC-94044402336F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa86fc5c7aba7ba89812da8c8ad7046f976d83da","datavalue":{"value":{"text":"A non-inversion theorem for the jump operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1111549$F93580AF-C4B6-4901-B000-01B47344B373","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1aa8e15e80295f797ea786e03c353316cb561592","datavalue":{"value":"0658.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111549$6CAB718E-F48F-448C-B73C-4EAF65A9B923","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cceb215fabf8a30db6bbf8e558f3b3f80c13126e","datavalue":{"value":"10.1016/0168-0072(88)90034-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111549$55C05350-6F02-45F4-B06F-AACA8411856A","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":"Q1111549$C101D796-D2C1-409B-9902-5BA58AA0AF22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111549$6BD1D05D-A525-45F7-8BF7-6435E64FFDDC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1111549$9CE05C5F-AB37-4F04-9F5D-2E087B3FB055","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5fa35ad6118d83abb76facbc42ebe0c6c6f9c987","datavalue":{"value":"The well-known Friedberg inversion theorem states that if \\(\\emptyset '\\leq_ TB\\), then there exists a set A such that \\(A'\\equiv_ TA\\vee \\emptyset '\\equiv_ TB\\), or in words, that every set above \\(\\emptyset '\\) is in the range of the Turing jump operator. The Sacks inversion theorem states that every set, which is above \\(\\emptyset '\\) and recursively enumerable in \\(\\emptyset '\\), is the jump of a recursively enumerable set. The paper under review shows that the Friedberg inversion theorem can be extended to partial orders, while the Sacks inversion theorem cannot. The non-extendibility of the Sacks inversion theorem is a corollary of the main result: Theorem. There are degrees \\(a_ 0\\), \\(a_ 1\\) recursively enumerable in and above 0' such that the join \\(a_ 0\\vee a_ 1<0''\\) and if \\(u<0'\\) then not both \\(a_ 0\\) and \\(a_ 1\\) are recursively enumerable in u.    The proof introduces a novel \\(0^{(3)}\\) priority argument in which the tree of strategies is \\(\\omega +1\\)-branching and so determining the true path requires a \\(0^{(3)}\\) oracle.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111549$3A0113C5-BF2D-4131-8414-291895FFBB80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111549$767E9463-C94E-4C68-B0DF-B0ED321834F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111549$BD6C5F04-C1F8-493A-BC6C-EBE2C1DF0CA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a562b39d66e4e16abb685a75a1e254ba858d00a","datavalue":{"value":"4075036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111549$948E4957-EC3F-4F61-8329-7CF302481D13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6907e9b83f957b47990b4e0638bc567ed9634cc","datavalue":{"value":"degrees of unsolvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111549$29854F1D-57F9-4D84-A516-75B082B7A7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a867017ee0909b2c28c0ad824db9b79a475a2d7b","datavalue":{"value":"REA","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111549$6D77481E-817A-4749-A17D-D912695BB6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"609ba8e4c743b9012a463964a1a05f50ac34db98","datavalue":{"value":"Friedberg inversion theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111549$94DD4BB4-3BEE-4DEE-A159-FEA8C5058FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbd3ab7bf1fbafed768194a39eff6e0454fe108","datavalue":{"value":"partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111549$9CBD2B2A-2340-48AD-BD93-BE6A501F48A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f71df7298f08a27e94db7bcfcfb5c7d1b519c4ba","datavalue":{"value":"Sacks inversion theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111549$F83E6818-7D3C-41CB-BB87-19BA60ADB7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99dd83ef7f0c96c91b4032628ff1017152923087","datavalue":{"value":"priority argument","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111549$B0E133BC-7729-4590-BD9F-EFE95C3CD537","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af7a6817238379ba945f4c57a8ee8caebc5f2605","datavalue":{"value":{"entity-type":"item","numeric-id":455764,"id":"Q455764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111549$766F6A8C-1683-465C-AB05-4F10C92F7B84","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":"Q1111549$B0B039E9-771E-4B39-9C5D-911FCE0C5E75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed8b9853891f11c7a92cbf2f42d37aafdcea8cd7","datavalue":{"value":"https://doi.org/10.1016/0168-0072(88)90034-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1111549$32C45F18-666D-4C67-98AF-D8EF41B6075A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4cddf80a744d9637e37c8548dd1984c827dc162","datavalue":{"value":"W2016891068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111549$672916DB-A263-45AB-BA95-8ADA496C6FAF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d7a673d9c2f08a64e159fb5d66907e94e5698d","datavalue":{"value":{"entity-type":"item","numeric-id":3325709,"id":"Q3325709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111549$7BD296FC-804D-418F-A38F-08E5F03E829A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80bbeb77ae2162fa062ee7391cb04c8834713afd","datavalue":{"value":{"entity-type":"item","numeric-id":4067086,"id":"Q4067086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111549$931CA399-F409-42C4-B72A-BC3898C02F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"053a2d8ed9a64810296f713d6f511ff332e86371","datavalue":{"value":{"entity-type":"item","numeric-id":3481687,"id":"Q3481687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111549$B78CE458-52ED-4A33-B94F-DFD6DEEDC216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95a63d668ecdf092c5a5f701aaf62e43d2d4eaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3243262,"id":"Q3243262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111549$EBC93EB0-8162-4506-8986-5AD6AA20DAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88ee2c45d82bd2e0ec3bb669768707c48a2a8db1","datavalue":{"value":{"entity-type":"item","numeric-id":3882445,"id":"Q3882445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111549$52B6B685-2ED8-40A8-8893-CC9D40FABE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6a995e56ac1b7709f67e33e673fd3446158ecc2","datavalue":{"value":{"entity-type":"item","numeric-id":4198741,"id":"Q4198741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111549$5E13D516-1EF6-410C-8D92-5138EC068865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7880af521fd4278354036afff1d79df38a239749","datavalue":{"value":{"entity-type":"item","numeric-id":3659772,"id":"Q3659772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111549$86B8DE74-5B6E-4688-921E-D72CD35C7FE4","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":"Q1111549$4812B743-AB78-4398-A6F1-87DA4FBE0143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bca441acee540b6c6848d51594e5798c2464759","datavalue":{"value":{"entity-type":"item","numeric-id":5537365,"id":"Q5537365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111549$F4CF78DE-9117-46B8-9DEF-B16E9A45BC98","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":"Q1111549$C03C92D7-7317-41E3-995E-555D2C75F462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33baeb8b1d0ce631770e405e454620cb1cdbbf64","datavalue":{"value":{"entity-type":"item","numeric-id":3864501,"id":"Q3864501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111549$89DE54F6-E6B9-4C78-AE54-2062251E5FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d4a38d40768136b5da14eec51923820ee16867","datavalue":{"value":{"entity-type":"item","numeric-id":2538529,"id":"Q2538529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111549$ACD1DE5A-F075-4664-92EA-BFDC421725AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e16431ea4844625a9bc7c5ed4e21899acfc928","datavalue":{"value":{"entity-type":"item","numeric-id":3487331,"id":"Q3487331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111549$F1D1FCBA-39B5-47B3-9DBE-52D45F7D4EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0de5ee34c78e4faf764afd1f3b6065ac86d1744d","datavalue":{"value":{"entity-type":"item","numeric-id":4161312,"id":"Q4161312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111549$0A4ACD4F-10B2-44C0-9B66-417F64B080B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9c25e4e40bf0b4c4189767b11b2a16926f3728e","datavalue":{"value":{"entity-type":"item","numeric-id":2560239,"id":"Q2560239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111549$52EA3658-55F7-41FB-86B1-044E33B23347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd3a853401c0a338f3c6d9ef11af48e72f68c40","datavalue":{"value":{"entity-type":"item","numeric-id":5729295,"id":"Q5729295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111549$95F86D7D-167C-446D-805E-FF609914C2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c770dbf35f44f6fe50c7b60d0328613a68fbabb","datavalue":{"value":{"entity-type":"item","numeric-id":3705432,"id":"Q3705432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111549$18BC2569-3BD4-4CEF-912F-2427267173E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db0afd5532278da9a5d9cf1957582e7e12c5b70b","datavalue":{"value":{"entity-type":"item","numeric-id":2626398,"id":"Q2626398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111549$B6BFD5EA-89F0-4BB6-8014-18A54C4D62C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4494c69e8466ab3e39d1aea87204c15735843044","datavalue":{"value":{"entity-type":"item","numeric-id":3690802,"id":"Q3690802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111549$4C50A4FD-0613-43E9-A394-1B577E479CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15736a1fabe53e34c9adbd1c3f77269c133e2124","datavalue":{"value":{"entity-type":"item","numeric-id":4040892,"id":"Q4040892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111549$8D32FF84-2546-408A-AC42-E713142A7F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5653ae2bd64e74439c6ed85da7f2dd2e25b59c25","datavalue":{"value":{"entity-type":"item","numeric-id":3657980,"id":"Q3657980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111549$0D182B65-F06F-41AF-9918-61FD0628B6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff431a272f467dfb02b804bd42fce10899a446b9","datavalue":{"value":{"entity-type":"item","numeric-id":5519130,"id":"Q5519130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111549$177C7589-653C-48C9-A5DA-5831088CFFEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4873408fb1e60485905acbf74128846e1d362ee2","datavalue":{"value":{"entity-type":"item","numeric-id":4764111,"id":"Q4764111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b25f2ecae2a61c8bbbab61ffb9f61a57509ef87","datavalue":{"value":{"amount":"+0.784953236579895","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":"Q1111549$800F45F7-1D42-4446-AEED-F3378ED2EA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e247c9bef8441c8932e03b7366c51178aa4b790","datavalue":{"value":{"entity-type":"item","numeric-id":1584013,"id":"Q1584013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f446ba9d23d18e1bfd18101b2a68eb5110b64ffe","datavalue":{"value":{"amount":"+0.7837559580802917","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":"Q1111549$D34C331C-D567-482D-B547-8EFE165686B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"312065bd37b2ee3fcbbe74541a29eab2fac3426e","datavalue":{"value":{"entity-type":"item","numeric-id":2452680,"id":"Q2452680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00f3cb91b2f20b8f23210b3a27e444a114149a16","datavalue":{"value":{"amount":"+0.7804437875747681","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":"Q1111549$0A398B8B-6878-4D89-B9F3-30D9CB5BB0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a86d73b03b441cb49d8339e6ef92d7a936839bd","datavalue":{"value":{"entity-type":"item","numeric-id":3107354,"id":"Q3107354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf7b6a4acf366290c154dc924b46f4cd485a1cda","datavalue":{"value":{"amount":"+0.7791099548339844","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":"Q1111549$6C60D30E-7808-44A3-8B5C-4D196FBB8E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65a2fdb293421d226951fdacd33e5322ea18803b","datavalue":{"value":{"entity-type":"item","numeric-id":5425376,"id":"Q5425376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"658c0b44b73df4dcdc26764818b3817d6c0ac5ff","datavalue":{"value":{"amount":"+0.7772663831710815","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":"Q1111549$7D1BD458-13F5-4F49-9A69-DAD50B8B4D72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A non-inversion theorem for the jump operator","badges":[]}}}}}