{"entities":{"Q1032639":{"pageid":1034487,"ns":120,"title":"Item:Q1032639","lastrevid":66589806,"modified":"2026-04-12T11:08:33Z","type":"item","id":"Q1032639","labels":{"en":{"language":"en","value":"A non-splitting theorem in the enumeration degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5620645"}},"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":"Q1032639$19963650-73F1-45DE-8C40-B763C9A49495","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6c75dfe716947b01670625fd96951acf16ff47e","datavalue":{"value":{"text":"A non-splitting theorem in the enumeration degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1032639$67AA163B-ED7C-4622-A730-9A5639DFDA18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cba794e25a51c94edad97eadc3ae167d6b893a65","datavalue":{"value":"1183.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032639$E7B32C10-E62A-4DAF-B967-608D50B80A2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"702608decc0920c233c40f165cf5db0fa81362ff","datavalue":{"value":{"entity-type":"item","numeric-id":1032638,"id":"Q1032638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032639$0035019F-E344-402D-9D26-E44415158BE0","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":"Q1032639$0AF6B637-94AF-404A-B355-A88C62E9E72F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"630340bfa00872c2b7b4672df4d7eac20447ca42","datavalue":{"value":{"time":"+2009-10-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":"Q1032639$8C61C220-32BF-4FDD-93D1-D62E619B8AA9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cc5ff5633d0503cbbd9cc445bdd25fc8bb669b0b","datavalue":{"value":"In an upper semilattice \\(\\langle D, <, \\cup ,\\rangle\\) we say that a pair of elements \\textbf{u} and \\textbf{v} form a splitting of the element \\textbf{a} if \\({\\mathbf u < \\mathbf a}\\) and \\({\\mathbf v < \\mathbf a}\\) but \\({\\mathbf u \\cup \\mathbf v = \\mathbf a.}\\) A set \\(\\mathbb{A}\\) is enumeration reducible to a set \\(\\mathbb{B}\\) if there is a c.e. set \\(\\Phi\\) such that:   \\[  {\\mathbf n \\in \\mathbb{A} \\Leftrightarrow \\exists \\mathbf u(\\langle \\mathbf n,\\mathbf u \\rangle \\in \\Phi \\, \\& \\, D_{\\mathbf u} \\subseteq \\mathbb B)}, \\]   where \\(D_{\\mathbf u}\\) denotes the finite set with canonical index \\textbf{u}.   The following statement is proved in the paper under review by adapting the non-splitting techniques from the c.e. Turing degrees to the enumeration degrees.   Theorem. There is a \\(\\Sigma_2^0\\)-enumeration degree \\(\\mathbf a< \\mathbf 0'_e\\) such that \\(\\mathbf 0'_e\\) cannot be split in the enumeration degrees above the degree \\textbf{a}.   This result is an analog of Harrington's well-known non-splitting theorem for the \\(\\Sigma_2^0\\)- enumeration degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1032639$139D6671-9C1B-47FD-99DA-C52AFFE5D0A6","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":"Q1032639$B52E6E6E-8D6F-4413-A81C-3DB0BF09B77B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032639$1349B3F8-6C25-462F-A5CD-1E37D2F8959A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032639$D1A01381-D4FF-4064-BEF4-0A024324420B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb64e50749fa1c2d5066dc0cf3f01f185eab477a","datavalue":{"value":"5620645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032639$9D11CD0D-92F5-426C-830A-8D068985BC88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f165bf28b50cacc658818bcc911ae4a36222f512","datavalue":{"value":"enumeration reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1032639$3AF7966F-75CA-431A-AA5A-BFB030DF494C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d872cc9926d566eb3967f5b4990530b3652d658","datavalue":{"value":"\\(\\Sigma_2^0\\) e-degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1032639$1177F81C-C446-4ADE-8BD1-704B40ADFD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caa0d1869bc6efd0bcc3fb36888876254b4b9b05","datavalue":{"value":"e-degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1032639$49A9ECAE-AC06-4194-9728-8606E449A12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ee7ab71df5600f44773a8a01d62f88e8dc4569c","datavalue":{"value":"non-splitting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1032639$F3822386-61B8-4191-AB8C-9BE788A2C6D5","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":"Q1032639$CAE1995B-0DB3-4BC3-9106-2B760C9D3E96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bdbf2e7fc3ae2b08b3ff6d2de2f682bff320a4f","datavalue":{"value":"https://doi.org/10.1016/j.apal.2009.01.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q1032639$F8268883-73D3-4C04-812C-0E95F02CCCAB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97a577edcf8d31189476a68f4cad52877b457519","datavalue":{"value":"W2132253471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032639$8B813807-0DEA-408F-83FA-F14DFCD50B6B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf7d6cf5f07c516f825e3669b80a0bb44b86d6ce","datavalue":{"value":{"entity-type":"item","numeric-id":3502679,"id":"Q3502679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032639$833D210B-581B-467F-9A13-DBADAA5D7651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52f8e9300d29b6a728eacc77b71a4772b172022c","datavalue":{"value":{"entity-type":"item","numeric-id":4944900,"id":"Q4944900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032639$845CB3E7-8C7B-4561-A136-09D6450BB4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fe7d49fb29def56725be199327dbd6615d7e19c","datavalue":{"value":{"entity-type":"item","numeric-id":3691654,"id":"Q3691654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032639$D0CDCA5B-25BB-4348-A860-5110B907C5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9d94ee13fb5ecca8b20e9dac6ff80f0c10426a","datavalue":{"value":{"entity-type":"item","numeric-id":4417312,"id":"Q4417312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032639$7793C414-5B28-47E5-AC5D-A1E324B376A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ac83c823051596370ae15c2c1d14e1f0647131","datavalue":{"value":{"entity-type":"item","numeric-id":3503759,"id":"Q3503759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032639$66A3E2EB-2048-4D6E-95EE-BBE9BD059F88","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":"Q1032639$3B1A8576-CF63-47DF-B184-FC184CD9F7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4421558f76177e7f057a96acf4969bde6b30b7e6","datavalue":{"value":{"entity-type":"item","numeric-id":1204114,"id":"Q1204114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032639$B76E4959-8153-4748-86BC-75A1E79FDC57","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":"Q1032639$C792A66B-4D85-4561-9BA2-1224ADCF16D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3183fe1b285e34ab4afafe2135598ac868bd7630","datavalue":{"value":{"entity-type":"item","numeric-id":2520837,"id":"Q2520837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032639$82940100-B3FF-4293-9B2D-C531D49A3532","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":"Q1032639$FC207A04-BF6A-4126-9590-A1D6D224E5C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d244d143dddf34fd17198634cca5ef597ed5fcb7","datavalue":{"value":"10.1016/J.APAL.2009.01.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032639$9D4ADED8-3044-41B9-A7B8-06FEB4DCFEB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"065d6a628570251198d6a311ea397e214b6645d4","datavalue":{"value":{"entity-type":"item","numeric-id":5444709,"id":"Q5444709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52a61f809c5f0e4cc3a237b4c6c303a00f2f81b1","datavalue":{"value":{"amount":"+0.9423929","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1032639$87DCCD70-BE1A-4BCB-B1F0-2AD46A4E8D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0988fe1aef7cde0d6933cf909a4c656e56b4f636","datavalue":{"value":{"entity-type":"item","numeric-id":4358047,"id":"Q4358047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a52a023df4db72095bf654607dd0ea05aff8f4f","datavalue":{"value":{"amount":"+0.9337025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1032639$390D9269-1E8A-4C5D-B806-9041C25406DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"528623bc9c1ca2e98318fabf25e50a3ae74ee7b5","datavalue":{"value":{"entity-type":"item","numeric-id":2430010,"id":"Q2430010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e255d1188e4a363681f482a087fda6ade06f7d7","datavalue":{"value":{"amount":"+0.933602","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1032639$E5266F60-89D4-4177-B1A0-B519D108DAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11a39c04b7e26f78656ca3a2b5720c91116d9a1b","datavalue":{"value":{"entity-type":"item","numeric-id":3502679,"id":"Q3502679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97adfa53ec8197dda37ac9c92a78baf854f1e800","datavalue":{"value":{"amount":"+0.9265199","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1032639$3A9CF3B0-AF73-4F9D-9D84-33B3DE1AA4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a679387854785355084b4390a21b5ebf21e1c86","datavalue":{"value":{"entity-type":"item","numeric-id":2750871,"id":"Q2750871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc1bf5681515c390aca08c0f40a7d3430cd17ad4","datavalue":{"value":{"amount":"+0.9234683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1032639$A2DB05AE-2B1F-4180-9774-4E5C96A8C1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaa1ea248c2557d53fd6ff90e51fa17179c4bf98","datavalue":{"value":{"entity-type":"item","numeric-id":4449350,"id":"Q4449350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dc9b1e54f9acce57ca257a474df438a2d0c433f","datavalue":{"value":{"amount":"+0.92120934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1032639$06644D2C-464E-4F10-8BA1-0B510E70A451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a72676ec812727328c89f319b0e795c996bcaf0c","datavalue":{"value":{"entity-type":"item","numeric-id":3149981,"id":"Q3149981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd5f13722ece95b5d7f8aa0ca69b27276542a9eb","datavalue":{"value":{"amount":"+0.9207408","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1032639$2423C7E9-4922-4854-9FE8-922BBE7A8684","rank":"normal"},{"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":"9e7859fa2b48268b79f29f86d9ca26ddd197f520","datavalue":{"value":{"amount":"+0.9186066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1032639$D86E008F-F43A-43BF-8B7D-6F590BEF889D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75c3dc1f1c73959f4f57c954aa086141c4082bdd","datavalue":{"value":{"entity-type":"item","numeric-id":1902338,"id":"Q1902338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61dbb1cd7aea24756cda52e8a50c4b9b8d100846","datavalue":{"value":{"amount":"+0.9059192","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1032639$4F6E828A-D350-486E-A4B9-13770B3F5C60","rank":"normal"},{"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":"002804289a3afbfdf34f67936c01844d689376cd","datavalue":{"value":{"amount":"+0.8996872","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1032639$121ACDA7-BAC7-48BD-B2F7-9E302CBA6A0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A non-splitting theorem in the enumeration degrees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_non-splitting_theorem_in_the_enumeration_degrees"}}}}}