{"entities":{"Q1182487":{"pageid":1193236,"ns":120,"title":"Item:Q1182487","lastrevid":66441762,"modified":"2026-04-12T10:05:36Z","type":"item","id":"Q1182487","labels":{"en":{"language":"en","value":"The d.r.e. degrees are not dense"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 31353"}},"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":"Q1182487$045135BC-7443-4F78-B175-F26342526EC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89eb789f3d5d0189dc86149b4e2c50b8912545b5","datavalue":{"value":{"text":"The d.r.e. degrees are not dense","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1182487$1CC3E4B7-6AAE-4569-AFC4-B1DF6D6B9FD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a20181be1242409d10fcdab22f171ba66dd2c64b","datavalue":{"value":"0756.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182487$20AED1AC-2465-4FB3-892B-1E5C24337E43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ddb908cc1054de61b211f62296bc75a9e09607f","datavalue":{"value":"10.1016/0168-0072(91)90005-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182487$087E00C3-619F-4CEC-BB82-22E3A077B4D4","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":"Q1182487$DF937B64-B874-4107-999C-B7D763F423A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc6f663afe99643fc0b06a4f80802aca12f5eca1","datavalue":{"value":{"entity-type":"item","numeric-id":1182486,"id":"Q1182486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182487$74A862E6-448A-47DE-99A7-5339A450E4FA","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":"Q1182487$09B10740-F7E1-4EE5-9D6E-554CFC3570B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99d656eeef84f51d80bcbc7ccf03ab138401b634","datavalue":{"value":{"entity-type":"item","numeric-id":207673,"id":"Q207673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182487$718AE475-7C67-410E-9B03-E84C006E535B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e35639c576039c3cf55c9111f0b0abefd918533","datavalue":{"value":{"entity-type":"item","numeric-id":6482531,"id":"Q6482531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182487$4EEA8061-064F-4AD2-B919-B7F806D9DF98","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":"Q1182487$9FAE943F-8A41-4595-81AE-699B6A98851F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1182487$00EE274F-3DC5-4D0D-BC72-801C32B64E7B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"df7472b3a071ae2a5f2df97e60db2a2598005181","datavalue":{"value":"The main result of this paper is to prove that \\(\\mathbf{0}'\\) is a minimal cover in the d.r.e. Turing degrees. The proof is a complex \\(\\mathbf{0}'''\\) priority argument with a central strategy akin to the Lachlan join strategy [the third author, Ann. Math. Logic 9, 307-365 (1975; Zbl 0357.02040)]. A number of further technical devices are needed to make the proof go through. The paper is exceedingly well written and is quite accessible. The result should be contrasted not only with Sacks' density theorem, but Cooper's result that the \\(\\text{low}_ 2\\) d.r.e. degrees are dense [the first author, to appear] and the Cooper-Lempp- Watson result [the first and the fourth author and \\textit{P. Watson}, Isr. J. Math. 67, 137-152 (1989; Zbl 0691.03023)] that if \\({\\mathbf a}<{\\mathbf b}\\) are \\(n\\)-r.e. there exists an \\(n+1\\) r.e. degree \\({\\mathbf c}\\) with \\({\\mathbf a}<{\\mathbf c}<{\\mathbf b}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182487$1AB824CC-D228-47F8-B593-BC5CC39B4F0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182487$3EE667EE-51B3-4D12-96FD-B0EA5A083E9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b0ea1be2489f5eb7ab86ce2e2c8e7ce9c19d84d","datavalue":{"value":"31353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182487$2B1623C5-AF85-4E7E-9189-ED405E74ED42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c08dc79effe31cf8d563db31c3b0b8b95ee8b8c","datavalue":{"value":"d.r.e. Turing degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182487$CAF5324A-851E-4300-B790-D3FE054636C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99dd83ef7f0c96c91b4032628ff1017152923087","datavalue":{"value":"priority argument","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182487$E7D265A9-FA94-4D03-A136-5966C8A155FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"751ce0f8ff589b861b33c27b77073dcbb0a36956","datavalue":{"value":"Lachlan join strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182487$19431835-A8E2-4148-BAF7-58EDE11608EA","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":"Q1182487$8F55F3A2-2FDA-4C40-A636-788E15D22BEE","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":"Q1182487$AE157DE1-DA72-499A-A3A7-DB3A72291B97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd7a4e1a1bbc135676a0c998d182b4edf145416e","datavalue":{"value":"https://doi.org/10.1016/0168-0072(91)90005-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1182487$1FB419B1-AD04-42E2-8C33-E6526CF8E2AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed871daf32efdc577e14bf4392cf3af3ab7a6b1e","datavalue":{"value":"W2007016528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182487$C94D4403-BE3C-4029-AA79-21E1898E6FDB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7dacc485fd39634ae41bf01d24b8a8590b8073","datavalue":{"value":{"entity-type":"item","numeric-id":3816068,"id":"Q3816068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182487$2F94A1AB-BE55-48C1-AA5A-5507B11832AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e7920cdf388a5ed50e563163b97bc3726cc303c","datavalue":{"value":{"entity-type":"item","numeric-id":582288,"id":"Q582288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182487$0EA90159-0DE6-4040-87F0-88DA7A70417A","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":"Q1182487$977F1545-6808-4916-9D01-0B0AECBD2BDB","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":"Q1182487$D4F86CDF-378E-4625-9013-4FBEF414A8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443fee7248faaabc80316e2860669c81316a4fd8","datavalue":{"value":{"entity-type":"item","numeric-id":2264760,"id":"Q2264760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182487$A2A2E35C-5DB8-4A2E-94EF-E3339671D030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfe38fe19cf97f81a630bbeb3a96a5b65d421db0","datavalue":{"value":{"entity-type":"item","numeric-id":3489987,"id":"Q3489987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182487$0D91BBBD-71D9-4E46-902B-6878647F8789","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":"Q1182487$94752FF9-064F-4C17-A9C5-862125BD7745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bca441acee540b6c6848d51594e5798c2464759","datavalue":{"value":{"entity-type":"item","numeric-id":5537365,"id":"Q5537365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182487$D92B879C-C4F6-459E-BC6F-BE0CD0441D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654f717b930cbace7136731cda8419f1178f1747","datavalue":{"value":{"entity-type":"item","numeric-id":4128552,"id":"Q4128552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182487$C4A60D4F-CAD9-4FC7-819D-8BE09BC4D98B","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":"Q1182487$BB54EBE5-A36D-4ECE-A7C1-D200BFE781A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e6ec8bf53a403cc5a32600f6b7dd2946260e87","datavalue":{"value":{"entity-type":"item","numeric-id":5588612,"id":"Q5588612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182487$DE65D3D5-E960-49B7-9DC3-DEF65D9C8D8A","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":"Q1182487$5BAEC239-EA89-49B6-B617-E4E9D7E59924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182487$B9E7F472-01C1-4005-96EC-7B7DDB80223E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83c4f398b853a14995442b807e64cfd5f64130cd","datavalue":{"value":{"entity-type":"item","numeric-id":4868243,"id":"Q4868243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6212da61aa538696f2fc38e0b87728b7b56b01b","datavalue":{"value":{"amount":"+0.7958999872207642","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":"Q1182487$53545124-3C80-4545-AE09-4FD9A2164CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3ccadd49897cad8e8c685e1789c8131fb2973ec","datavalue":{"value":{"entity-type":"item","numeric-id":1354326,"id":"Q1354326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5beb82d9717caa452428a94e200924a7fc09eac5","datavalue":{"value":{"amount":"+0.7907118797302246","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":"Q1182487$7580B06D-B135-416E-9922-DCDC0DF52009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fdee9257b466b66b873f6964533f4c7240265a6","datavalue":{"value":{"entity-type":"item","numeric-id":582288,"id":"Q582288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"034a82dc97612b63b0ad0a670f51f60a60af38dd","datavalue":{"value":{"amount":"+0.7896969318389893","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":"Q1182487$EF64F6D5-266B-49A3-98CA-57D31CA8CB46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The d.r.e. degrees are not dense","badges":[]}}}}}