{"entities":{"Q1972524":{"pageid":1983266,"ns":120,"title":"Item:Q1972524","lastrevid":46905966,"modified":"2025-12-25T20:10:06Z","type":"item","id":"Q1972524","labels":{"en":{"language":"en","value":"Some reducibilities and splittings of recursively enumerable sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1429630"}},"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":"Q1972524$007EAE1E-4767-496B-AF4A-FD117B6F01BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7edda85a38d0dddfd4dd3c9aa16fc130d9fc3b95","datavalue":{"value":{"text":"Some reducibilities and splittings of recursively enumerable sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1972524$AEBB6E46-2C7B-4839-B860-C750B9CD840A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45ee542a279326c0362f98c737a96e64788fbe4d","datavalue":{"value":"0955.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972524$F21CAFD3-CA4C-4A52-93DC-15C62E038DDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54277ad1fb68894a62b4463e552d527ab7297b87","datavalue":{"value":"10.1007/BF02674875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972524$1A5A0E95-A0D4-4403-AF00-174F38293A77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972524$E468E12B-5034-438A-AFE9-8B387B8D0B5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31dc98a3522cea06def52b76cde8003aebdf2e71","datavalue":{"value":{"time":"+2000-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1972524$EAB59233-D632-489E-A9D9-F56CAEBC8562","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7edb4c32d92587cc0c58e917e34cfb7bd831c854","datavalue":{"value":"Let \\(r\\) be a reducibility. A computably enumerable (c.e.) set A has a strong \\(r\\)-universal property (s.u.p) if for all c.e. sets \\(B_0\\), \\(B_1\\), if \\(A\\equiv_r B_0\\oplus B_1\\) then there exist disjoint c.e. sets \\(A_0\\), \\(A_1\\) such that \\(A=A_0\\cup A_1\\) and \\(A_0\\equiv_r B_0\\), \\(A_1\\equiv_r B_1\\). This property was studied previously for Turing reducibility by Ambos-Spies and Fejer. The author proves that no c.e. semirecursive set possesses s.u.p. relatively to \\(Q\\)-reducibility. A c.e. set \\(A\\) has a universal \\(R-r\\) reduction property if for any c.e. \\(B\\), if \\(B\\leq_R A\\), then \\(B\\leq_r A\\). Theorem 2 asserts that every non-zero contiguous \\(T\\)-degree contains a c.e. set possessing the \\(T-Q\\) universal reduction property but not \\(T-Q\\) maximal. Some other results concerning semirecursive and speedable c.e. sets are proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972524$154DA825-749A-4DC0-9BC4-E7A1B78404D0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e1b8876fc0e708a0055b0cdba0e0185bc5d38e76","datavalue":{"value":{"entity-type":"item","numeric-id":465141,"id":"Q465141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972524$D3CB12E9-04AB-42AF-87DD-F1683E5C1420","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972524$C4B80301-4EEF-4DBE-BD45-905C8DBC8507","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"168ede9b8887107cde7d65b762dd66d846cab71e","datavalue":{"value":"1429630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972524$9B7B2D8A-C691-4B15-A2F5-648F25750077","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eca56c2f31e4a8bda285541b625d9f9c59b1256","datavalue":{"value":"splittings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972524$AD9A3B66-8635-4796-9290-8FDDB5EF4EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bc1cc50e8d4b517f651118878724606a4faacd","datavalue":{"value":"reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972524$0DB84A35-22C1-42B1-AEE5-DA6CCD2E8886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74e07bbf130adf319eaaf71c937ccbb3275dc7d7","datavalue":{"value":"computably enumerable degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972524$49855C8D-9CEB-4C17-818D-55BF8DA001AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b01dc987727eb31205efc404382de596266c9919","datavalue":{"value":"universal splitting property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972524$F2FD9240-931A-4D91-89CB-938C636ED1F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"760aea6a29168acdca880977efcbbf48e149fc50","datavalue":{"value":{"entity-type":"item","numeric-id":535144,"id":"Q535144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972524$A90FBD9F-9916-424A-8694-F4193577F6C2","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":"Q1972524$A1A1D473-19B2-4F76-98E3-222494ACB1BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f0a989de245c371345449f023c7d8615a962974","datavalue":{"value":{"entity-type":"item","numeric-id":3712326,"id":"Q3712326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972524$A72AD072-0B3D-4739-A0BF-2B20864E006C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a175579fc695d89b23ac6aa35c1bc5ba0580a17","datavalue":{"value":{"entity-type":"item","numeric-id":3695271,"id":"Q3695271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972524$BECC7E97-A586-4107-BC0B-F7E183EF874F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a406cf8fec229d180fb383a0f89a4999a1fe30f8","datavalue":{"value":{"entity-type":"item","numeric-id":3826534,"id":"Q3826534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972524$DB196E85-4AA5-44DA-82AF-7B422F37ACF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ff81edee88ee8b30989e6cce4ee4065e97050cf","datavalue":{"value":{"entity-type":"item","numeric-id":1186287,"id":"Q1186287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972524$0D31F4C5-6280-4982-B721-9194FD83B335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972524$9F729BE2-D5AF-4733-A3E6-86204586C81C","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":"Q1972524$BF6AB784-16F3-4E26-9979-6CDA6B2C0711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a24ee82d93fa4f30c097fb30add78fa236a136ac","datavalue":{"value":{"entity-type":"item","numeric-id":3778736,"id":"Q3778736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972524$78DC6322-B17B-4A3E-8C26-43F33DB22262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbef6bbbe60bfce0721481461ecfc4b8834e00f9","datavalue":{"value":{"entity-type":"item","numeric-id":5595155,"id":"Q5595155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972524$49C3FCCC-79CF-4993-A904-69618ECDD2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e24bf59e38036f09fa3feb656c1d94032cd520b","datavalue":{"value":{"entity-type":"item","numeric-id":4182728,"id":"Q4182728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972524$BE82FF0F-F474-4AF9-AC2F-058FFF8CCC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3b834ce09e1f5c4a225d246b941933bcb0d414d","datavalue":{"value":{"entity-type":"item","numeric-id":3794171,"id":"Q3794171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972524$542AE2E3-C104-46DF-BF92-681F981C4D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce38d666d23d39801802e7eff3732bc0ae06ca41","datavalue":{"value":{"entity-type":"item","numeric-id":2395863,"id":"Q2395863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972524$3C282AF5-DA64-4E73-800C-EE80B6C7D93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc38cd1856b106126178ec815373c61c393cc70","datavalue":{"value":{"entity-type":"item","numeric-id":3199406,"id":"Q3199406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972524$C753E856-2054-43D0-9AE7-1BE2FF76174B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8163a5081f8b0b291e678042b7038ef6a2c37a8a","datavalue":{"value":{"entity-type":"item","numeric-id":4101804,"id":"Q4101804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972524$B3CD9AD0-5BB1-4486-B6A6-B6A5662F2EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cce90dcb7632764f792130c679b47a5f80ad520","datavalue":{"value":{"entity-type":"item","numeric-id":5650676,"id":"Q5650676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972524$4B42C529-2474-4E59-8C9D-4E170C2212CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f8a42898a2e2d2b7b708f6a7ab5989a8a6d58c4","datavalue":{"value":"https://doi.org/10.1007/bf02674875","type":"string"},"datatype":"url"},"type":"statement","id":"Q1972524$5E30A0EF-25EF-43F0-A164-07016A80ED9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01586c5dde4ed3bbd1d95126185bb98e7635fa5b","datavalue":{"value":"W2113378332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972524$158460FE-A913-4C70-8C71-0E9E9BA3DE02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6de305719f48a57cca9c64c2174c1e9c54b52467","datavalue":{"value":{"entity-type":"item","numeric-id":3826534,"id":"Q3826534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e5270209e5582983361a7356c039ea46ce1c583","datavalue":{"value":{"amount":"+0.849702775478363","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":"Q1972524$E78C3108-E29A-42B9-AE4A-649178CC7F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"159a02d26f9a8eaf15a44c6a75b9f56f5f071f34","datavalue":{"value":{"entity-type":"item","numeric-id":3712326,"id":"Q3712326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cce63c2c2716c07485b86eeab9415074bd26b302","datavalue":{"value":{"amount":"+0.8385011553764343","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":"Q1972524$66B91FC7-2E81-45A9-9406-02D4E77C737E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7427f365c890e6d9778fb0ac0bcd210163e8191","datavalue":{"value":{"entity-type":"item","numeric-id":3695271,"id":"Q3695271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4ecd958a01d1f196985725a45bd541ab46b2238","datavalue":{"value":{"amount":"+0.8368246555328369","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":"Q1972524$6C8ED20B-8821-42A7-A1B2-D7ABCB3A7B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47b06e15cf76586ad6de43a65cc40670b5b97a6","datavalue":{"value":{"entity-type":"item","numeric-id":3765754,"id":"Q3765754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7a635da4aa1a67df08b56ae5723d51acfa97dff","datavalue":{"value":{"amount":"+0.8118651509284973","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":"Q1972524$204D16BF-5B5A-4656-8288-19FADC1C0ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84e4ba8fbbc3b7f4874d7c67421a04d7727a1cd4","datavalue":{"value":{"entity-type":"item","numeric-id":1295419,"id":"Q1295419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb729ae787fa254ed8496abbccababcc39c6c427","datavalue":{"value":{"amount":"+0.8104949593544006","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":"Q1972524$F975A69B-8E0C-4383-A71C-8F2830025DE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1972524","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1972524"}}}}}