{"entities":{"Q1762727":{"pageid":1773469,"ns":120,"title":"Item:Q1762727","lastrevid":74173251,"modified":"2026-04-14T18:47:12Z","type":"item","id":"Q1762727","labels":{"en":{"language":"en","value":"Finite cupping sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2133511"}},"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":"Q1762727$F1C6EA7C-9588-43C3-A6A0-DE98A024BA60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25637ae08071a05fa486358215f35e0288b791aa","datavalue":{"value":{"text":"Finite cupping sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1762727$72206D84-3BBA-4087-A5AA-444AA2B63042","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8380ebc3688f6d72eaf595b223ea3554867884c","datavalue":{"value":"1060.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762727$ECEBA2B6-DA9F-4264-A3EA-97B6436EDFB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dcf8b29f998e6586890411a08c34f70ea4883f1","datavalue":{"value":{"entity-type":"item","numeric-id":1717924,"id":"Q1717924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762727$E22E5717-84C7-4562-8755-21D06EE49744","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762727$C77B2B32-7800-4D34-ADD5-CB5876E92D51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5596d9d431c014306023aa27a7b00ce60a426d45","datavalue":{"value":{"time":"+2005-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1762727$5B7FFF41-9658-4980-BDAA-1845A11A677A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2e8ba4ca259e08bbce5c6ea3a55146a70deb44ad","datavalue":{"value":"The author shows that, given any Turing degree \\(0<c\\leq 0^{\\prime }\\) and any uniformly \\(\\Delta _{2}\\) sequence of degrees \\(b_{0},b_{1},b_{2},\\dots\\) such that \\(\\forall i\\) \\(( b_{i}\\nsucceq c) \\), there exists \\(0<a<0^\\prime\\) such that for all \\(i\\geq 0\\), \\(a\\vee b_{i}\\nsucceq c\\). Then, by considering the case \\(c=0^{\\prime }\\), he concludes that there exists no `finite cupping set', i.e. that there exists no finite set of degree strictly below \\(0^{\\prime },b_{0},b_{1},\\dots ,b_{l}\\), say, such that for every degree \\(0<a<0^{\\prime }\\) there exists \\(0\\leq i\\leq l\\), \\(0^{\\prime }=a\\vee b_{i}. \\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1762727$802A0541-7FDF-46FB-AC8B-0B2C665E56C0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"10ce3a5d9313b648d3b16631524f630b08f534db","datavalue":{"value":{"entity-type":"item","numeric-id":587297,"id":"Q587297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762727$9CEB18D5-81DA-4BD3-A1CB-93440214CCB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"86e7d9065663fa3ffd8f6c70df93df9f4742e385","datavalue":{"value":"03D28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762727$68320AF9-19D3-4C20-A191-040C21B5BAB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efd8b9d53c36a8d2e5201bc0b888e76585c9ed72","datavalue":{"value":"2133511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762727$57DF586B-FAE9-4EAC-ACF6-1BF89F6BF856","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b60f74c328ecfe628d9c4a73477cf40d9a56019e","datavalue":{"value":"Turing degree structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1762727$6FFDA5EF-1B36-4D2C-A98C-B41A57451A77","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":"Q1762727$97785F8B-4B8A-47B1-9CD2-22D0A77E7008","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf7038f6e57dc7a1aa5e84d10014065bea172526","datavalue":{"value":"https://doi.org/10.1007/s00153-004-0215-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1762727$D1BE0AAC-E5B2-4E80-97D6-8FF5222A30EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d05be7c4fd8b917b0d2b18bc53088f58aaf89182","datavalue":{"value":"W2073364886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762727$F3E6372B-B1F4-4219-A4B6-BBB7A2445146","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"37366817f14b0bccf9abbc234efbe7a987665555","datavalue":{"value":{"entity-type":"item","numeric-id":5311764,"id":"Q5311764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762727$55B01856-995B-4D0D-9972-1E820B8151C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e867adb8265c6ac38b20fd0339a21701011ac08","datavalue":{"value":{"entity-type":"item","numeric-id":3592759,"id":"Q3592759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762727$8B002B5E-A075-448C-94D9-1F9F127FA214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb2dc3fbf517207c4787f706bb6bf193b88b31c5","datavalue":{"value":{"entity-type":"item","numeric-id":4487561,"id":"Q4487561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762727$CF98AE27-8F60-4AAB-9557-F5A12034D30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c90199f1e6aee81fd74ab65b582612d33806680","datavalue":{"value":{"entity-type":"item","numeric-id":3665087,"id":"Q3665087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762727$A79FE126-8ACC-455C-AD62-8F22689EEEBA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aac231521c8e65d7c0ca3d79743eed9b4feebaf6","datavalue":{"value":"10.1007/S00153-004-0215-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762727$402191DE-3738-4705-AEB2-48EB24D59897","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"262b9ca7524cbea8764aa6223b56bdbecc569ab7","datavalue":{"value":{"entity-type":"item","numeric-id":4452449,"id":"Q4452449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5edebc7dadb8539c626068f6e15a04cff8091ef","datavalue":{"value":{"amount":"+0.8070817589759827","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":"Q1762727$8FACE3F3-A697-4545-87E4-CA59D336EB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb0629b4b75ffb5224359cdd88b342adc26d29f2","datavalue":{"value":{"entity-type":"item","numeric-id":5961497,"id":"Q5961497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d58c9c7f003ab69cad7c295a2754fddd7c379b4","datavalue":{"value":{"amount":"+0.8070455193519592","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":"Q1762727$9FCAAC3F-E9CF-4BD6-98B0-1282AE654016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56e73bfa817cf708d41a910fde47d1ac9ea8391f","datavalue":{"value":{"entity-type":"item","numeric-id":3091470,"id":"Q3091470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4937225be5e948792ae80351a4e730d9685a57d","datavalue":{"value":{"amount":"+0.8055390119552612","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":"Q1762727$07A340A4-BDF6-43CE-88AA-A5B5C68BC7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caa3e19f2fcef8c51bcdeb00816a6ee419ab3509","datavalue":{"value":{"entity-type":"item","numeric-id":5898924,"id":"Q5898924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8990cf25d3cd47f8f70dbf3660b0714345d850a","datavalue":{"value":{"amount":"+0.8012748956680298","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":"Q1762727$5557F6FA-D2D9-4045-9C6F-BAFABD42789D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e248eaa83b0deb27f312d1d9f435e8110c7b6eb","datavalue":{"value":{"entity-type":"item","numeric-id":2845877,"id":"Q2845877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e4f285350e502b7a3b404d7d1792b24b61c3adb","datavalue":{"value":{"amount":"+0.8007287979125977","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":"Q1762727$9490E1F5-A406-4402-A37B-1CC7DCE09A24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite cupping sets","badges":[]}}}}}