{"entities":{"Q1576591":{"pageid":1587331,"ns":120,"title":"Item:Q1576591","lastrevid":73746354,"modified":"2026-04-14T17:07:36Z","type":"item","id":"Q1576591","labels":{"en":{"language":"en","value":"Bounding cappable degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1491681"}},"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":"Q1576591$ABA860A5-B3B2-4D50-B6AA-A471653B5D83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"901f12b38fa71fa71cfefd166b355b430e3c0c3a","datavalue":{"value":{"text":"Bounding cappable degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1576591$5D4C9FD3-F478-4B18-B8EC-573DB23781FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c02950546e9b97b49a5eef289d3030ea3d5c4cf","datavalue":{"value":"0974.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576591$330D7D7D-5034-4531-90A9-9085686DFE20","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":"Q1576591$EE49B0C8-C177-420B-95EA-8052497E422E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d72f604f7985985f27aa01bc9ceb3f36d76ba5e","datavalue":{"value":{"time":"+2001-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1576591$2074AE00-8D82-47E5-BFE3-3B99BDA2FC0E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1b29baa4217de974a5aa604b7143db752b15a44c","datavalue":{"value":"The paper deals with the Turing degrees of the recursively (= computably) enumerable degrees. Let \\(\\mathbf 0\\) be the degree of the recursive sets and let \\(\\mathbf a\\), \\(\\mathbf b\\) and \\(\\mathbf c\\) range over the Turing degrees of recursively enumerable sets. A degree \\(\\mathbf a\\) is called cappable if there is a degree \\(\\mathbf b\\) such that \\({\\mathbf 0} < {\\mathbf a}\\), \\({\\mathbf 0} < {\\mathbf b}\\) and \\(\\mathbf 0\\) is the only degree \\(\\mathbf c\\) satisfying both, \\({\\mathbf c} < {\\mathbf a}\\) and \\({\\mathbf c} < {\\mathbf b}\\). The main result of the paper is that there are degrees \\(\\mathbf a\\) and \\(\\mathbf b\\) such that \\(\\mathbf b\\) is strictly below \\(\\mathbf a\\) and bounds all cappable degrees below \\(\\mathbf a\\). More precisely, this means that (a) \\({\\mathbf 0} < {\\mathbf b} < {\\mathbf a}\\); (b) some degree \\({\\mathbf c} < {\\mathbf a}\\) is cappable; (c) every cappable degree \\({\\mathbf c} < {\\mathbf a}\\) satisfies \\({\\mathbf c} < {\\mathbf b}\\); (d) \\(\\mathbf a\\) and \\(\\mathbf b\\) are not cappable. Condition (b) is omitted in the paper since it holds whenever the degree \\(\\mathbf a\\) is not recursive [\\textit{R. I. Soare}, Recursively enumerable sets and degrees, Springer-Verlag, Berlin (1987; Zbl 0667.03030 and Zbl 0623.03042), Exercise XIII.2.6].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576591$9FE8025D-E177-4B02-B1CE-B74C1B7A02E2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4f5d929e6d799449b9b757c7574900483de9ffa4","datavalue":{"value":{"entity-type":"item","numeric-id":324251,"id":"Q324251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576591$CA7FD44D-1027-402E-9B6A-7AA96EFFAE8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576591$567389DD-6D40-4E42-9FFC-92E7166AB322","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ba092e498d75cfa62cf12237612c065e0f55e17","datavalue":{"value":"1491681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576591$3C557847-27AC-49A7-9015-57CAA9166B49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50019eaff869d05eee5ca71292ad7aeb5c989ac2","datavalue":{"value":"recursively enumerable degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576591$81CB0975-A6B7-4AC6-9711-4A574E100279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db92fda0e98c648e85dcd602cf78f4a0d71204e","datavalue":{"value":"cappable degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576591$F8E21FAE-DFC5-4458-BC58-9ED2F296A741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eecd69a6d6f7ca8849068cc67a56effa10cb344","datavalue":{"value":"minimal pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576591$C8E75BF2-EACB-4893-9CEF-67EADC2AB916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca8747e792c9ec070a2b651f7745015b1625753b","datavalue":{"value":"Turing reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576591$D50FB937-E0CF-484F-A9F1-7B2617AEEE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91fe4280e2e06a0a064865358db087007d3f302b","datavalue":{"value":"Turing degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576591$FF728836-B32A-4B38-AB8C-4A279096F18C","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":"Q1576591$02592186-35A3-412E-B0F5-D070216921BD","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":"Q1576591$92555603-8454-4AB3-A8EB-AD6FA0B6B649","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"943c04c4503ba37fd6870199059ad66f4f83ee83","datavalue":{"value":"https://doi.org/10.1007/s001530050152","type":"string"},"datatype":"url"},"type":"statement","id":"Q1576591$599AD5DF-D654-4BC8-95F7-47B4345054CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8fbf570985831216bfbd4ff89ee7d56b053755ce","datavalue":{"value":"W2064745568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576591$EC4166A3-B808-4306-A4EC-59301EEB0F59","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67a50f816a042c25f8ba3b66d016e63661ebe7fe","datavalue":{"value":"10.1007/S001530050152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576591$D461E88C-84E1-4F66-92E0-D85D205A6C42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96804ea9c71338cdeb4f425374b4e594f3c60cf1","datavalue":{"value":{"entity-type":"item","numeric-id":3028997,"id":"Q3028997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91a162b26fb25b0e229304061a98dd3f62dab9bd","datavalue":{"value":{"amount":"+0.847609281539917","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":"Q1576591$316D43C6-9436-4499-8CEF-1E5BDA3D583A","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":"68c4da19c915c9bcb0e8802efbc47458c1cc3499","datavalue":{"value":{"amount":"+0.84650719165802","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":"Q1576591$5F087FA5-37B9-4C8D-A461-00FD5E903B5A","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":"66fc6de69791f7ec951601871094fe8e3e379dcb","datavalue":{"value":{"amount":"+0.8337062001228333","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":"Q1576591$E954BF72-F194-4C12-A0CE-1D3D6C2D36CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounding cappable degrees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bounding_cappable_degrees"}}}}}