{"entities":{"Q1293973":{"pageid":1304723,"ns":120,"title":"Item:Q1293973","lastrevid":68775042,"modified":"2026-04-13T01:58:30Z","type":"item","id":"Q1293973","labels":{"en":{"language":"en","value":"Branching in the enumeration degrees of the \\(\\Sigma_2^0\\) sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1310631"}},"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":"Q1293973$11EB8934-1929-424D-912A-BC0A24B89E51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a0729f82211595547a24fb02bbf7186451f5f30","datavalue":{"value":{"text":"Branching in the enumeration degrees of the \\(\\Sigma_2^0\\) sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1293973$AEBECE74-1198-481D-8BAF-0D483E0F315F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35a19af1a1850e464cb94ec0e7197c16d3a537c6","datavalue":{"value":"0924.03080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293973$A6A9B214-1128-4E0D-B06C-2329D7E33795","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c33ed36aae0663245ebd92eb6d161fc1b3c5e2ab","datavalue":{"value":"10.1007/BF02808174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293973$102F25B3-7C8A-4EC3-AC9B-03C344981149","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43fe99ff9293f8f20f9f81a490ad97d6c40cc252","datavalue":{"value":{"entity-type":"item","numeric-id":218973,"id":"Q218973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293973$6F9E2455-BCB8-4AE4-A2CB-4845863004BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cb78a179ab7f7671775d8afe3c2e6cdc5cf26c4","datavalue":{"value":{"entity-type":"item","numeric-id":242615,"id":"Q242615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293973$D2521FF0-EAC9-4FA4-895A-CFC6165E75DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293973$065BA12F-93C5-4BFB-8257-F8621BF0DC16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"841fe5311f2c240dc5e1c4c4e1cd6d6c518533ed","datavalue":{"value":{"time":"+1999-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1293973$8CC67904-1A66-4215-808B-07160F806845","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7f039b45ec3ea268161691fcf11ead1b92bd0eee","datavalue":{"value":"A set \\(A\\) is enumeration reducible to a set \\(B\\) (\\(A\\leq_e B\\)) if there exists an effective procedure for enumerating \\(A\\), given any enumeration of \\(B.A\\equiv_e B\\) iff \\(A\\leq_e B \\& B\\leq_e A\\). The \\(\\equiv_e\\)-equivalence classes are called enumeration degrees. This paper proves that any incomplete \\(\\Sigma^0_2\\) enumeration degree \\(\\mathbf c\\) is a branching degree, namely, there exist two \\(\\Sigma^0_2\\) enumeration degrees \\(\\mathbf a\\), \\(\\mathbf b\\) such that \\(\\mathbf c < \\mathbf a \\& \\mathbf c < \\mathbf b \\& \\mathbf c =\\mathbf a\\wedge \\mathbf b\\). This shows another elementary difference between enumeration degrees below \\({\\mathbf{0}}_{\\mathbf e}'\\) and the recursively enumerable degrees.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293973$355096E0-4B6B-4074-80BD-D71249093870","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293973$0F8D659B-5AA0-45D4-BF16-939495217796","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"143b6d03f80421c738165a38ad34f6906a60e7e4","datavalue":{"value":"1310631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293973$220CDBF8-E990-4EA2-87E8-CE771DD51906","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba63a3ec360bdcb3035a87816aa2f07e91aebfb4","datavalue":{"value":"enumeration degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293973$887BD7F3-C37F-4342-914A-E06598177704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb50e42cd3b41316a22a618c75a04f862ea5c7e4","datavalue":{"value":"branching degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293973$03542885-8500-4BCA-B112-B93783C80888","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dbc008852b7f12e01f50414af435612153cc55c4","datavalue":{"value":{"entity-type":"item","numeric-id":162063,"id":"Q162063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293973$02A96616-5313-405A-BFA8-53CAE7F8DAF7","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":"Q1293973$02E5D668-080A-4D9B-B588-31879E99A6EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57e86b2a34de5c452741d2dddf97fad62dd45a41","datavalue":{"value":{"entity-type":"item","numeric-id":3981454,"id":"Q3981454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293973$34F808F6-12B1-4649-AED1-5A9BF580E221","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":"Q1293973$72F51B31-1892-45E6-937F-ADD773D47DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fea115c4b94fa65ec5ba075bdec93ed74b89c02","datavalue":{"value":{"entity-type":"item","numeric-id":3487329,"id":"Q3487329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293973$07FD9B51-CA25-4DF0-BE2B-426DC5EA0D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afb5d02297c353098eb650295fe650f46ef66ea8","datavalue":{"value":{"entity-type":"item","numeric-id":1055403,"id":"Q1055403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293973$75C8AAFE-9651-41A5-9B88-CFE74F82CF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0fe5e2690e8aa5db86fc37ab1eba592d8077faf","datavalue":{"value":{"entity-type":"item","numeric-id":3843613,"id":"Q3843613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293973$58D29D90-41BC-4F07-A4AF-25A28FF791EA","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":"Q1293973$EC372B86-40B4-4AFE-9299-8175A6E666A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fff557e7dc247071db38e3d3a6654bb3ac39f29","datavalue":{"value":{"entity-type":"item","numeric-id":5670617,"id":"Q5670617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293973$13A28DAD-63FD-4107-9A78-9676E4BF6BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3af41dfdb6fb1d3e74a0d4d49f596f724795b5b","datavalue":{"value":{"entity-type":"item","numeric-id":1142206,"id":"Q1142206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293973$6D7CCB09-3964-48C4-BA72-3DBA598F1EDC","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":"Q1293973$EC780A91-66D1-4F17-B5C9-3E0EF240A366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b8a1ec3bd2f112495e04f949989f1f0545a4dad","datavalue":{"value":{"entity-type":"item","numeric-id":4723719,"id":"Q4723719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293973$396E1A3A-EEC2-4AB8-97EE-C339145E905F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"067c4fd104d748e488a0993e9fadb246f4070949","datavalue":{"value":{"entity-type":"item","numeric-id":3726105,"id":"Q3726105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293973$C636E491-68B5-4849-9348-4EA4E2EAC2C6","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":"Q1293973$6A110338-DE09-4249-AC07-2E2A0886FD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c662cfb058b883255aa2f0d1c3458ae74649778","datavalue":{"value":{"entity-type":"item","numeric-id":809074,"id":"Q809074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293973$FC04487C-8A97-4A27-9DBD-6D233EF58DC9","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":"Q1293973$91F754EC-D058-4CF3-A0BB-0FF2BCA10B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec574c480ff1055b032bfbd7e1859960648ab3be","datavalue":{"value":{"entity-type":"item","numeric-id":4348132,"id":"Q4348132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293973$97D45B38-1C7C-4EB8-A750-0228F524C29E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50f87ed713486c156ad5bc9da45b50b7b053d951","datavalue":{"value":"https://doi.org/10.1007/bf02808174","type":"string"},"datatype":"url"},"type":"statement","id":"Q1293973$3E2FC005-C65A-44BD-81AB-2DECBB588C6B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"816fbc10110cc7ad3ebe142500d2cdad874a716e","datavalue":{"value":"W2004547606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293973$1139AAC3-02EA-4BA3-9F15-76BD413FA56D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"969918da3950611607a3638f1554abaf823adffd","datavalue":{"value":{"entity-type":"item","numeric-id":938234,"id":"Q938234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a974beb7e7adf54ad2be36f0a41a236e2e61a72e","datavalue":{"value":{"amount":"+0.9030146598815918","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":"Q1293973$6666E7C2-105D-4C2F-B970-5AA07325D6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dff7efd041392cdc49f91733acac2e73dea9e3e5","datavalue":{"value":{"entity-type":"item","numeric-id":3819056,"id":"Q3819056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b8fb7ebeb1b20a7fe6cbba4cd9dd406de35f5e7","datavalue":{"value":{"amount":"+0.8338325619697571","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":"Q1293973$145EA293-CF27-4FCB-BFEE-67C950B63718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a9ca413782f9304f53293bbb9dd8747184e9ed6","datavalue":{"value":{"entity-type":"item","numeric-id":3691654,"id":"Q3691654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"807ddc11fcef42d7b36dfeb9b862b9455ee0e704","datavalue":{"value":{"amount":"+0.8031982183456421","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":"Q1293973$5C949628-74E3-4A91-9D1D-63056E2A367D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df7491785f8914bc1e6314ee2510fafc8eb2ac21","datavalue":{"value":{"entity-type":"item","numeric-id":4953220,"id":"Q4953220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4e27a1661deea489daf390ec34554d18d1fa742","datavalue":{"value":{"amount":"+0.8012795448303223","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":"Q1293973$0EEAA3CB-7B42-4834-8D9B-A0E2C2CC3F9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Branching in the enumeration degrees of the \\(\\Sigma 2^0\\) sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Branching_in_the_enumeration_degrees_of_the_%5C(%5CSigma_2%5E0%5C)_sets"}}}}}