{"entities":{"Q685063":{"pageid":686912,"ns":120,"title":"Item:Q685063","lastrevid":47187997,"modified":"2025-12-31T23:06:02Z","type":"item","id":"Q685063","labels":{"en":{"language":"en","value":"Generic degrees are complemented"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 416877"}},"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":"Q685063$36DC4405-4F3C-4CA8-BA94-CB5E17FC231A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd6a5c56b0f57d5b37fee7e71f56d5a24644ab14","datavalue":{"value":{"text":"Generic degrees are complemented","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685063$6B68F06B-52D2-4A0B-AA85-690380FB354D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"424c3dc6bbe930ee0455d346baf7c44ae9800b47","datavalue":{"value":"0788.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685063$0BD17ECF-2979-48BF-959E-DE3B8A3A8BDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b584d3ca26a5d6a5451b0ae405b0f4d24f32797","datavalue":{"value":"10.1016/0168-0072(93)90096-V","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685063$319887F4-898B-40A2-8B65-8EA6F7A83EA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"494b595f1c2faf052c3e4cf537407f17de944a7c","datavalue":{"value":{"entity-type":"item","numeric-id":536090,"id":"Q536090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685063$677B1439-3CF4-4805-B50E-3A8AC40E0AAA","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":"Q685063$9093EB5B-0F4F-421F-8FB9-8780523EB73E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6918393775fb1c8826438f5277bce44cf6f24c36","datavalue":{"value":{"time":"+1993-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685063$D0E8C0B0-C26E-4EA2-88FC-EDDBA755F989","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a0dfa527f48d87b344f12a3c20a6c75c6322996a","datavalue":{"value":"A set \\(A \\subseteq \\omega\\) is \\(n\\)-generic if it is generic for \\(n\\)- quantifier arithmetic; that is, for every \\(\\Sigma^ 0_ n\\) set of strings \\(S\\), there is some initial segment \\(\\sigma\\) of (the characteristic function of) \\(A\\) that has no extension in \\(S\\) unless \\(\\sigma\\) is in \\(S\\) itself. A Turing degree is \\(n\\)-generic if it contains an \\(n\\)-generic set. This paper proves a strong complementedness result for degrees that are recursive in \\(n\\)-generic degrees. For any \\(n \\geq 2\\) let \\(a\\) be an \\(n\\)-generic degree and \\(b\\) a nonrecursive degree \\(<a\\). Then there are \\(n\\)-generic degrees \\(c<a\\) and \\(d<b\\) such that for any nonrecursive \\(e \\leq c\\) and any \\(f\\) with \\(d \\leq f<a\\), we have \\(e \\cup f=a\\) and \\(e \\cap f=0\\). By setting \\(f=b\\) it follows at once that the upper semilattice of degrees \\(\\leq a\\) is complemented. The result answers a question raised by Jockusch in 1980.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685063$6A0D4A35-F992-4FD1-BCC2-50B30E405BD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685063$A327FEDD-E0E8-40F0-B2BE-73312315D295","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7e088f0c7000f930a7dccd76a799f8d4b6998ec","datavalue":{"value":"416877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685063$D8BE33D5-710C-408A-8A38-B34348421BCE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6907e9b83f957b47990b4e0638bc567ed9634cc","datavalue":{"value":"degrees of unsolvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q685063$74F8D41C-EAB6-48A3-A296-E7820760BA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfb76d78bf944e0ded3ea44f84fcb4b906ed33ca","datavalue":{"value":"degrees recursive in \\(n\\)-generic degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q685063$4F7020E7-287C-4F1B-9A52-299DB0A53C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdbeaf9ad0469fca113f15e8a3c4e94893eadab8","datavalue":{"value":"\\(n\\)- generic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q685063$9A3ACD3F-EBED-48E1-8F34-6A948185027C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"948cc8cdb885a280b485e2da2b71f5dbbc318ce4","datavalue":{"value":"Turing degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q685063$1540FA14-6025-4BCF-8EC7-A6A23DEEBD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a572f902a64bd4ab8002dba157233d167fab3e2","datavalue":{"value":"strong complementedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q685063$3AA1EF19-D77B-43C0-9299-0BD42D96A7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf85e05c685ce2a17b75d25b88ec141acbec9e6e","datavalue":{"value":"upper semilattice of degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q685063$E719F596-DF85-48B2-8611-E208F0E101A6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b80b8bd1054c5101cd01e496a6e5c79a0223fa9f","datavalue":{"value":{"entity-type":"item","numeric-id":591980,"id":"Q591980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685063$608DA2B0-8778-48A5-B897-6C5FFF01EF99","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":"Q685063$34AD596D-03FD-41D8-99BD-BAD5E73FD8DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f3927742ff07262221a6b103cfd4dcb064d9146","datavalue":{"value":{"entity-type":"item","numeric-id":3775543,"id":"Q3775543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685063$7D468ED0-AAC7-4C30-9587-AD0B9CF50994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c9b701b88ff06800f1353b4c407dc96c864855d","datavalue":{"value":{"entity-type":"item","numeric-id":750429,"id":"Q750429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685063$D5816206-75B0-4BB0-86B9-95C4C3AB95C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b261190776e677f484ddac0bf77079ec239f6c","datavalue":{"value":{"entity-type":"item","numeric-id":3691650,"id":"Q3691650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685063$1929D5AD-134E-4B43-B8E4-6AB433ABE91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e4af5b5876ff51622383a273f2390072da4ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5338333,"id":"Q5338333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685063$3ABFC458-C3A5-4B25-A747-FBFC6BFCC404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9cf9f1461b814d129d2ea48ef192fe3ff30c787","datavalue":{"value":{"entity-type":"item","numeric-id":3770518,"id":"Q3770518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685063$B638E21F-1F34-4E6B-9534-871D44E4B956","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":"Q685063$D87BC42F-F18C-46BF-B4D9-F39861EA2705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c3b88564cb706f5446400ef20c143581758cccf","datavalue":{"value":{"entity-type":"item","numeric-id":5604455,"id":"Q5604455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685063$FF79031C-1B2E-487E-91EE-EE20DD8213A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe67cddb1d2e8d4582eb3ba360c56bb29576a54c","datavalue":{"value":{"entity-type":"item","numeric-id":3329452,"id":"Q3329452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685063$D3C7F45E-9B7D-45A8-AA11-CDE3C28828E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93e5b249e2f8918ae350ae1884f5c3763a4659c","datavalue":{"value":{"entity-type":"item","numeric-id":1073789,"id":"Q1073789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685063$4E78BA03-981A-4B80-83C4-070F1818C3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2817a968005a80dd7f65a83c222be0786625195e","datavalue":{"value":{"entity-type":"item","numeric-id":3665088,"id":"Q3665088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685063$35BCAB16-3091-48D7-8579-C96D2C043C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3183fe1b285e34ab4afafe2135598ac868bd7630","datavalue":{"value":{"entity-type":"item","numeric-id":2520837,"id":"Q2520837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685063$8B0B31F0-D858-477A-B548-5E75A41F69A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"236d0a658f6ab0ee2c488239b40185f031c6665d","datavalue":{"value":{"entity-type":"item","numeric-id":5599821,"id":"Q5599821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685063$1184508A-3D5E-45C4-9D59-DFC73BD0F789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fdb0dde45471f836029c311d17346c931119c80","datavalue":{"value":{"entity-type":"item","numeric-id":3032238,"id":"Q3032238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685063$F758CEAB-18C4-4CFB-B074-D4465BE7AA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65665e605ac18273bc2dabe9673047fbfc917b85","datavalue":{"value":{"entity-type":"item","numeric-id":1075320,"id":"Q1075320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685063$C22D9288-A393-4CA8-8865-E23496ECEB6C","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":"Q685063$CC11F678-25F5-47BB-AD2A-D68C8716E400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75fb05ff45c85c418587a5c71d455d08c4df02a","datavalue":{"value":{"entity-type":"item","numeric-id":768100,"id":"Q768100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685063$B47D714B-674A-4974-B106-E4C4AD116A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8080a060666ce540ac5849f911cb67e9775597c8","datavalue":{"value":{"entity-type":"item","numeric-id":5623675,"id":"Q5623675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685063$A1064390-BF1E-4D0E-ACE6-E634FAD9EAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1db0c9c81b67dcbae6c73b9c7ac5019917e45e55","datavalue":{"value":{"entity-type":"item","numeric-id":4111548,"id":"Q4111548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685063$8EF5A1B7-E495-41C3-A782-C0F1839EABF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58c8bac801617593db016ec5b76abc6bfa81d34e","datavalue":{"value":{"entity-type":"item","numeric-id":3985104,"id":"Q3985104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34120587f04fca5b1a87341846a3b4a8317b2ae5","datavalue":{"value":{"amount":"+0.8535438776016235","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":"Q685063$6460D034-0FB7-434C-8698-065FF6751013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76e33419cf02103e6d617824788926bb4e12efb1","datavalue":{"value":{"entity-type":"item","numeric-id":3342559,"id":"Q3342559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b494f7a710e9dfe5a1a9e4be530eff752fd1f4c5","datavalue":{"value":{"amount":"+0.8535067439079285","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":"Q685063$CAD8C899-0D0F-4232-A8D7-860CC797E276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f42533529e0817d98edb0b0a3f982111075483c","datavalue":{"value":{"entity-type":"item","numeric-id":3032238,"id":"Q3032238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"495e1dd2eb464938d3259a06c10072389f49e246","datavalue":{"value":{"amount":"+0.8351946473121643","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":"Q685063$6D1002A9-1746-482C-B614-4FFF9107EE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb5185ad648b479c8feb4f9f813c1eaafc9a83ec","datavalue":{"value":{"entity-type":"item","numeric-id":3812228,"id":"Q3812228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40d6af249951570b46b1e45b45142b190229aa01","datavalue":{"value":{"amount":"+0.8219298720359802","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":"Q685063$4236EE83-53FD-4EAA-B240-095EF201D70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f076e6cf666218d41bf405f20ea7f00ce1bf90b8","datavalue":{"value":{"entity-type":"item","numeric-id":4647098,"id":"Q4647098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ab52e91d82feb6213b4b13cdc343de3e6f23e2","datavalue":{"value":{"amount":"+0.8119584918022156","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":"Q685063$A9473AD2-3A34-4C4F-8B16-CDD3D28EB183","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685063","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685063"}}}}}