{"entities":{"Q386147":{"pageid":387914,"ns":120,"title":"Item:Q386147","lastrevid":61449321,"modified":"2026-04-10T23:26:40Z","type":"item","id":"Q386147","labels":{"en":{"language":"en","value":"The degrees of bi-hyperhyperimmune sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6238563"}},"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":"Q386147$591B88C3-2698-4322-AA6A-A6498AD70E58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a92fc3f16aa2af7b0d3e715c4a088c6761aa939","datavalue":{"value":{"text":"The degrees of bi-hyperhyperimmune sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q386147$811B426E-95DF-41BD-BD7C-9B2B28D32CB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4e170dd179afb3ddacb3005000c542a2c56e86a","datavalue":{"value":"1323.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386147$83352221-9ABD-4D27-94C5-7E05393A7151","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d4e8d0d40de5d64578f28267ba69171aa96f9a2","datavalue":{"value":{"entity-type":"item","numeric-id":375900,"id":"Q375900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386147$6F1693AC-2FA9-478A-8ABD-5412D8C230AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"302de52cd79b694f710a98c295d3804f924d6528","datavalue":{"value":{"entity-type":"item","numeric-id":375817,"id":"Q375817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386147$85E1EB3C-8941-4E72-AFF9-AC4AD2125089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cebeb6c87f28d220fb309de790201110108c333f","datavalue":{"value":{"entity-type":"item","numeric-id":435199,"id":"Q435199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386147$9E1B393B-BBF5-438F-8179-9DDD2DF3A30C","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":"Q386147$221C3D2C-3E36-44E7-A4E4-78C6CE01F82E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a62450392a17d45f89e0295c1852bbe3e4a63d7b","datavalue":{"value":{"time":"+2013-12-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":"Q386147$EEE511A2-D03F-4DE6-993C-AA07D0DA25DD","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":"Q386147$BFE5DEF6-D4FE-4CDC-9822-C2E20CAF99BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"86e7d9065663fa3ffd8f6c70df93df9f4742e385","datavalue":{"value":"03D28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386147$1FEDC388-434C-4719-9E11-EF0D330A8DF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94cfeb86ade8f6f56b986ff37ea345a26e80bce6","datavalue":{"value":"6238563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386147$6D611697-FAFB-4954-B4FD-382854A3DB19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41d7837d6f3a5b993d884a1102875615fa125018","datavalue":{"value":"bi-hyperhyperimmunity","type":"string"},"datatype":"string"},"type":"statement","id":"Q386147$552A187B-85B7-4BBD-B4BE-46C4B6B4F94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a7388d78bb6d3d8b35114b9bdae812dbfa64c0","datavalue":{"value":"weak 2-genericity","type":"string"},"datatype":"string"},"type":"statement","id":"Q386147$976D377D-DB38-405F-B3F6-B2720FE522FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"982af6f0fa1198326a117c5aa696f6eda83d4662","datavalue":{"value":"escaping","type":"string"},"datatype":"string"},"type":"statement","id":"Q386147$E230FF07-DA4A-4287-94C8-42A104C9C0F3","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":"Q386147$A60C5F86-CBD9-4F1B-B67F-4AF78989FC61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"337bc184c7ae47a889004272da8d77bd8ff99052","datavalue":{"value":"https://doi.org/10.1016/j.apal.2013.10.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q386147$8EEAA574-410F-4835-BA04-403104844722","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d41032b2c5e5abe3b64d08204055d592ee71fe5","datavalue":{"value":"W1980171444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386147$56BE1DAC-B834-41A3-ACC6-B5933AA8CED1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c422466220ddaeaefe36fdc8e3d0a984dd8c477f","datavalue":{"value":{"entity-type":"item","numeric-id":4405150,"id":"Q4405150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386147$00D42327-DAC8-47B6-84F8-8CAF886C5A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee6d1ad9d0795491aacc9183eba997b8e65facf2","datavalue":{"value":{"entity-type":"item","numeric-id":4680373,"id":"Q4680373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386147$57332B18-E956-4135-9EA6-C8A8B4354A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adfe4dcebefdaf3d1880b224bc4fa0a3a8cdba47","datavalue":{"value":{"entity-type":"item","numeric-id":3406451,"id":"Q3406451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386147$1E69CF98-E33A-4F1B-9A6F-E91136461599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c484f69c828b07548ddb485aebdb9adef9ef0df4","datavalue":{"value":{"entity-type":"item","numeric-id":5401598,"id":"Q5401598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386147$7CC11C41-D836-4517-ADAA-B67071EA0534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aae2c55c4e1b6e2ff59464cc1df93f464e1b840","datavalue":{"value":{"entity-type":"item","numeric-id":3197814,"id":"Q3197814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386147$D8FB031F-8B54-47CA-A17E-77B506146F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcec1dd8d30952952ba8ef7bcdd9b47836a01bff","datavalue":{"value":{"entity-type":"item","numeric-id":5575556,"id":"Q5575556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386147$0E33EC1B-9AA4-4B82-8FFA-F5FC4DC9A30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d6e586300f5b2e554cd1b1ca4bf1421bcce2cb","datavalue":{"value":{"entity-type":"item","numeric-id":5571700,"id":"Q5571700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386147$7E8BEA3E-B24E-4074-8558-595FF70AC500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3184b63d85d32f1cfcf19f6af0178e14edbe17f","datavalue":{"value":{"entity-type":"item","numeric-id":5672885,"id":"Q5672885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386147$FD2592AC-C6B6-40A2-B55F-D5D90C5B36AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a45c80e903392eb8b3b993547de46171e902443","datavalue":{"value":{"entity-type":"item","numeric-id":1394222,"id":"Q1394222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386147$C94266C1-B845-4E01-AAA0-8E5681F2DB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3509d156fa3ac70e9ffd5262a59fced0dbd2e331","datavalue":{"value":{"entity-type":"item","numeric-id":3905267,"id":"Q3905267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386147$486E581C-70AF-4B0C-A3EC-0001E55C96BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43b78ad5431b7b133024e0033c91af0ed97c630b","datavalue":{"value":{"entity-type":"item","numeric-id":3342559,"id":"Q3342559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386147$CE680249-6E67-4055-9A7A-5CF1B84D02A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b594827bbb97fd6f0e0591659a18d718463bdd7a","datavalue":{"value":{"entity-type":"item","numeric-id":5619821,"id":"Q5619821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386147$206E37E8-B890-432E-BA36-31DCCF9038ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e28e6243e923b1cbee2c358beb9aacd363a2de0b","datavalue":{"value":{"entity-type":"item","numeric-id":4433097,"id":"Q4433097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386147$B1542CDC-74C3-431F-936F-22E34B5E3989","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e66b5dafd51e95d6199881ad0f2918f064075ee","datavalue":{"value":"10.1016/J.APAL.2013.10.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386147$8B69E61A-24E7-42BD-852F-40CDEA06766C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8f8d79b5f158088c49cab66f3415c05459486f16","datavalue":{"value":"The study of the upward closure of collections of Turing degrees is an interesting topic of computability theory, beginning with the work of \\textit{W. Miller} and \\textit{D. A. Martin} [Z. Math. Logik Grundlagen Math. 14, 159--166 (1968; Zbl 0216.29102)] and several works of \\textit{C. G. Jockusch jun.} [Z. Math. Logik Grundlagen Math. 15, 135--140 (1969; Zbl 0184.02002); J. Symb. Log. 34, 489--493 (1969; Zbl 0181.30601); Z. Math. Logik Grundlagen Math. 18, 285--287 (1972; Zbl 0257.02033); Isr. J. Math. 15, 332--335, (1973; Zbl 0279.02024)]. Thanks to these works we know of the upward closure of immune, bi-immune, hyperimmune, bi-hyperimmune and hyperhyperimmune Turing degrees. The case of the bi-hyperhyperimmune degrees remained open. In the paper under review, the authors close this gap by proving the upward closure of the bi-hyperhyperimmune Turing degrees. The strategy is to prove the following characterizations of the bi-hyperhyperimmune Turing degrees, from which the upward closure follows. Given a Turing degree \\(\\mathbf d\\): \\parindent=4ptNEWLINENEWLINE(1) \\(\\mathbf d\\) computes a \\(\\Delta^0_2\\) escaping function,NEWLINENEWLINE(2) \\(\\mathbf d\\) computes a weakly 2-generic sequence,NEWLINENEWLINE(3) \\(\\mathbf d\\) contains a blockwise bi-hyperhyperimmune set,NEWLINENEWLINE(4) \\(\\mathbf d\\) contains a blockwise hyperhyperimmune set,NEWLINENEWLINE(5) \\(\\mathbf d\\) contains a bi-hyperhyperimmune set. \\vskip.2cm \\parindent=0ptNEWLINENEWLINEThe paper ends by negatively answering to Question 6.6 posed in [\\textit{B. F. Csima} and \\textit{I. S. Kalimullin}, Math. Log. Q. 56, No. 1, 67--77 (2010; Zbl 1184.03025)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q386147$CFEE4AF7-B738-4C4C-8B74-4CD9E3F66731","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"323f45b60176d6bcf78565ad7364b8c9d3386a4d","datavalue":{"value":{"entity-type":"item","numeric-id":5502826,"id":"Q5502826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f56405a5dc9d78fe1b7a17f0523dcb5f9f7ecf8","datavalue":{"value":{"amount":"+0.787534236907959","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":"Q386147$F7A8716A-9F13-4073-8BE3-3449062F41C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc9c9946a1e6a6e4e5e7885d2d5d13ea3a67fb4a","datavalue":{"value":{"entity-type":"item","numeric-id":535145,"id":"Q535145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43e77b1d240bf2db494ee519c9a24b0f202f1453","datavalue":{"value":{"amount":"+0.7771689891815186","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":"Q386147$E8DE1031-256D-449F-961F-F44C508A24D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4696596298dba46678f218f877db1c2ac9802ac4","datavalue":{"value":{"entity-type":"item","numeric-id":5737996,"id":"Q5737996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0210377b068d1a2e74d382f857be07751ca6f1a","datavalue":{"value":{"amount":"+0.7688828706741333","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":"Q386147$6B71115D-A577-4ED2-B1B8-5BF5E7BF67C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e6c2bf6ab0e71ad1008867a30ba86a1295623f","datavalue":{"value":{"entity-type":"item","numeric-id":3755446,"id":"Q3755446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0f8e97857b09c2917168893998c91c8d1eda81a","datavalue":{"value":{"amount":"+0.7615103721618652","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":"Q386147$70F159C5-7A7F-4B51-89C8-E5F715184984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"851fb54e0da8558599e0e8edebbc5c50647a234e","datavalue":{"value":{"entity-type":"item","numeric-id":1820774,"id":"Q1820774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26838c25d3fda14196333c2d3991a19af7e99161","datavalue":{"value":{"amount":"+0.7527860403060913","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":"Q386147$57439F04-8898-4A92-99B3-3CB1FFB37BEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The degrees of bi-hyperhyperimmune sets","badges":[]}}}}}