{"entities":{"Q2452680":{"pageid":2463423,"ns":120,"title":"Item:Q2452680","lastrevid":78693650,"modified":"2026-05-06T12:12:57Z","type":"item","id":"Q2452680","labels":{"en":{"language":"en","value":"A bounded jump for the bounded Turing degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6300874"}},"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":"Q2452680$7939DBCE-C4C9-41DC-9695-1958F0CA99F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4c1db78563efebc138c232b9bf8760d206e0bcd","datavalue":{"value":{"text":"A bounded jump for the bounded Turing degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2452680$27451D22-1EDF-47D3-BD10-9583154EA4D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d83b552bfb3b2d9f2039f54ef2dd8284cb523b1","datavalue":{"value":"1307.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452680$0E913D9E-F7CF-4DD7-825F-2E3DB038EFCB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fba29139ca7938cc2c44462f7f29f95c94eba324","datavalue":{"value":"10.1215/00294527-2420660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452680$929C2342-26E8-416F-9300-1B7D483C4BC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f882ad9304ea9c6f897a4fc7a545dec6ae8d0d14","datavalue":{"value":{"entity-type":"item","numeric-id":535149,"id":"Q535149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452680$50F2781E-682D-4FA5-B52E-97F769C34B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac7806f8c5b88107d03d2d360623fb237ce6f227","datavalue":{"value":{"entity-type":"item","numeric-id":499079,"id":"Q499079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452680$9F564F6C-92A0-4400-9DB0-1041CD93B7D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452680$5FE22750-F5C1-4354-BBDC-F5D2064F37F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0fddd97b3c6b0df70ec750ef42d1239f50e1e71b","datavalue":{"value":{"time":"+2014-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2452680$285FA912-7962-4900-BC48-4E9B497BE4CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5397dc74f63243425c5ec57a77f5797c337a12a9","datavalue":{"value":"https://arxiv.org/abs/1007.3692","type":"string"},"datatype":"url"},"type":"statement","id":"Q2452680$334D0D13-DEB1-42D7-84D1-3A6F91613928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"059d96f0fcea1dfd69cba2dbda6cb72e9f06d980","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1398345783","type":"string"},"datatype":"url"},"type":"statement","id":"Q2452680$F4BCE710-B4BD-4DF4-9BD1-6CB750172A9D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b633d6243c0f849e26e1ce774b5be9e65d6696ef","datavalue":{"value":"The behaviour of jump operators, especially the Turing jump, on the several partially ordered structures of degrees is one of the interesting lines of research in computability theory. A known result in this area is Shoenfield's jump inversion theorem: given any \\(\\Sigma^0_2\\) set \\(B\\) with \\(\\emptyset'\\leq_T B\\), then there exists a set \\(A\\leq_T\\emptyset'\\) such that the Turing jump of \\(A\\) is Turing-equivalent to \\(B\\). In [\\textit{B. F. Csima} et al., J. Symb. Log. 76, No. 4, 1287--1296 (2011; Zbl 1248.03062)] it was proved that the analog of Shoenfield's jump inversion theorem is not true in the partial ordering \\(({\\mathcal D}_{\\mathrm{bT}},\\leq)\\) of the bounded Turing degrees. In the paper under review, the authors introduce and study a new jump operator, the \\textit{bounded jump operator}, in order to obtain an analog of Shoenfield's jump inversion in \\(({\\mathcal D}_{\\mathrm{bT}},\\leq)\\). Given any set \\(A\\) of natural numbers, the bounded jump of \\(A\\) is the set \\(A^{\\mathrm{b}}=\\{x\\in\\omega\\mid\\exists i\\leq x[\\varphi_i(x)\\downarrow\\wedge\\Phi_x^{A\\upharpoonright\\varphi_i(x)}(x)\\downarrow]\\}\\). For every positive natural number \\(n\\) and every set \\(A\\), \\(A^{n\\mathrm{b}}\\) denotes the \\(n\\)th iterate of the bounded jump of \\(A\\). For this new jump operator, an analog of Shoenfield's jump inversion in \\(({\\mathcal D}_{\\mathrm{bT}},\\leq)\\) is shown, namely: for every (\\(\\omega^2\\) c.e.) set \\(B\\) with \\(\\emptyset^{\\mathrm{b}}\\leq_{\\mathrm{bT}} B\\leq_{\\mathrm{bT}}\\emptyset^{2\\mathrm{b}}\\), there is a (\\(\\omega\\)-c.e.) set \\(A\\leq_{\\mathrm{bT}}\\emptyset^{\\mathrm{b}}\\) such that \\(A^b\\equiv_{\\mathrm{bT}}B\\). The first part of the paper contains a preliminary list of several properties of the bounded jump on \\(({\\mathcal D}_{\\mathrm{bT}},\\leq)\\), among them the strictly increasing property and the order-preserving porperty. The authors critically analyze other possible definitions of bounded jump operators. In the second part, the nice property of completeness in the Ershov hierarchy of the iterates of the bounded jump operator is shown. Precisely, it is proved that: for any set \\(X\\) and \\(n\\geq 2\\), it holds that \\(X\\leq_{\\mathrm{bT}}\\emptyset^{nb}\\Leftrightarrow X{\\text{ is }} \\omega^n{\\text{-c.e.}}\\Leftrightarrow X\\leq_1\\emptyset^{n\\mathrm{b}}\\). The final part contains some results that connect the bounded jump operator to the truth-table jump operator introduced by \\textit{G. Gerla} [Boll. Unione Mat. Ital., V. Ser., B 16, 765--778 (1979; Zbl 0417.03018)]. The paper ends with a section dedicated to some interesting suggestions for further studies.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452680$9E4D4A37-59BE-47F4-A601-892CDEA37B02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"86e7d9065663fa3ffd8f6c70df93df9f4742e385","datavalue":{"value":"03D28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452680$D8F1B114-B9D1-454D-8F14-BFBB725B5D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452680$7420456E-C709-4E6D-BDEE-87D2BF29DE2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8ea04b57fcbbbae0979f4346b743767a52e87fa","datavalue":{"value":"6300874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452680$82DD06D7-3F2B-49DA-B9B8-CA614F710F14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33df950dcf8ed9c3c0547a446137366ee3dce378","datavalue":{"value":"bounded jump","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452680$81C835F8-6635-4FF2-948F-FE80A0C2DC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c86270e2052af073ed93b4b537376e78238196","datavalue":{"value":"jump","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452680$E97951A0-065C-4CFA-B20F-F929154DB531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fc451d86f48d59fe09755c0481d031c8651177d","datavalue":{"value":"bounded Turing degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452680$E33C2271-3264-4537-BD9F-001F256EC587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"321d99cd14ff4db0ed93e2f63b4c3e3224d85db8","datavalue":{"value":"wtt-degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452680$8400D4D9-12CE-43BC-A953-0F0002EDC26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bcac6e7742ed502d62642f0ae3ba05e0b03177a","datavalue":{"value":"Ershov hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452680$921003C5-5977-4093-8642-0987AA7A558B","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":"Q2452680$DA7702F1-A1DE-4899-8A8F-034B58244EEA","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":"Q2452680$37B4DABD-D694-4AC6-BFF5-462542A9B6BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76bce6407f464ceebfbf4239a1034ce72d7d2e70","datavalue":{"value":"W3104990180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452680$0B04D142-66A2-48E7-86EE-52BA776C1A7F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f263f81c73452ef8eff92bb0be6a0f86bd8ae0e8","datavalue":{"value":{"entity-type":"item","numeric-id":3630586,"id":"Q3630586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452680$19956E8F-5CA8-466C-9102-028F0B54B742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4536c763145bafc953ff8d1e052ba993634142","datavalue":{"value":{"entity-type":"item","numeric-id":1572657,"id":"Q1572657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452680$433C28A1-C568-43C9-A442-49C851E41AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893dce859cd91b3f1608f7fe207e0bb44890293f","datavalue":{"value":{"entity-type":"item","numeric-id":3107354,"id":"Q3107354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452680$051050F4-DF06-4FAB-930D-FFE48F6D82A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2837e149efc9bf90cefe3576175ece9ca24506ed","datavalue":{"value":{"entity-type":"item","numeric-id":2551104,"id":"Q2551104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452680$F461734C-C1FB-4CC7-AA61-5AFAA8ACCB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f631aad7f3579880331286df9e96789134bb14b","datavalue":{"value":{"entity-type":"item","numeric-id":3206937,"id":"Q3206937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452680$231418A9-CB16-4D92-99E2-54C78D216DC1","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":"Q2452680$C751D3D8-5972-4674-AE55-68D257630A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1923b7e78bde2823f8e9236ab5e94b481104c49f","datavalue":{"value":{"entity-type":"item","numeric-id":790105,"id":"Q790105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452680$56C415E5-C602-45CD-87CF-6776EA3ED19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55925e4427f56296e6dd5b43dea359b56ab0d8d8","datavalue":{"value":{"entity-type":"item","numeric-id":3611832,"id":"Q3611832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452680$4114D2FD-6A14-4D83-8ABF-025DBAD081D6","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":"Q2452680$53304468-8B8C-438F-90C1-8D66BA1DE55D","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":"Q2452680$C653D234-2432-4559-9738-AE73D6E8A33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452680$0C09E879-9FDC-4F8F-BA9F-693089839436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47a2b9d13405189c02127187179ae3a2b67315a","datavalue":{"value":{"entity-type":"item","numeric-id":2864221,"id":"Q2864221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452680$40A8A2A8-8384-468B-B761-FA96ACE1B181","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea138a74a7c1e221e61da97f929c20c17e0cb35f","datavalue":{"value":{"entity-type":"item","numeric-id":2402957,"id":"Q2402957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74f8ec5aff7fe1642dd23f593b029d2a352d6883","datavalue":{"value":{"amount":"+0.8880965709686279","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":"Q2452680$E72133E4-0E88-4EB8-9B3B-A12A3FEB79DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39af8a637c89598e5992b04741de154721cecc16","datavalue":{"value":{"entity-type":"item","numeric-id":778723,"id":"Q778723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a59de5843ff6c671a8d8b0e80b548d92ac18c514","datavalue":{"value":{"amount":"+0.8061926364898682","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":"Q2452680$1C99E69B-05F8-4E5B-B0E3-FF53954092D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d934bd3fc6490a55bf91dcf59a510a369a509de1","datavalue":{"value":{"entity-type":"item","numeric-id":1574741,"id":"Q1574741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23631fae0723e4c3d054917e15c052162aaf6d81","datavalue":{"value":{"amount":"+0.7730924487113953","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":"Q2452680$A844CC33-9E70-4849-9672-C056BDB092D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc1ff31072b2122c60a31614ca56566b25f2851f","datavalue":{"value":{"entity-type":"item","numeric-id":1128175,"id":"Q1128175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d05a077a2acdf3e646149604a6791f091f84b552","datavalue":{"value":{"amount":"+0.7662671804428101","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":"Q2452680$7FC151E8-A883-4DC4-AD52-63C04F4CF090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c65a1c68cf7d478c0d76ce9ae7e2df14efa40d","datavalue":{"value":{"entity-type":"item","numeric-id":3491536,"id":"Q3491536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0be972eccc49d38c40fce9f29f525d831d2a2d7d","datavalue":{"value":{"amount":"+0.7593785524368286","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":"Q2452680$87CA12DD-4276-4318-9BF9-40BB1EEF3C2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A bounded jump for the bounded Turing degrees","badges":[]}}}}}