{"entities":{"Q2570139":{"pageid":2580882,"ns":120,"title":"Item:Q2570139","lastrevid":44379738,"modified":"2025-11-22T12:04:36Z","type":"item","id":"Q2570139","labels":{"en":{"language":"en","value":"Completing pseudojump operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2217967"}},"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":"Q2570139$F08FC250-2EB4-4852-8201-7C9CEAD5B649","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5278c1c78b39a422452905aa7f1b4a301897c31","datavalue":{"value":{"text":"Completing pseudojump operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2570139$E0A3C1E0-6A7E-464B-95E4-AEEBC4C9A3B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf153336ef1f4c69ea31d5ecbf644a827f0879ae","datavalue":{"value":"1085.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570139$5576A4CA-5B10-4129-BD78-A2B933824A8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570139$B1ABEE64-3ABE-41BB-B08B-9B163D17AA5E","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":"Q2570139$147E521C-4F8A-46E0-A8FF-6FBE139553B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e85745a6397331bcdd0b166a1b54cbb2edc48a75","datavalue":{"value":{"time":"+2005-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2570139$2AADF8C9-573F-4E87-877B-AC0E174E8AD9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a16733d1797e0b70f85e2330dbed47c982941345","datavalue":{"value":"For a set of natural numbers \\(X\\) and an index \\(e\\), the \\(e\\)th pseudojump operator \\(J_e\\) is defined as \\(X\\oplus W_e^X\\). For a pseudojump operator \\(V\\), if \\(X<_T V^X\\) for all \\(X\\in {\\mathcal C}\\), \\(V\\) is called uniformly nontrivial with respect to \\(\\mathcal C\\). If \\(\\mathcal C\\) is the set of all reals, then \\(V\\) is strongly nontrivial. In this paper, the authors firstly consider the existence of incomparable c.e. sets completing pseudojump operators, and the question of the existence of sets not of c.e. degree completing pseudojump operators. They prove that for any uniformly nontrivial pseudojump operator \\(V\\) with respect to all c.e. sets, there exist Turing-incomparable computably enumerable sets \\(A\\) and \\(B\\) such that \\(V^A\\equiv_T V^B \\equiv_T K\\). They also prove that for any nontrivial pseudojump operator \\(U\\) with respect to all d.c.e. sets, there exists a d.c.e. set \\(A\\) such that \\(U^A\\equiv_T K\\) and the degree of \\(A\\) is not c.e. They also illustrate how independent nontriviality with respect to one class of sets can be from nontriviality with respect to another even closely related class. They prove that for every \\(n>0\\) there exists a pseudojump operator \\(U\\) and a co-\\(n\\)-c.e. set \\(A\\) such that \\(A\\equiv_T U^A\\), but \\(X<U^X\\) for all \\(n\\)-c.e. sets \\(X\\). The most surprising result they prove in the paper is the impossibility of requiring cone-avoidance in a pseudojump completion theorem, given what seems to be a natural nontriviality hypothesis. Thus the usual restraint functions for avoiding cones are not compatible with the pseudojump completion theorem. The theorem states that there exists a non-computable c.e. set \\(C\\) and a pseudojump operator \\(U\\) such that (1) for every \\(e\\in\\omega\\), \\(W_e<_T U^{W_e}\\), and (2) for every \\(e\\in\\omega\\), if \\(U^{W_e}\\equiv_T K\\), then \\(C\\leq_T W_e\\). Finally, they raise seven open questions with regard to pseudojump operators.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2570139$FCAEB237-F7BB-4424-ADF5-2C2CA5AD25CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570139$2ED87AC1-046C-475A-97F2-3326D8476290","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69f4d295e7cfa614d226c2b3c98d5bfc4a3d5563","datavalue":{"value":"2217967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570139$F96B62AF-F911-461A-B4A0-41E63612DD9F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74e07bbf130adf319eaaf71c937ccbb3275dc7d7","datavalue":{"value":"computably enumerable degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2570139$8B7A5E3C-BF06-4CE9-921E-50327E205568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1eea839234d3633d2033a282706db529a344d47","datavalue":{"value":"pseudojump operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2570139$D1369BF2-762E-4C59-BC36-2911071AF9FD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6a2593bf416d166930cb1a96ed0c51e8cbe6cd34","datavalue":{"value":{"entity-type":"item","numeric-id":685057,"id":"Q685057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570139$9E338CDA-1DAF-4CBB-AD2E-9523FD99B84C","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":"Q2570139$6CF2C4A3-B17B-49DC-969C-F3C394C334C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5c6a05fcb06117e80d769a001c3e7283342e5ee","datavalue":{"value":"https://doi.org/10.1016/j.apal.2003.07.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2570139$14537694-4E92-428B-AB55-6FA498510653","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa82c089c03e722813300a81e8d50790b71e3eb5","datavalue":{"value":"W2035615587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570139$CDDEC4E3-A873-4A08-BD0C-87CB21611592","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"893e8728a7d622fcf392307055799430b51aef73","datavalue":{"value":{"entity-type":"item","numeric-id":4382472,"id":"Q4382472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570139$B949A293-E86E-496C-A4C9-37482627FE2D","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":"Q2570139$9B507924-9872-40D7-AEB2-76072D4E46B9","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":"Q2570139$F57CAF8E-461B-4873-8568-C48C9270A176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b96afe6a097b5881fc1ed027108acc695c9894b5","datavalue":{"value":{"entity-type":"item","numeric-id":1111549,"id":"Q1111549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570139$0822C991-3E57-4262-93A0-DDD6E2969F63","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":"Q2570139$620006BA-45C2-4881-9144-E77AD08FE507","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9f4bfc9afae9fce9ba785e10417671b2497ebe6","datavalue":{"value":"10.1016/J.APAL.2003.07.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570139$F441E256-3012-4451-94B2-D2A086C587D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae4b722503a98d3373648a966e8e523962e100db","datavalue":{"value":{"entity-type":"item","numeric-id":687930,"id":"Q687930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df968c5d5cf5b7c5619ea7a2b02b2749c55ec91b","datavalue":{"value":{"amount":"+0.87910044","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":"Q2570139$EA4C9CE2-EB97-4773-8DA8-9E4392456D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bc6388f940801826a648987074a34f43118f2f6","datavalue":{"value":{"entity-type":"item","numeric-id":3470463,"id":"Q3470463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c16ae4f999ef2f418ad4bf4d33991a6ba7b75927","datavalue":{"value":{"amount":"+0.86312336","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":"Q2570139$883D45F5-3723-42B0-854C-9E7CBEB794A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ab46454e6014d66539acfc1153404bd51d7a41","datavalue":{"value":{"entity-type":"item","numeric-id":5426874,"id":"Q5426874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee69e6c6809abc5c08d18a463982f101cbb7ba85","datavalue":{"value":{"amount":"+0.8509246","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":"Q2570139$12C9FB15-68A9-4D00-8B5E-B0B2B9039A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e3bf375f7023b9740dfd355d49af0bd21c8dae6","datavalue":{"value":{"entity-type":"item","numeric-id":5085802,"id":"Q5085802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca11e33703de152224f4fcbb9c131640c3e1679b","datavalue":{"value":{"amount":"+0.85012937","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":"Q2570139$F1B9987E-D3FD-49DD-815A-59A3639C8E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4a1a3b580d1e68ed088f90efac8eecf8ccc7177","datavalue":{"value":{"entity-type":"item","numeric-id":1816930,"id":"Q1816930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4a3290f238a2ca37b876a01b648f9de25873a31","datavalue":{"value":{"amount":"+0.845235","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":"Q2570139$0B1581EC-6F93-4BC4-9F08-8B73BCD120A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c74244f6843142e7cb80c6473912c447e742c0b5","datavalue":{"value":{"entity-type":"item","numeric-id":4656230,"id":"Q4656230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f25ea9142d366c2315fdcbc14409e572b4ea2b2","datavalue":{"value":{"amount":"+0.8444811","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":"Q2570139$E9E5F125-6F77-4BF9-94AB-D63A1EFB06E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9375da31b0186ed28a92fc5a813bee5b61ea92b8","datavalue":{"value":{"entity-type":"item","numeric-id":2352165,"id":"Q2352165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58176928a96703d46448d527bf53410857524b80","datavalue":{"value":{"amount":"+0.8408786","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":"Q2570139$A7E5FE7B-BC29-48BF-BE71-D5409D5C761E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e43efcfbe75fa3cbea6771f1362b98e631fe985","datavalue":{"value":{"entity-type":"item","numeric-id":261449,"id":"Q261449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81e3f9f5e649975bc90c8b171ed93b1df69735d6","datavalue":{"value":{"amount":"+0.8399048","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":"Q2570139$4E6FB225-23FD-440C-B5AB-9476CBA81B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a35bc3a98c9c934e681ca279f465147132e35100","datavalue":{"value":{"entity-type":"item","numeric-id":3997065,"id":"Q3997065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdcc2d7fd6f265d0825a7c7311680d01c68b293e","datavalue":{"value":{"amount":"+0.83813494","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":"Q2570139$6520FBB6-892D-467C-BBB7-FD31868E3CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb41570af5554c68f6b27f2df25f24a87159e801","datavalue":{"value":{"entity-type":"item","numeric-id":5567397,"id":"Q5567397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a022bf64a5255d3ced678348f9f226c1b8911688","datavalue":{"value":{"amount":"+0.8376727","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":"Q2570139$A21D5CE4-E2D1-406D-884C-AA0E90EBE001","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2570139","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2570139"}}}}}