{"entities":{"Q1879005":{"pageid":1889747,"ns":120,"title":"Item:Q1879005","lastrevid":71631114,"modified":"2026-04-13T23:31:17Z","type":"item","id":"Q1879005","labels":{"en":{"language":"en","value":"The computably enumerable degrees are locally non-cappable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2101705"}},"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":"Q1879005$2C7FA0B3-BD46-4C90-BB7D-6D47EEEC0B3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f75dd6fb0497a3393e7168f4d1e650f4f69a808","datavalue":{"value":{"text":"The computably enumerable degrees are locally non-cappable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1879005$1FD50A8A-D39A-4370-BD01-C357619CF453","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad7c11de1f03a2be8541ae291603225d317c2005","datavalue":{"value":"1059.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879005$83A0B31A-B98A-428E-9411-D38144CFCD74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c30ee4644b43b835bfa841ef8c2e1c13209bc1b","datavalue":{"value":{"entity-type":"item","numeric-id":938228,"id":"Q938228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1879005$E0BE8067-F223-4C5A-947A-33300EE0B6B1","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":"Q1879005$B425E377-A6D9-4DB1-A660-235285E0355B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7bd962bada8b0dc37e98aacdd29c36343a02c75","datavalue":{"value":{"time":"+2004-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1879005$37F42631-D1A9-406A-A881-566D546A4786","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c425e433ca2fbaa8e915dbe480bf61e377581392","datavalue":{"value":"The bulk of this paper is devoted to a proof that every non-computable incomplete computably enumerable degree is locally non-cappable. Seetapun proved this in his thesis, but the new proof given here is a priority argument patterned after \\textit{R. Soare}'s link/list proof of the Lachlan non-bounding theorem [Recursively enumerable sets and degrees, Berlin: Springer-Verlag (1987; Zbl 0667.03030)]. An immediate corollary is that there is no maximal non-bounding computably enumerable degree.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1879005$B30D81CF-7888-4C94-9A4B-AF47D951A4FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879005$7E005A04-279F-4EF6-9BD9-077FE84C2E99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9751c9f0a6f59414e7c07b42587b6aede085f1ec","datavalue":{"value":"2101705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879005$333C7757-EF31-4206-B229-A8C1BECC0112","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3081325017f6a57a42ac831ee4f3088c1cf6d7f4","datavalue":{"value":"computably enumerable degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1879005$B9CE9C69-DF4A-4EAF-ACB5-3C8E6F0BFCAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f28507e95a7aac5fda750b2cbb31be37a1ef771","datavalue":{"value":"maximal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1879005$D9CA1580-9607-4C69-B280-3C242D4B1D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a269a906a382df5bf59cd770458251062d447919","datavalue":{"value":"non-bounding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1879005$8D8C0FCD-1866-478B-B515-13D61EF710C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e054cc3181f0a453eabc24d5ba0575f469f6a250","datavalue":{"value":"cappable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1879005$5733C38D-B801-4532-BA58-2E73158E89C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc01bed9758d12aee66b217d673c388d67f73add","datavalue":{"value":"link/list","type":"string"},"datatype":"string"},"type":"statement","id":"Q1879005$CC526BD4-6B20-4024-B08F-93ED8F17043C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c7a0f70c0b7cc2161585e985e86183cb70d3ef","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1879005$56C21CE9-D801-45E0-B8F2-A1AE21B46F65","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":"Q1879005$17064402-F4CF-4276-8598-4631557CB67B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48e380f4ecee5b44b66926bc3f84e20deb1d38af","datavalue":{"value":"https://doi.org/10.1007/s00153-003-0187-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1879005$719D1A13-EE87-49E0-90F3-3D2B4893DCFF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72aaf3b4f05328ec5447cac696c14b90291146ee","datavalue":{"value":"W2030987112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879005$D119A378-2C6B-4AB8-B699-3627AD54F30C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b997f764a169b28855a7c1b42349e4ac4095344","datavalue":{"value":"10.1007/S00153-003-0187-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879005$CFEF49ED-2D48-4F12-9D0F-92CB2D049CC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15229fa3f764401ccea21810ef325d32c2221921","datavalue":{"value":{"entity-type":"item","numeric-id":2904408,"id":"Q2904408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e25353c2f191f60ab6aa2ce5872ec17fae368b","datavalue":{"value":{"amount":"+0.8318096995353699","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":"Q1879005$7D742428-DD6E-4185-82CB-734237289751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3bcd9e773343d2cb0720d3d349d3c781582791f","datavalue":{"value":{"entity-type":"item","numeric-id":1944327,"id":"Q1944327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8c3f5b8e29c764c6fa20a605a56dad2ae25ec51","datavalue":{"value":{"amount":"+0.8281092643737793","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":"Q1879005$74082B45-D17C-4EA1-9774-0CAD5391BA50","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":"52af3ccf10e2b90d0c4ea99503a684f1bd28c42d","datavalue":{"value":{"amount":"+0.8113276958465576","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":"Q1879005$6FED04F4-B95A-49C7-A8DE-6CE6762E334E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bd45470e58b2e448e7b4d9871c325a5f3175b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1956608,"id":"Q1956608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f58af4948208623107794f26332ed37c7c5e40d","datavalue":{"value":{"amount":"+0.8095165491104126","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":"Q1879005$A21BBD91-DD09-4082-BDAD-B3A9EC8C8171","rank":"normal"},{"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":"925995792f456081811770c2fc2cdb6b82d701f6","datavalue":{"value":{"amount":"+0.7996679544448853","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":"Q1879005$2CA87027-673F-4677-81F5-EEB937328A3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The computably enumerable degrees are locally non-cappable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_computably_enumerable_degrees_are_locally_non-cappable"}}}}}