{"entities":{"Q5961497":{"pageid":8138299,"ns":120,"title":"Item:Q5961497","lastrevid":46469241,"modified":"2025-12-24T20:47:24Z","type":"item","id":"Q5961497","labels":{"en":{"language":"en","value":"Cupping and noncupping in the enumeration degrees of \\(\\Sigma_ 2^ 0\\) sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 980905"}},"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":"Q5961497$9BBE4EB2-F58E-4C17-B798-D7BC9B846CDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57d74f8271dd758722f51a18ac9a2bdd0bd3b259","datavalue":{"value":{"text":"Cupping and noncupping in the enumeration degrees of \\(\\Sigma_ 2^ 0\\) sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5961497$C2DD6100-4F58-449B-B8AD-F7DDD4201FA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c417568d82440dc707b92e0ebe54d3b7e810472b","datavalue":{"value":"0874.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961497$2A957E7C-2A8C-47F3-95DA-A961B2222F80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5960f8bf943e7ba2aba02b4a7a4b7246d2b247c","datavalue":{"value":"10.1016/S0168-0072(96)00009-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961497$3402CD8B-778B-4812-AB29-9A42247FCD62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c00f46b24a6e783ec8666cb789e3b7557d2392c8","datavalue":{"value":{"entity-type":"item","numeric-id":242614,"id":"Q242614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961497$AC1D7836-1F02-447A-BD6D-4D4F05696F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cb78a179ab7f7671775d8afe3c2e6cdc5cf26c4","datavalue":{"value":{"entity-type":"item","numeric-id":242615,"id":"Q242615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961497$03BCE8CA-AC1B-401A-83D3-F19397E92849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"577f6ab9924de158e4845cfbe083f81a8fa259b2","datavalue":{"value":{"entity-type":"item","numeric-id":242616,"id":"Q242616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961497$398AD8B1-13F2-4B94-AB80-B63A0610FA42","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":"Q5961497$15463D3A-6E5B-4085-9B44-830329F5F6D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62c8c7692fa7223a1bc40102133e79e318fde956","datavalue":{"value":{"time":"+1997-11-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":"Q5961497$E5F99011-757B-483B-871F-7C7FCFB08611","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6d30d3ec786eff24a4303a6d00c367e37de4992f","datavalue":{"value":"Let be \\({\\mathcal S}={\\mathcal D}_e (\\leq\\text{\\textbf{0}}^{\\mathbf\\prime}_e)\\). An \\(e\\)-degree \\({\\mathbf a}\\in{\\mathcal S}\\) has the anticupping property if \\((\\exists{\\mathbf b})[\\text{\\textbf{0}}_e<{\\mathbf b}<{\\mathbf a} \\& (\\forall{\\mathbf c}\\leq{\\mathbf a})[{\\mathbf a}\\leq{\\mathbf b}\\cup{\\mathbf c}\\Rightarrow{\\mathbf a}\\leq{\\mathbf c}]]\\). An \\(e\\)-degree \\({\\mathbf a}\\in{\\mathcal S}\\) is called noncuppable if \\({\\mathbf a}<\\text{\\textbf{0}}^{\\mathbf\\prime}_e\\) and for no \\({\\mathbf b}<\\text{\\textbf{0}}^{\\mathbf\\prime}_e\\) we have \\(\\text{\\textbf{0}}^{\\mathbf\\prime}_e={\\mathbf a}\\cup{\\mathbf b}\\). In this paper, the following three theorems are proved. Theorem 1. There exists a noncuppable \\(\\Sigma^0_2\\) \\(e\\)-degree \\({\\mathbf a}>\\text{\\textbf{0}}_e\\). Theorem 2. For every nonzero \\(\\Delta^0_2\\) \\(e\\)-degree \\({\\mathbf b}\\) there exists a \\(\\Delta^0_2\\) total \\(e\\)-degree \\({\\mathbf a}<\\text{\\textbf{0}}^{\\mathbf\\prime}_e\\) such that \\(\\text{\\textbf{0}}^{\\mathbf\\prime}_e={\\mathbf b}\\cup{\\mathbf a}\\). Theorem 3. There exists a low \\(e\\)-degree \\({\\mathbf c}\\) with the anticupping property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961497$41BE0CD6-30D9-4F60-8A5B-15B7285FC30E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f1c7d6689d0b52438bf5455c154225ce1608d2b7","datavalue":{"value":{"entity-type":"item","numeric-id":535144,"id":"Q535144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961497$847B702A-AF17-48B9-8224-F36159415CAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961497$640B29FA-6200-47E2-8001-BF4409FDCD08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ecb50f30fd4886984ff9932e1c77fb4917eef24","datavalue":{"value":"980905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961497$0574071F-23EC-4B18-B816-EBF2925B6BF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d44b8d233d2ac43b95e2c07f15303af9288585f9","datavalue":{"value":"enumeration degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961497$004B0C88-2645-49FE-83A9-AEC9BD1C51DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a09633b8589487a87e09ee070b034ca0ae999dd","datavalue":{"value":"noncuppable degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961497$D1187D60-8E93-4FD9-A8FA-793DBCCA6E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1cc2d6e07351ca808d6ef7d7a7652523821fde5","datavalue":{"value":"anticupping property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961497$BFC9EC80-5172-4FE9-80F1-81D026BEA74A","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":"Q5961497$50B01D9B-95F2-4B60-AF57-019DF7E00B5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57e86b2a34de5c452741d2dddf97fad62dd45a41","datavalue":{"value":{"entity-type":"item","numeric-id":3981454,"id":"Q3981454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961497$208CE326-9C1B-4913-BF6D-E30DE354FEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebe15e30120e7daf46970a01087105a05d03fe56","datavalue":{"value":{"entity-type":"item","numeric-id":5628119,"id":"Q5628119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961497$6A31C19F-ABB3-46F7-B5E9-AF946EAF0229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fe7d49fb29def56725be199327dbd6615d7e19c","datavalue":{"value":{"entity-type":"item","numeric-id":3691654,"id":"Q3691654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961497$72C59D0B-EDC1-42AA-8374-D3F40440D10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d6044432ef843ecf2040393a2331eeb89e3596e","datavalue":{"value":{"entity-type":"item","numeric-id":3789543,"id":"Q3789543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961497$860E19BB-57E6-4B5A-AAD9-1F96C5E6CAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fea115c4b94fa65ec5ba075bdec93ed74b89c02","datavalue":{"value":{"entity-type":"item","numeric-id":3487329,"id":"Q3487329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961497$A71BE828-4E6C-48DC-ABA4-705AF300CE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d962ea0d19025bd3fec4f27e6eeca452a8cb4fda","datavalue":{"value":{"entity-type":"item","numeric-id":3819056,"id":"Q3819056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961497$66E64371-A797-4429-9868-FFB9CDFD7168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"067c4fd104d748e488a0993e9fadb246f4070949","datavalue":{"value":{"entity-type":"item","numeric-id":3726105,"id":"Q3726105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961497$6AC1245C-5607-4B2D-81DA-860593E89EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c13d922569172dc3e56bc0504b567bc7f44f5e00","datavalue":{"value":{"entity-type":"item","numeric-id":3128477,"id":"Q3128477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961497$DC7C9A43-265E-408E-A808-AFCA6798325E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0fe5e2690e8aa5db86fc37ab1eba592d8077faf","datavalue":{"value":{"entity-type":"item","numeric-id":3843613,"id":"Q3843613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961497$41449B39-AAE9-4817-97EC-C7FC3229898F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbef6bbbe60bfce0721481461ecfc4b8834e00f9","datavalue":{"value":{"entity-type":"item","numeric-id":5595155,"id":"Q5595155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961497$5F606B29-ABB5-4593-8A24-4FD94A8BF6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a047dee1272736cabef2f834463f12f36fa033d","datavalue":{"value":{"entity-type":"item","numeric-id":3962986,"id":"Q3962986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961497$731FA388-6BF5-4509-B31C-E480D4608A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f4f13509c05ca44b6aa78d129e88e614ae0100","datavalue":{"value":{"entity-type":"item","numeric-id":1307029,"id":"Q1307029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961497$E028AE01-C04A-4449-87AD-65327D5D1743","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":"Q5961497$1105A5DE-A90D-4A02-8F86-6067FC6E317F","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":"Q5961497$F01956DA-D023-4610-A77F-1D7A0FA7DA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961497$14348D7D-74C7-45C7-912F-DD8BD9BAA2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba17c610b66d156b76e62a37325c965ffedff718","datavalue":{"value":{"entity-type":"item","numeric-id":4184825,"id":"Q4184825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961497$BE2A3569-FCDC-42AC-BC29-80EAB3B6CEB8","rank":"normal"}],"P1643":[{"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":"f08fdc049a4a09c0161fd341bda38172dd7cecac","datavalue":{"value":{"amount":"+0.9097583293914796","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":"Q5961497$D9B68113-1DE1-4AA4-BA48-81F9C82FB7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab6e4d92bcc37ef31fe69c1dd9a06d853f1a054","datavalue":{"value":{"entity-type":"item","numeric-id":3616224,"id":"Q3616224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe16cb3c2ef4e46f944391855ebacca33c22328","datavalue":{"value":{"amount":"+0.9025601148605348","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":"Q5961497$15D94BE1-31A2-4774-9294-2A5B8361C37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36dc87cc8724ba1163b6ca8ab4bf75eaf219dd82","datavalue":{"value":{"entity-type":"item","numeric-id":5425377,"id":"Q5425377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a310cf816c022e33ba267ff1ddadfc07f1beda7c","datavalue":{"value":{"amount":"+0.8998023271560669","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":"Q5961497$E498D982-DBE8-4786-9852-3FBA1CC90B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4452a86d48ca2cb09081a27a6d075ba7b0284e5","datavalue":{"value":{"entity-type":"item","numeric-id":3507472,"id":"Q3507472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be32ad1f7888b6bed4877e84ec68ccd1c1c9a200","datavalue":{"value":{"amount":"+0.8711342215538025","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":"Q5961497$B6FE1B89-8876-4EC8-9616-DE5D50DE05A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5961497","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5961497"}}}}}