{"entities":{"Q2907057":{"pageid":2917782,"ns":120,"title":"Item:Q2907057","lastrevid":85024760,"modified":"2026-06-03T05:35:34Z","type":"item","id":"Q2907057","labels":{"en":{"language":"en","value":"Non-cuppable enumeration degrees via finite injury"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6078050"}},"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":"Q2907057$B97E6A01-4114-4FEE-A148-7955EF5E0723","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"262cc4efdfa09e97e178f171c65f0f8d5368f34b","datavalue":{"value":{"text":"Non-cuppable enumeration degrees via finite injury","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2907057$01E3D4A3-F2FA-40BF-9296-7309583C2551","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67ce1e218a80355c4de7aaced05868b8b498bef6","datavalue":{"value":"1254.03080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907057$B310E2C7-C281-442E-B89A-F3624ACD3C67","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71279162ab4b15603f6b72ab331043c5b80d90c9","datavalue":{"value":{"entity-type":"item","numeric-id":412059,"id":"Q412059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907057$1ED6D4D4-999F-4B6B-BD10-082F9EA63D84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0374f9cee657eee67ac4dd9d79d96d1538c53a","datavalue":{"value":{"time":"+2012-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2907057$21CED4D4-9B40-4A94-9A38-C4F704AB0B4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92d2fd66821aa866cc4ef252db13ad2702988014","datavalue":{"value":"https://semanticscholar.org/paper/73bf2db1667b1e19bf19a9a66d6336351b71cec2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2907057$B63286FC-994D-499F-ACF4-F15BFD02183A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907057$8C66539C-3C0F-48C2-BEF7-23D5C5AA42BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d82645a6c56c237c9a9cf80f5408887c94e003d9","datavalue":{"value":"6078050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907057$461B80BA-3E23-4319-8302-FE340F6A8150","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f165bf28b50cacc658818bcc911ae4a36222f512","datavalue":{"value":"enumeration reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2907057$5917D591-340D-4860-B6F4-FF91067B0556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d44b8d233d2ac43b95e2c07f15303af9288585f9","datavalue":{"value":"enumeration degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q2907057$4553A5CB-1773-4EF9-B9AE-3E38D21A6DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8839de85fb25531d492403fbce77bb9ba7451f05","datavalue":{"value":"non-cuppable degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q2907057$2765F7AE-849C-43FE-BCD6-EA450896C718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2f1f88da1d276bccf204867b4b2ef65aacd7a68","datavalue":{"value":"high/low hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2907057$B4F288A7-8EAA-4286-B80F-9FD6745BB21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca5bbae76bb6579d16f7b51d0ea82670b79a689e","datavalue":{"value":"finite injury","type":"string"},"datatype":"string"},"type":"statement","id":"Q2907057$4F541575-88A8-4F2A-8D59-F01D5221969C","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":"Q2907057$7928EA79-E6B3-4AA8-8A25-7C99D37614E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71c7345887a172d674bc5dde3bdc31ce2eff6311","datavalue":{"value":"W2013740965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907057$0A76883F-D019-4896-B7A1-21EAFA3BE319","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce12fd863f4423ffddfc4f6865c54abade4a605b","datavalue":{"value":"10.1093/LOGCOM/EXQ044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907057$175E09EB-B8F2-447E-A75B-6A28B56C81A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b95d9824fb747ba5e30fe82b2e47a8125ded5b5","datavalue":{"value":{"entity-type":"item","numeric-id":2204365,"id":"Q2204365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce06291c62cb201b9178f4ddef2f109fda65626c","datavalue":{"value":{"amount":"+0.7435899","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":"Q2907057$65C1B937-A448-40A5-B8E7-9851894C6DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dff7efd041392cdc49f91733acac2e73dea9e3e5","datavalue":{"value":{"entity-type":"item","numeric-id":3819056,"id":"Q3819056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d32dfd6bf8d2605e91ab5c3ae617d1c13b6e359","datavalue":{"value":{"amount":"+0.73265034","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":"Q2907057$4DAEE93B-6BEA-4DF4-8A2D-0D70D6A87978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0034dd94844f0753fca637827efd9ba32d5e9d29","datavalue":{"value":{"entity-type":"item","numeric-id":5388723,"id":"Q5388723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12e5baf2b5b6ced832bc456b14db0336ea631959","datavalue":{"value":{"amount":"+0.7028432","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":"Q2907057$08ABE9E5-7380-4533-AE94-B938A4424311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e668b8af460831a6571dd07e00c9bb44ccec4f20","datavalue":{"value":{"entity-type":"item","numeric-id":3083133,"id":"Q3083133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5600253486a9f4fbc56e53bff09ee29ca7020b9","datavalue":{"value":{"amount":"+0.6965747","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":"Q2907057$FA698DB3-65A9-4FCA-9159-D1D2DC8876ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c897416a1684209cb2b17c1a71ecf4c7cf6c79ce","datavalue":{"value":{"entity-type":"item","numeric-id":3576227,"id":"Q3576227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c570079004361388fc6855035be69ea429f6e48d","datavalue":{"value":{"amount":"+0.6965317","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":"Q2907057$47B2962D-D7F5-4B32-BAA3-0DE2A47B2D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331ccf95829fb1c2dae474b9769d1bfc733afe2c","datavalue":{"value":{"entity-type":"item","numeric-id":938229,"id":"Q938229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0993b1a9697a89b05fe6ae7c30fea117b9d2873a","datavalue":{"value":{"amount":"+0.69035095","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":"Q2907057$D109AEE3-1A1A-4E4B-827E-2DB89B7E6CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"414e153c8f6d8e154a77fbe78c38abd008b79d69","datavalue":{"value":{"entity-type":"item","numeric-id":4934279,"id":"Q4934279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7f4aac907095fcd429484c2de500d4d56f26532","datavalue":{"value":{"amount":"+0.68751436","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":"Q2907057$6CBAFBF3-2447-4809-BAAA-19EDCD942A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12ba908b51b2a1548066051616f2ce29968d0e28","datavalue":{"value":{"entity-type":"item","numeric-id":4944900,"id":"Q4944900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a09e20a5e4d9763f4b4513292c3b8ee07955421","datavalue":{"value":{"amount":"+0.68386805","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":"Q2907057$5F157CF5-14F3-431E-85F7-BCF05EE4CFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e06d264bd56d89ad206b1abc6a5288db7588a6","datavalue":{"value":{"entity-type":"item","numeric-id":1293973,"id":"Q1293973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c38260c2df720ffffa3d696c66283f5255534b6b","datavalue":{"value":{"amount":"+0.67926824","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":"Q2907057$539192C6-BDAF-496A-8D91-E789CA055EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeaa14740dbaf0b364931e700d321c047ca4ff0e","datavalue":{"value":{"entity-type":"item","numeric-id":2207013,"id":"Q2207013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d6d15cd4ae7201dc9053e3204c4f8f12c8afa8f","datavalue":{"value":{"amount":"+0.6758078","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":"Q2907057$1CB4D163-C275-48AE-91F2-9CB6D7B1B4C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907057$C9AC2279-0A4B-4D9C-B99F-2057B44693A0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"65df82195cbbe796ec0e87644e56c6e96f1920b0","datavalue":{"value":"The partially ordered local structure \\(({\\mathcal D}_{\\mathrm e}(\\leq {\\mathbf 0}'_{\\mathrm e}),\\leq)\\), where \\({\\mathcal D}_{\\mathrm e}(\\leq {\\mathbf 0}'_{\\mathrm e})\\) is the set of all the \\(\\Sigma^0_2\\) e-degrees and \\(\\leq\\) is the partial ordering induced by the enumeration reducibility \\(\\leq_{\\mathrm e}\\), is one of the structures studied in computability theory. In this paper, using finite injury methods, the author strengthens and refines some known results on \\(\\Sigma^0_2\\) e-degrees that have been proved in the literature with priority tree arguments. Namely, it is shown first the existence of an e-high \\(\\Sigma^0_2\\) e-degree incomparable with all the \\(\\Delta^0_2\\) e-degrees; because of the e-highness of the \\(\\Sigma^0_2\\) e-degree, this result refines a special case of a result contained in [\\textit{S. B. Cooper} and \\textit{C. S. Copestake}, Z. Math. Logik Grundlagen Math. 34, No. 6, 491--522 (1988; Zbl 0667.03034)]. Then the author shows the existence of an e-high noncuppable \\(\\Sigma^0_2\\) e-degree which has the property of being upwards properly \\(\\Sigma^0_2\\).NEWLINENEWLINEFrom the latter there follows the following corollary, which is a result contained in [\\textit{S. Bereznyuk, R. Coles} and \\textit{A. Sorbi}, J. Symb. Log. 65, No. 1, 19--32 (2000; Zbl 0946.03049)]: For every e-degree \\({\\mathbf b}\\leq{\\mathbf 0}'_{\\mathrm e}\\) there exists an e-degree \\({\\mathbf c}\\) with \\({\\mathbf b}\\leq {\\mathbf c}<{\\mathbf 0'_{\\mathrm e}}\\) such that every e-degree \\({\\mathbf x}\\in [{\\mathbf c},{\\mathbf 0}'_{\\mathrm e})\\) is properly \\(\\Sigma^0_2\\). Moreover, the author proves the existence of an e-low\\(_2\\) noncuppable \\(\\Sigma^0_2\\) e-degree. The latter has been previously proved in [\\textit{M. Giorgi, A. Sorbi} and \\textit{Y. Yang}, J. Symb. Log. 71, No. 4, 1125--1144 (2006; Zbl 1114.03034)]. Finally, combining a finite injury argument with a priority tree argument, it is shown that for every \\(\\Sigma^0_2\\) e-degree \\({\\mathbf b}\\) there exists a noncuppable \\(\\Sigma^0_2\\) e-degree \\({\\mathbf a}>{\\mathbf 0}_{\\mathrm e}\\) such that \\({\\mathbf b}'\\leq{\\mathbf a}''\\) and \\({\\mathbf a}''\\leq{\\mathbf b}''\\). This shows that there are noncuppable \\(\\Sigma^0_2\\) e-degrees at every level of the e-high/e-low hierarchy.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2907057$34C2E20E-A83D-4158-8B5D-BAF8AFC164C5","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":"Q2907057$20D14E14-F06C-4119-9DB5-E5664E278145","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-cuppable enumeration degrees via finite injury","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-cuppable_enumeration_degrees_via_finite_injury"}}}}}