{"entities":{"Q1902338":{"pageid":1913080,"ns":120,"title":"Item:Q1902338","lastrevid":69241482,"modified":"2026-04-13T05:41:53Z","type":"item","id":"Q1902338","labels":{"en":{"language":"en","value":"The discontinuity of splitting in the recursively enumerable degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 818446"}},"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":"Q1902338$F18EDFD0-E7B0-4103-BA7F-67682BC28796","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3186d0438b14bbb6cc86d30e206e68e121c03d66","datavalue":{"value":{"text":"The discontinuity of splitting in the recursively enumerable degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1902338$0478AA27-D482-4AC0-9193-0A7E24F5074B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3780af5b134187d36c1a1306cdc7b412a2b97b17","datavalue":{"value":"0841.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1902338$CEAD2EC5-6566-46E0-B07C-564ABBCA9CFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bed97408f17dd3b55bdc0d9e6ae0482c4932f7b","datavalue":{"value":"10.1007/BF01469381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1902338$C3070F26-5C18-49E6-86ED-3F46E53CB3F3","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":"Q1902338$3E6ED888-55CD-405F-AC73-EE45B2298FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"577f6ab9924de158e4845cfbe083f81a8fa259b2","datavalue":{"value":{"entity-type":"item","numeric-id":242616,"id":"Q242616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902338$0AAF0682-A45E-4809-9D20-D6507A4AA831","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":"Q1902338$206A8B70-0EA5-43CF-B9A4-935D490A221B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16e7f627e6e9c247fb919d03f47eda62eaa793e8","datavalue":{"value":{"time":"+1996-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1902338$8E2D093D-A31E-4874-A442-73640EED07AB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ab1969fe3b8dd01d4fdc3431b70ff3edf740e55e","datavalue":{"value":"We say: i) \\({\\mathbf b}> \\mathbf{0}\\) is noncuppable relative to \\({\\mathbf a}\\) above \\({\\mathbf c}\\) if \\((\\forall {\\mathbf w}\\geq {\\mathbf c}) [{\\mathbf a}\\leq {\\mathbf b} \\vee {\\mathbf w} \\Rightarrow {\\mathbf a}\\leq {\\mathbf w}]\\). ii) \\({\\mathbf a}\\), \\({\\mathbf b}\\) are relatively noncuppable above \\({\\mathbf c}\\) if \\({\\mathbf a}\\), \\({\\mathbf b}\\) are mutually noncuppable relative to each other above \\({\\mathbf c}\\). iii) \\({\\mathbf a}\\), \\({\\mathbf b}\\) are relatively noncuppable if \\({\\mathbf a}\\), \\({\\mathbf b}\\) are relatively noncuppable above \\textbf{0}.    In this paper the authors prove the following:    Theorem 2.2. Given r.e. degrees \\({\\mathbf c}\\), \\({\\mathbf b}_0\\) and \\({\\mathbf b}_1\\) such that \\({\\mathbf c}<{\\mathbf b}_i\\) for all \\(i<2\\), there exist \\({\\mathbf a}_0\\), \\({\\mathbf a}_1\\) such that \\({\\mathbf a}_0\\), \\({\\mathbf a}_1\\) are relatively noncuppable above \\({\\mathbf c}\\) and \\({\\mathbf c}<{\\mathbf a}_i< {\\mathbf b}_i\\) for all \\(i<2\\).    Theorem 2.4. There exists a relatively noncuppable pair \\({\\mathbf a}_0\\), \\({\\mathbf a}_1\\) such that \\({\\mathbf a}_0\\vee {\\mathbf a}_1\\) is high. In fact, \\({\\mathbf a}_0\\), \\({\\mathbf a}_1\\) can be a minimal pair.    Some open questions are also given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1902338$11735B91-3464-4B0C-8144-A8184D20935A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1902338$AED2AC81-3AC7-4DEE-AE2F-626C89378B71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0276c36a601ec0b941d8127bd19badc700c54845","datavalue":{"value":"818446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1902338$4B7CE633-7369-44FE-BEAC-CEC756977BE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50019eaff869d05eee5ca71292ad7aeb5c989ac2","datavalue":{"value":"recursively enumerable degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1902338$0C21256F-FAA9-4844-90A4-0A3EC8ED15EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b2738c7de568fa4f43ec7a65a72187db112c5f7","datavalue":{"value":"relatively noncuppable degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1902338$AB0DAF44-6D48-471C-87F7-F66BB899FCBE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f1c7d6689d0b52438bf5455c154225ce1608d2b7","datavalue":{"value":{"entity-type":"item","numeric-id":535144,"id":"Q535144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902338$40721E3C-0090-45AA-95AE-5A0D22ECC173","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":"Q1902338$368CF430-0159-4676-A798-FCC766458899","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee5bfd52e3a60b0c53a7e771061bbdf476e4ac9","datavalue":{"value":{"entity-type":"item","numeric-id":4304089,"id":"Q4304089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902338$1C406AD4-04F1-407E-A82A-A773C243A53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdeec5fac80ea9de07a93cac2a5a74f12e5c13b8","datavalue":{"value":{"entity-type":"item","numeric-id":1314642,"id":"Q1314642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902338$52248950-A65C-4A23-9A79-2F1EF025FA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ad8e800dca90055c7ab7841ac69c777c0f82200","datavalue":{"value":{"entity-type":"item","numeric-id":688787,"id":"Q688787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902338$04C5D38F-A96D-450D-9CB1-60F2C43D49B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46821f5965ae91218a99794815cff9f32d71a683","datavalue":{"value":{"entity-type":"item","numeric-id":4336988,"id":"Q4336988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902338$5D496636-483B-4F69-ADB7-1B6F28140E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55180f2f8eb677cb774c65640829282612935f44","datavalue":{"value":{"entity-type":"item","numeric-id":4694275,"id":"Q4694275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902338$FAB80659-3E7A-4C86-8079-09B3BF0651FF","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":"Q1902338$C841CCB0-B130-4306-B0DC-BCC9BBDFDE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78c89d07d1c6bfe76aba7312741468eaa9513810","datavalue":{"value":{"entity-type":"item","numeric-id":4283479,"id":"Q4283479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902338$D113652D-097B-40EC-907D-2901C8543D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89001f0d95d8af2283c3eaac6df53bb8b88854c1","datavalue":{"value":{"entity-type":"item","numeric-id":2626204,"id":"Q2626204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902338$331E6E22-7BE2-42AA-A1CB-5B4219FC8821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43a395c4c5933b613b35995fb962c5b0cfa5341e","datavalue":{"value":{"entity-type":"item","numeric-id":3676135,"id":"Q3676135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902338$4A3BC54F-087D-47FD-B91D-C50DBA1DB1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8827bb25975fd126f345bc5a9b6c2a45f53f8adf","datavalue":{"value":{"entity-type":"item","numeric-id":5519131,"id":"Q5519131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902338$DDF73B0F-F3DF-4B87-8597-6BA487106F2E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbdb66b78ee67ed76de4b88585931d2124fb3781","datavalue":{"value":{"entity-type":"item","numeric-id":5425433,"id":"Q5425433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ceecc68d339d3494ccf8c5f7017e47c8767fea1","datavalue":{"value":{"amount":"+0.849567711353302","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":"Q1902338$35C99D9B-DAB8-49BF-9A63-E1A98672E237","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":"ce8b0c0ce3c68e333e84ca4c7578d9409241f2fc","datavalue":{"value":{"amount":"+0.8401747345924377","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":"Q1902338$82017E65-8C42-434E-B418-2B928BE2DF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cef52fec64cdc789d4a854aaa8be0ecacc1ce596","datavalue":{"value":{"entity-type":"item","numeric-id":4487561,"id":"Q4487561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce8b0c0ce3c68e333e84ca4c7578d9409241f2fc","datavalue":{"value":{"amount":"+0.8401747345924377","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":"Q1902338$F6BDFD00-BD42-44F4-9C3F-FB1954B68DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3838de6cf638655a8087f56f3d2be53e75b362c","datavalue":{"value":{"entity-type":"item","numeric-id":4713085,"id":"Q4713085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ca0afe669f6ecc7f98b8fea702cd52c50b0ef7","datavalue":{"value":{"amount":"+0.8399509191513062","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":"Q1902338$215BD74A-8974-4B34-8F0D-04DADC0970B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd874e883cdcbd5d6e75182ce6749dcc6e0523d2","datavalue":{"value":{"entity-type":"item","numeric-id":3325709,"id":"Q3325709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72a3321f2c28121ea829e9273cc81c06ce4159af","datavalue":{"value":{"amount":"+0.8364049792289734","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":"Q1902338$74D744F0-DD43-4526-9CAE-F0DAFCBEE613","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The discontinuity of splitting in the recursively enumerable degrees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_discontinuity_of_splitting_in_the_recursively_enumerable_degrees"}}}}}