{"entities":{"Q582288":{"pageid":584055,"ns":120,"title":"Item:Q582288","lastrevid":62937207,"modified":"2026-04-11T09:06:03Z","type":"item","id":"Q582288","labels":{"en":{"language":"en","value":"Weak density and cupping in the d-r.e. degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4130361"}},"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":"Q582288$652FA25E-C757-4CBA-8A2D-0CECA4225F80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b067064886dcd8bd34b13b4d76769dc401305ea8","datavalue":{"value":{"text":"Weak density and cupping in the d-r.e. degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q582288$3716FA5A-8EE1-496B-87AE-17B8E064E6CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fab9bba88d9ff2041f727f85878a4b444f2a61e6","datavalue":{"value":"0691.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582288$70E11FC1-F3BA-4E18-B1F3-52569A9FA468","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13c5dfd4ae94839521f047f95cfa08b30abf511d","datavalue":{"value":"10.1007/BF02937291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582288$CA88FBDC-9472-4ED7-AF10-E3458C88F083","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":"Q582288$5D00AE48-312A-4353-A347-FB55126B5A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46a0b2f77af8f2df77d28314d19ad410add2b91","datavalue":{"value":{"entity-type":"item","numeric-id":218972,"id":"Q218972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582288$C0D7467E-95D0-4FF9-A831-94771EA4BC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd13b0555451591db6a7a364cc66db2817bf848a","datavalue":{"value":{"entity-type":"item","numeric-id":582287,"id":"Q582287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582288$1057F52B-EA7D-4BAD-8A8A-4A84B25E96A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582288$B135C5F8-CF48-4A31-81F3-25C78D1751E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q582288$FA2B5C24-D14D-4129-B1A7-EF0007ACA557","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e4ae3a367363f86e8f0f9fbe1ae5996762913e8d","datavalue":{"value":"A set A is called d-r.e. if there exist r.e. sets C and D with \\(A=C-D\\). Recently there has been renewed interest in the d-r.e. degrees particularly in view of their importance to the r.e. degrees (for example they were a crucial ingredient to \\textit{S. B. Cooper}'s proof of the definability of the r.e. degrees, and of the jump [Bull. Am. Math. Soc. (to appear)]). Nevertheless, the d-r.e. degrees are not well understood. Sometimes they behave like r.e. degrees, sometimes like the \\(\\Delta_ 2\\) degrees. (For example, it is known that there is no minimal d-r.e. degree (Lachlan, Cooper, Jockusch) but the non-diamond theorem fails for the d- r.e. degrees [the reviewer, Bull. Lond. Math. Soc. 21, 43-50 (1989; Zbl 0628.03030)] and the d-r.e. degrees are not dense (Lachlan, Harrington, Soare, Lempp, to appear).)    In the present paper, the authors make an interesting contribution to our understanding of the structure of the d-r.e. degrees by proving that between any two r.e. degrees there exists a d-r.e. but not r.e. degree, and that if \\({\\mathfrak h}\\) is r.e. and high, then if \\({\\mathfrak d}\\leq {\\mathfrak h}\\) is d-r.e. there exists a low d-r.e. degree \\({\\mathfrak e}\\) cupping \\({\\mathfrak d}\\) to \\({\\mathfrak h}\\). This last result should be contrasted with Harrington's anticupping theorem for the high r.e. degrees [see \\textit{D. P. Miller}, Logic Year 1979-80, Lect. Notes Math. 859, 230-245 (1981; Zbl 0498.03033)]. Corollaries are discussed for the n-r.e. degrees. The proofs are \\(\\pi_ 2\\) `tree of strategy' arguments, with a good discussion not wanting the full construction. The style of presentation is similar to that of Lempp's thesis.    Reviewer's remark: The paper suggests a number of open questions. In particular, the high degree \\({\\mathfrak h}\\) in Theorem 2 be d-r.e. instead of r.e. The reviewer conjectures not. Also is each high d-r.e. degree the top of a diamond in the d-r.e. degrees.","type":"string"},"datatype":"string"},"type":"statement","id":"Q582288$435AC91C-62C3-42EB-A23F-5009C5B04D58","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8055ef4c08baf7aae068108b5a3771ed10ad54de","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582288$D0900256-4470-4CBE-AD08-663151FC2ACF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582288$A507687F-B6E5-4910-B2EC-0554BDB5FDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582288$6DA2D5BC-E73C-4F72-8CD2-27874C39E5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582288$1A055BF3-2492-4582-B7CE-356758FA2B51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72e97ed06296d50955315165eb9c0d9422916253","datavalue":{"value":"4130361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582288$43180CF9-21E2-4EF3-B785-ADC52EFB4E4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c7748dc4f2540dad4eb105490020263f0a20578","datavalue":{"value":"weak density","type":"string"},"datatype":"string"},"type":"statement","id":"Q582288$5D9B0EF2-BEEC-4CC1-90FC-004E9DBBA5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fff3269036b447dccfe5ee216b69c4cdefcb5eeb","datavalue":{"value":"d-r.e. degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q582288$C4CC0A89-1880-4412-A50D-13C78B4802E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ff60a6dca2ae81fdbc9332656fb3b035f08f494","datavalue":{"value":"cupping","type":"string"},"datatype":"string"},"type":"statement","id":"Q582288$91ABEEB2-4A13-4329-9A0C-E87EDC012FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2d8adfb314c67366fef9910bb5eeb122e3fae94","datavalue":{"value":"n-r.e. degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q582288$4212598F-C9E0-44CC-8276-07F3AA2F3F9D","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":"Q582288$AA901B3F-BE1D-41FF-8A92-B2D1E5E736D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d7a673d9c2f08a64e159fb5d66907e94e5698d","datavalue":{"value":{"entity-type":"item","numeric-id":3325709,"id":"Q3325709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582288$78A435C3-FBC4-4BE9-A865-747D1FDE63C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e01bc3f8eb894473f116383e93cfe7c8c48343","datavalue":{"value":{"entity-type":"item","numeric-id":4713085,"id":"Q4713085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582288$44042A72-1413-48C9-A3FE-D7BA5D3C759A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c929ecfa8f2db0dd69585ea5ecd0d74b52ed4269","datavalue":{"value":{"entity-type":"item","numeric-id":3764144,"id":"Q3764144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582288$AB170E1D-564E-436A-AD78-49E62286FE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a10eebef39fe3c9fac3a406122d64363db372f9","datavalue":{"value":{"entity-type":"item","numeric-id":3919704,"id":"Q3919704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582288$40A3C5C4-C25F-4C89-82C1-BA9D8E3B8E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0bf2cc8169aeb384367eceeb5316a465d5b710d","datavalue":{"value":{"entity-type":"item","numeric-id":5620591,"id":"Q5620591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582288$BBE58FEE-55C1-4DE8-9ACF-88C5D8F185B3","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":"Q582288$8735C7FD-0EC9-42D6-86FB-08C1FC6058A6","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":"Q582288$A985BA82-BCAB-4C2C-91C1-2D3CB348B7F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1faf66b9d4f61b1871e98561550a08cccccd2b3","datavalue":{"value":{"entity-type":"item","numeric-id":3727979,"id":"Q3727979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a852fd70042a5a4ee89cde77a7bfee3c21d2c5f","datavalue":{"value":{"amount":"+0.79512274","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":"Q582288$BFB1F873-F189-4E16-8ED2-87BC6764E6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2317ce254eb22a8e5c52d74a8b0765b9e10f005b","datavalue":{"value":{"entity-type":"item","numeric-id":3698790,"id":"Q3698790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d592e5329342e1e9b8ad578f0eb6272aee53beec","datavalue":{"value":{"amount":"+0.742826","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":"Q582288$54850550-D776-47A7-958D-79E09654311C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1814e2b199ddd1acac5097fb4b0b1dfb53adbacc","datavalue":{"value":{"entity-type":"item","numeric-id":4934281,"id":"Q4934281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23828bc615d1f67496e43e71939a47f465a1333f","datavalue":{"value":{"amount":"+0.72883004","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":"Q582288$68532A5A-4715-4503-AD07-510FE16CE732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e7092a355e0ab8e16a6c4edd3755c074e2ffdfc","datavalue":{"value":{"entity-type":"item","numeric-id":4863238,"id":"Q4863238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daefb2583168afdcfec30877e2c67af0c40fa117","datavalue":{"value":{"amount":"+0.72663057","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":"Q582288$5B2B1723-1AAB-48F0-959E-FC7E76C4DFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bb637ff1486b4434d2cd1b929e22f1295106e91","datavalue":{"value":{"entity-type":"item","numeric-id":1919759,"id":"Q1919759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f23d4812fe1f51834d22eecea9134748384a3478","datavalue":{"value":{"amount":"+0.7229096","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":"Q582288$C6C3D700-0436-4F32-B20A-7057D99377EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d62ea882b7488c439e429c6af181560288bf68f","datavalue":{"value":{"entity-type":"item","numeric-id":1921269,"id":"Q1921269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7456b9fb2bd9a3489fd0d6869280447264a5ae9b","datavalue":{"value":{"amount":"+0.7209186","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":"Q582288$562AC7F0-5F0E-4EE2-B696-F96031E4209C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9846dda5c2b3eb8152671efd28976446b32b569","datavalue":{"value":{"entity-type":"item","numeric-id":4879204,"id":"Q4879204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99251022c1424e86bf3f4975cf30ac69717e414d","datavalue":{"value":{"amount":"+0.7198777","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":"Q582288$0B5A63AE-4172-422A-90D5-9D7D377553A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ef02ce5e6130791bda63d2b7e3837dfa0912ad","datavalue":{"value":{"entity-type":"item","numeric-id":4040892,"id":"Q4040892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"451bca431c64b2402c158801ff29f3bfd7b124ad","datavalue":{"value":{"amount":"+0.71655405","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":"Q582288$F78F2CEB-F1BA-42CE-8A0A-E7F9BA68D8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a679387854785355084b4390a21b5ebf21e1c86","datavalue":{"value":{"entity-type":"item","numeric-id":2750871,"id":"Q2750871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4294113efe9889b7d47dfb8b497a14ad9582b550","datavalue":{"value":{"amount":"+0.71604115","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":"Q582288$32D282A8-1891-4499-8625-A75CE179CA2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weak density and cupping in the d-r.e. degrees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weak_density_and_cupping_in_the_d-r.e._degrees"}}}}}