{"entities":{"Q1946791":{"pageid":1957533,"ns":120,"title":"Item:Q1946791","lastrevid":43440300,"modified":"2025-07-25T21:04:30Z","type":"item","id":"Q1946791","labels":{"en":{"language":"en","value":"Pseudo-jump inversion, upper cone avoidance, and strong jump-traceability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6154621"}},"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":"Q1946791$617A5FD1-A38F-40D2-8ED8-F93256E69C89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a1760a84ffb46b978d2a92c8fa645b78c12f2a9","datavalue":{"value":{"text":"Pseudo-jump inversion, upper cone avoidance, and strong jump-traceability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1946791$E48F16B8-E389-4213-A789-A76549D40450","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19cb00bdfed13cfa51ffaa95fcaa535a72ff29fe","datavalue":{"value":"1267.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1946791$86D603C4-413C-4F4A-B828-48D3C1E8665B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8aa819e8a26b7e07cf0d79026024c3692da5103","datavalue":{"value":{"entity-type":"item","numeric-id":277527,"id":"Q277527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1946791$46ADDCE5-7FCA-4CC1-A010-2117E0559EF8","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":"Q1946791$1593A217-C0D1-425A-A105-C02EB4BFDC95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1946791$58182B44-7EF1-4E42-9338-1F0787580AF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3eba33b2385974e8774017fb8f69a7f11b91e4d3","datavalue":{"value":{"time":"+2013-04-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":"Q1946791$89920057-DC87-45E4-B602-2E5B1105DB4E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"762ef8047a5e81af01af2179e1c4bbcbb7b1a914","datavalue":{"value":"Pseudo-jump operators are important in the study of the properties of the partially ordered structure \\({\\mathcal D}\\) of the Turing degrees. They were introduced in [\\textit{C. G. Jockusch jun.} and \\textit{R. A. Shore}, Trans. Am. Math. Soc. 275, No. 2, 599--609 (1983; Zbl 0514.03028)] in order to approach the question of the definability of \\({\\mathbf 0}'\\) in \\({\\mathcal D}\\). This idea was right, because later, \\textit{R. A. Shore} and \\textit{T. A. Slaman} [Math. Res. Lett. 6, No. 5--6, 711--722 (1999; Zbl 0958.03029)] solved the question using pseudo-jump operators.  For every \\(e\\in N\\), the \\(e\\)-th pseudo-jump operator is the map \\(J_e:2^{\\omega}\\rightarrow 2^{\\omega}\\) such that \\(J_e(A):=A\\oplus W_e^A\\). Such operators are also known in the literature as 1-REA operators [\\textit{C. G. Jockusch jun.} and \\textit{R. A. Shore}, J. Symb. Log. 49, No. 4, 1205--1236 (1984; Zbl 0574.03026)].  In the paper under review, the authors prove the following main result: (1) There is a pseudo-jump operator, increasing on all sets, which cannot be inverted while avoiding any prescribed upper cone.  It has been an open problem whether or not (1) was true for pseudo-jump operators increasing on all sets. Previously, (1) was proved in [\\textit{R. Coles} et al., Ann. Pure Appl. Logic 136, No. 3, 297--333 (2005; Zbl 1085.03031)] for pseudo-jump operators increasing on c.e. sets. The strategy employed in this paper is to prove first the following result: (2) There is a noncomputable c.e. set which is computable from every strongly jump-traceable hard c.e. set. Then, they apply (2) to \\textit{ultrahigh sets}, which were introduced in [\\textit{K. M. Ng}, J. Symb. Log. 73, No. 1, 309--342 (2008; Zbl 1168.03031)].  A set \\(B\\) is strongly jump-traceable hard if \\(\\emptyset '\\leq_{\\mathrm{SJT}}B\\), where the reducibility \\(\\leq_{\\mathrm{SJT}}\\) is defined in terms of strong jump-traceability, the latter having been introduced by \\textit{S. Figueira} et al. [Ann. Pure Appl. Logic 152, No. 1--3, 51--66 (2008; Zbl 1137.03025)]. The proof of (2) is a refinement of the proof of the following result contained in the paper: (3) There is no minimal pair of c.e. strongly jump-traceable hard degrees.  In turn, (3) implies the existence of a pseudo-jump operator, increasing on all sets, which cannot be inverted back to a pair of c.e. sets whose degrees form a minimal pair.  Technically, the proofs of (2) and (3) are quite complex and they make use, \\textit{inter alia}, of the so-called box promotion technique, introduced in [\\textit{P. Cholak} et al., Adv. Math. 217, No. 5, 2045--2074, (2008; Zbl 1134.03026)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1946791$02DD30C1-4B31-426F-B91E-25EFDE9B3302","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1946791$C3B916A5-9B9F-4CB2-BA3A-B205A71CA0C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03adad6250d8db4667bc2729e40c1ca0c2cafb62","datavalue":{"value":"6154621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1946791$0EADBF6C-BBE1-4D62-8678-694393901792","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"217b2bf39ab06c9f42b0f01f30dffb1533b7afe3","datavalue":{"value":"pseudo-jump operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1946791$2F19988D-5C77-44F5-9234-915BED211CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74e07bbf130adf319eaaf71c937ccbb3275dc7d7","datavalue":{"value":"computably enumerable degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1946791$0AB23D85-C7CC-49B6-B34E-D3E9D7110D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bb075dffac654e58f4a8a0aa73b99f4725f1e06","datavalue":{"value":"strong jump-traceability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1946791$DF42E4FA-7900-4649-9FD4-37053E0727FA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3f64638a8e946e0d81e5fb7bc20fa3f4b6703c8d","datavalue":{"value":{"entity-type":"item","numeric-id":286989,"id":"Q286989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1946791$762DD931-C03E-437E-A934-26E8AC0CE51A","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":"Q1946791$48A8E01A-0B79-46FB-8656-83E5CC939074","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ef0e38225b52f4a1192348193424032440fedcc","datavalue":{"value":"https://doi.org/10.1016/j.aim.2012.12.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q1946791$DFE0C997-5A20-4D2B-B66D-6AA40071D5F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16709152b9c632ad5943a3338f13deebb884a614","datavalue":{"value":"W2009037069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1946791$FE28E09F-4C49-428D-9531-8DD61C944CFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8a58d29090c0dc0cb3b6e62096a8d28c107e914","datavalue":{"value":"10.1016/J.AIM.2012.12.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1946791$F0067DD9-D059-4377-B24D-16107C92F0B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c85592adf4622fa57873d8fc92f11976c4db642","datavalue":{"value":{"entity-type":"item","numeric-id":4580033,"id":"Q4580033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7f88a4c901abdac3aa9c8183faf9084d0167bdb","datavalue":{"value":{"amount":"+0.8050797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1946791$135A03D9-F29D-48E6-9528-37612399A24B","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":"e98a96650a0e2d2d9017168ea98fbdcb32b618de","datavalue":{"value":{"amount":"+0.802425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1946791$947D6EF4-46ED-429B-9CD2-0E4C18FC71C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"219c12553a371f5ab2ce8ead122d50dda3242ed2","datavalue":{"value":{"entity-type":"item","numeric-id":5326388,"id":"Q5326388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"509de999f874e691686778f93d788f1cbfbc3bba","datavalue":{"value":{"amount":"+0.7950145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1946791$505109AF-7B86-487C-AA26-6539C4038041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c80ba4d49e1e78799ea9ddd5092b694ff83443d5","datavalue":{"value":{"entity-type":"item","numeric-id":375805,"id":"Q375805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2734db304ebdd54103af552a8e38d44d53e743cd","datavalue":{"value":{"amount":"+0.79415107","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1946791$C1886A1C-977A-4AF4-8B1F-7C29384ECB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"988e06afc2f73a7250357ac5f8054ea887f01a50","datavalue":{"value":{"entity-type":"item","numeric-id":2112993,"id":"Q2112993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f372d2dff2e4d28ee3cbc2026d97f3e2ea93c8c4","datavalue":{"value":{"amount":"+0.78757274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1946791$A71C3255-30B9-415E-B7B0-5E1F3D6972EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5ed8e6acc12ba08f2a6e0ebbb9928786e41a299","datavalue":{"value":{"entity-type":"item","numeric-id":5496646,"id":"Q5496646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a2895892a003ed60ea938ba304137fd8f5acf5a","datavalue":{"value":{"amount":"+0.78549784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1946791$69EEDC4C-5EDF-41C5-9CCF-D90D68EE0B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af7c8a56e39f3fa171d45a049a3cd800c9969eaf","datavalue":{"value":{"entity-type":"item","numeric-id":413606,"id":"Q413606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dda8af902981f95dad1c005a4dfe450ab4edde9","datavalue":{"value":{"amount":"+0.7842608","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1946791$39F04741-D8B3-4904-9F37-2CE692976191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c76f9806a10dee49d8f18e34a4a76a8108fd2b3","datavalue":{"value":{"entity-type":"item","numeric-id":3084579,"id":"Q3084579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b75a22fa9b1843f626bf246c475d4e628cd2bd5","datavalue":{"value":{"amount":"+0.7835953","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1946791$B4C1539C-0BEE-4E9B-B760-FCFDAA0640FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"018ee628743055cb1ce356feb8bc14055ff80a0f","datavalue":{"value":{"entity-type":"item","numeric-id":2474313,"id":"Q2474313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc911fd2330e6efd986c05d19323add680ba2955","datavalue":{"value":{"amount":"+0.7805959","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1946791$773EEEEE-3802-4AA5-9941-442F3FDB55AF","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":"f1c9d28e4ca0f5ce84a92d2ab222fa7df5eda67e","datavalue":{"value":{"amount":"+0.7785166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1946791$BF2CB6EE-4713-4791-AEF8-191024722F5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1946791","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1946791"}}}}}