{"entities":{"Q2564047":{"pageid":2574790,"ns":120,"title":"Item:Q2564047","lastrevid":73797933,"modified":"2026-04-14T17:17:34Z","type":"item","id":"Q2564047","labels":{"en":{"language":"en","value":"A non-splitting theorem for d.r.e. sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 961246"}},"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":"Q2564047$87F9FBD8-71C1-4F7E-B9EA-790F5227B0C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d5c9582f43cbb290bfd4d6523f19618149aeb1b","datavalue":{"value":{"text":"A non-splitting theorem for d.r.e. sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2564047$483B4E92-E59D-43D9-BEFF-F8B1E1E19717","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2cd3299adc4b8c7a94c59dfa7169b9d1ae90ce70","datavalue":{"value":"0866.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2564047$E18E0209-C0B1-495A-9294-38DD7C6E2C58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7262840f186b4ef6f649275017c20435490de251","datavalue":{"value":"10.1016/0168-0072(95)00070-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2564047$16AEB3E9-B14F-4E32-AE5C-0FD22040210E","rank":"normal"}],"P16":[{"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":"Q2564047$9936D6C3-014C-4A2B-A526-DBC01E517ABD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2564047$1E81BB9A-DF0C-4F69-A66A-E8EA201BC38D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c6111765f5833dcec4f3a9a00318c870f5ed040","datavalue":{"value":{"time":"+1997-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2564047$BA8C73AA-EF3B-4E88-AED5-B2D4E48825D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2f63c0765697d4e0f1eac6f0a93b1d1d9539af3","datavalue":{"value":"http://summit.sfu.ca/item/4491","type":"string"},"datatype":"url"},"type":"statement","id":"Q2564047$ACD06C14-B39B-42C2-9C2D-39EB33D9B048","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b830dd588bb68aefaf4281dd844eb570d16393d9","datavalue":{"value":"A set is called d.r.e. if it is a difference of two recursively enumerable sets. Sacks showed that for each nonrecursive r.e. set \\(A\\) there are disjoint r.e. sets \\(B\\), \\(C\\) which cover \\(A\\) such that \\(A\\) is recursive in neither \\(A\\cap B\\) nor \\(A\\cap C\\). In this paper the author constructs a counterexample which shows that Sacks' theorem is not a general true when \\(A\\) is d.r.e. rather than r.e. More precisely the following is proved:    Theorem. There exists a properly d.r.e. set \\(D\\) such that for all sets \\(A_0\\), \\(A_1\\):  \\[ D\\subseteq A_0\\cup A_1 \\Rightarrow [D\\leq_TA_0 \\cap D\\vee D\\leq_TA_1 \\cap D]. \\]  The proof of this theorem is long and complicated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2564047$CDE809B5-B178-4646-A85A-29918FE7C706","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2564047$9F8DD5B7-A1EC-4EE1-9D2A-C5B02C698F20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"523c0370aeb6763614163691d2deed1f1df3b4b7","datavalue":{"value":"961246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2564047$202D5211-6091-4B31-8931-1F4CA4A843C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d00b237afbcd7131accdc97c245814fb0a7c94c","datavalue":{"value":"difference recursively enumerable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2564047$799DF4BE-6425-44D8-A5D3-87EA7DA6F669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36bb7dd792a4b8fc424258fcdeaec2312084660b","datavalue":{"value":"\\(T\\)-degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2564047$199E9532-C042-4A33-8D71-C2DE02FD6D23","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":"Q2564047$E7642BB1-6206-4F72-B460-863D45612624","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":"Q2564047$2434F9E9-F8AE-49D6-AAA6-0D63D5F7C1E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f25dd9eabd36e08abca112aeb6789930b7c0359","datavalue":{"value":"W2037833610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2564047$B44CBDD5-DB2D-4587-9FA8-3A3B0F8A940A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7afbc406dadd562432f9bda7ca725b971098774a","datavalue":{"value":{"entity-type":"item","numeric-id":3993783,"id":"Q3993783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2564047$88A0F59C-A2EA-43CF-981D-359677A82A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4179161f919db9dcbcd98ef0db5617ced5fd807","datavalue":{"value":{"entity-type":"item","numeric-id":1179531,"id":"Q1179531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2564047$DBC8321C-6979-48FC-B101-D6729669C649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"019292ebad298a3bcd5b15c305a286eb8df6a56a","datavalue":{"value":{"entity-type":"item","numeric-id":2707068,"id":"Q2707068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2564047$A61405DC-456B-4515-91A1-1128817E6978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c3d286a6caba924de0c09d51736d23a60ff1b0","datavalue":{"value":{"entity-type":"item","numeric-id":4281250,"id":"Q4281250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2564047$51007CC7-8638-4592-94A0-6B0DB81468E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"944cc543495ec883d4fff588e35bcb43c0150adf","datavalue":{"value":{"entity-type":"item","numeric-id":1182487,"id":"Q1182487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2564047$9B9A9D65-7AA5-4DAF-A0CA-AB6360867D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e7920cdf388a5ed50e563163b97bc3726cc303c","datavalue":{"value":{"entity-type":"item","numeric-id":582288,"id":"Q582288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2564047$E4B9D83F-6639-415E-829C-7C7C5CD07B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c929ecfa8f2db0dd69585ea5ecd0d74b52ed4269","datavalue":{"value":{"entity-type":"item","numeric-id":3764144,"id":"Q3764144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2564047$3C302D28-FC81-4EDD-8A86-73F7159A3808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654f717b930cbace7136731cda8419f1178f1747","datavalue":{"value":{"entity-type":"item","numeric-id":4128552,"id":"Q4128552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2564047$E54BA217-B9E9-4CA7-8B84-B206F20D1EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a047dee1272736cabef2f834463f12f36fa033d","datavalue":{"value":{"entity-type":"item","numeric-id":3962986,"id":"Q3962986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2564047$6FFA641E-4EA8-4922-BC47-DEB3305B70E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65665e605ac18273bc2dabe9673047fbfc917b85","datavalue":{"value":{"entity-type":"item","numeric-id":1075320,"id":"Q1075320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2564047$E22018DF-E6C4-4B6B-90C4-6425B35E0A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15736a1fabe53e34c9adbd1c3f77269c133e2124","datavalue":{"value":{"entity-type":"item","numeric-id":4040892,"id":"Q4040892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2564047$96CDFD9F-C167-45BB-8DDA-9A61435FDC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2da7ba4dd214c644b2238870e4e4aa863398d17","datavalue":{"value":{"entity-type":"item","numeric-id":2564047,"id":"Q2564047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2564047$03D7396D-B8E9-4D61-B74C-80FADBB9CE18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a898ab257e3e633f9171647dce31ac316a7b1ba","datavalue":{"value":{"entity-type":"item","numeric-id":3993783,"id":"Q3993783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3490d38e3a44ad39f648619361b715ccc6a466bf","datavalue":{"value":{"amount":"+0.7884598970413208","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":"Q2564047$3D964CDC-B78B-43AE-AA55-208479802C2A","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":"4f67354072f57f2a568446349f61a89bd3ad074a","datavalue":{"value":{"amount":"+0.7799583077430725","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":"Q2564047$98D7C22C-1BDE-49B0-8729-1E09A5544D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df297b84ef09d993f57ec5950187ad8450bda593","datavalue":{"value":{"entity-type":"item","numeric-id":1897906,"id":"Q1897906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e46d55260d8135aea3050ed4f727fd2ae57ab87f","datavalue":{"value":{"amount":"+0.7794049978256226","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":"Q2564047$4C370CC3-B00A-4F16-9C64-663F33C0697D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A non-splitting theorem for d.r.e. sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_non-splitting_theorem_for_d.r.e._sets"}}}}}