{"entities":{"Q1570019":{"pageid":1580759,"ns":120,"title":"Item:Q1570019","lastrevid":67895943,"modified":"2026-04-12T20:03:28Z","type":"item","id":"Q1570019","labels":{"en":{"language":"en","value":"On a conjecture of Lempp"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1471394"}},"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":"Q1570019$E509270E-FF57-442C-8E7A-A1CB413C3D96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"354d32bf0bfe78ad3d6e873e9f003ee667e841c3","datavalue":{"value":{"text":"On a conjecture of Lempp","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1570019$2EB2C290-D79E-4C67-84A1-619C337D2C96","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18ba44c63fb38fb5fb19391407e81c47d204a215","datavalue":{"value":"0946.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570019$605613FE-6DF7-4867-AA7F-E740E4FFB9D8","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":"Q1570019$B823205C-CA24-4B4F-B4ED-9C066AD0CAA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ef890dfeb8a9229b999acfe053455ccc4909577","datavalue":{"value":{"time":"+2000-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1570019$B8CBA85A-75ED-4306-983E-4187D009A674","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fa8e85220b57d451d0a58bb0ae2a70d81ca53c06","datavalue":{"value":"We first prove that there exist computably enumerable (c.e.) degrees \\({\\mathbf a}\\) and \\({\\mathbf b}\\) such that \\({\\mathbf a}\\nleq{\\mathbf b}\\), and for any c.e. degree \\({\\mathbf u}\\), if \\({\\mathbf u}\\leq {\\mathbf a}\\) and \\({\\mathbf u}\\) is cappable, then \\({\\mathbf u}\\leq {\\mathbf b}\\), so refuting a conjecture of S. Lempp [cf. \\textit{T. A. Slaman}, ``Questions in recursion theory'', in: S. B. Cooper et al. (eds.), Computability, enumerability, unsolvability. Directions in recursion theory (Cambridge Univ. Press), Lond. Math. Soc. Lect. Note Ser. 224, 333-347 (1996; Zbl 0834.03012)]; secondly, we prove that: (A. Li and D. Wang) there is no uniform construction to build a nonzero cappable degree below a nonzero c.e. degree, that is, there is no computable function \\(f\\) such that for all \\(e\\in\\omega\\), (i) \\(W_{f(e)}\\leq_T W_e\\), (ii) \\(W_{f(e)}\\) has a cappable degree, and (iii) \\(W_{f(e)} \\nleq_T\\emptyset\\) unless \\(W_e\\leq_T \\emptyset\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570019$1231E5FC-E4EE-4C1B-A608-18EF04A970D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570019$9F497E3E-5C25-415C-A8B3-919FFA91D570","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b3ca886173fb02d7421837330a00c513e02be17","datavalue":{"value":"1471394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570019$A234D7CD-35B3-4D6C-9BD3-7E6E8D33E842","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74e07bbf130adf319eaaf71c937ccbb3275dc7d7","datavalue":{"value":"computably enumerable degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570019$C837A4CE-4877-4647-A721-D1FEC5CF4A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc900dab559e1fa8939450588e6701b8b7a60201","datavalue":{"value":"cappable degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570019$1281CA8C-E612-462F-9EEF-A773F25C31A1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5e24e3d2df5646e21ff56a79447b809d130b71fc","datavalue":{"value":"Q123150227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570019$4B659560-28FC-434E-A49D-8FC81730726E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f046327fd5235814d48f026c157401940e2b238","datavalue":{"value":{"entity-type":"item","numeric-id":1862887,"id":"Q1862887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570019$13B33B58-B56C-4DB7-941B-38D7B03B7B2C","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":"Q1570019$7470A3E2-715F-41C6-A322-C51F58BA56F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f7d4be1df24fb266b69a64b67ed64c035abf7a7","datavalue":{"value":"https://doi.org/10.1007/s001530050148","type":"string"},"datatype":"url"},"type":"statement","id":"Q1570019$F75FEDAF-776A-4019-815E-B8D5C2F84945","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3105ee5db261bc0d5d69f89b8a95ae3164dbf199","datavalue":{"value":"W2024771173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570019$9CC27637-C807-4861-9A28-684881AE0ABF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffa1a4554d289845d4b1b35bf6d64ace5e5f5646","datavalue":{"value":"10.1007/S001530050148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570019$C22F687F-9A09-4E15-909F-C0DCC68C52AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94fc8a3f1e5398b4638c0ae9a5ab10694274dbb9","datavalue":{"value":{"entity-type":"item","numeric-id":1576591,"id":"Q1576591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b8142f445da6e64d40c9d1bb1775649c1b87e27","datavalue":{"value":{"amount":"+0.8160467147827148","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":"Q1570019$1C0F326F-66FC-4E5D-8A59-91E1D3AF75DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b977b30913897b4ff952e7d8b7a1c1f5096558c","datavalue":{"value":{"entity-type":"item","numeric-id":4272373,"id":"Q4272373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fdeacee9e816bcfb20b47fe7493e0bb86a06428","datavalue":{"value":{"amount":"+0.8088582754135132","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":"Q1570019$46A17606-12F9-4B7C-A9F2-9EEAE3A9A22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9421492407c46118166d2b4bcf9a287de1a35541","datavalue":{"value":{"entity-type":"item","numeric-id":3128477,"id":"Q3128477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d51b03c95ed81f5c957c7c4e35da7730d9f26355","datavalue":{"value":{"amount":"+0.8071565628051758","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":"Q1570019$4E197AFF-91B6-4B34-B329-85B9D320F07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5e8b77d8fe007f5c30b922f4d47496a25975b15","datavalue":{"value":{"entity-type":"item","numeric-id":1428038,"id":"Q1428038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2aba0a784fddae47026a3feee6952bf7df94ddc","datavalue":{"value":{"amount":"+0.8029183745384216","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":"Q1570019$3D78F802-4CC8-4A5F-A9B9-2CFA2329BA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5fb25f2c82286178a4d5ad5bb2914760b68b3b3","datavalue":{"value":{"entity-type":"item","numeric-id":4459600,"id":"Q4459600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa33fdd875904a9c519abcc0508749b3503b2b28","datavalue":{"value":{"amount":"+0.8025452494621277","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":"Q1570019$138D0E07-319E-487C-B9AA-E8539133360B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a conjecture of Lempp","badges":[]}}}}}