{"entities":{"Q2386567":{"pageid":2397310,"ns":120,"title":"Item:Q2386567","lastrevid":48540151,"modified":"2026-01-05T03:57:52Z","type":"item","id":"Q2386567","labels":{"en":{"language":"en","value":"The \\(\\text{low}_n\\) and \\(\\text{low}_m\\) r.e. degrees are not elementarily equivalent"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2200254"}},"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":"Q2386567$AAD8313C-A2E4-44C1-8F91-72E0248BE121","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"458559f904bdaecaa6a07df2dbe48c8096b8c1a7","datavalue":{"value":{"text":"The \\(\\text{low}_n\\) and \\(\\text{low}_m\\) r.e. degrees are not elementarily equivalent","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2386567$8663551C-1126-45F9-97E8-476C15FC536B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb7e785fe0a9f1bc1c7c8c9f4602d99803ef8ca0","datavalue":{"value":"1089.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386567$F6388775-1D00-47AA-AB21-5AEF9F1ACB16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b4e48a13833dd9894b366d4966e95d03977c89","datavalue":{"value":{"entity-type":"item","numeric-id":175054,"id":"Q175054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386567$4AB5168C-D9BC-416B-8E9B-63F760F60CAD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"458fca2b56f2582953e7095ef1b99c53dd52a001","datavalue":{"value":{"entity-type":"item","numeric-id":547811,"id":"Q547811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386567$48AA67A9-0CA8-428F-9A69-3C8A618122A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ebd2f1e254c0cac0c6d80930b0d372369e50dfc","datavalue":{"value":{"time":"+2005-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2386567$25FA8DDD-C592-4CB7-BC36-40AE1A75711D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fc2c18a97d547e8981017c46d38d17834b0ca88a","datavalue":{"value":"The author answers a question raised by \\textit{C. G. Jockusch, A. Li} and \\textit{Y. Yang} [``A join theorem for the computably enumerable degrees'', Trans. Am. Math. Soc. 356, 2557--2568 (2004; Zbl 1057.03030)]. Jockusch, Li and Yang showed that the low\\(_n\\) and low\\(_1\\) r.e. degrees are not elementarily equivalent for \\(n>1\\). They also asked the question: Are there any \\(n\\neq m\\) such that \\(L_n\\equiv L_m\\)? By making use of the results of \\textit{A. Nies, R. A. Shore} and \\textit{T. A. Slaman} [``Interpretability and definability in the recursively enumerable degrees'', Proc. Lond. Math. Soc., III. Ser. 77, 241--291 (1998; Zbl 0904.03028)], the author gives a complete answer to the question: For all \\(n>m>1\\), \\(L_n\\not\\equiv L_m\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2386567$EF08AAF8-CB96-4331-AC67-FB2C1E0EEEB0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ca8ed344194345ca16bbb6704624120ee7ad077f","datavalue":{"value":{"entity-type":"item","numeric-id":589210,"id":"Q589210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386567$D48A7452-B9A2-4398-A1F2-FE1838F34AF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386567$84F294C7-15F3-4603-8DBA-4F0C059EA598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386567$DD50CAED-BC11-4A40-8438-11EF48747991","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36ceb7521bcbb32208dd972dac5d6d4db4beeb3e","datavalue":{"value":"2200254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386567$F88E1820-2D3E-4A06-B5B1-FAB0A82795C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50019eaff869d05eee5ca71292ad7aeb5c989ac2","datavalue":{"value":"recursively enumerable degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2386567$DCEAA1D2-31FE-4A05-BECD-DBA878DA22EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74e07bbf130adf319eaaf71c937ccbb3275dc7d7","datavalue":{"value":"computably enumerable degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2386567$4F6FB105-E318-4470-AE8E-32003B74FA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91fe4280e2e06a0a064865358db087007d3f302b","datavalue":{"value":"Turing degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2386567$0F00841C-0C52-4584-B2BE-0BEB7245504A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc8806a6ca3369c60057fc468ac39a5ffa1a5a46","datavalue":{"value":"jump classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2386567$7650936A-F119-4BDB-A589-90226343E460","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":"Q2386567$03BE9168-C11F-435A-834F-5AC5AF4C47E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e56cc276cc928c3a43d55987918919264ee506d3","datavalue":{"value":{"entity-type":"item","numeric-id":3491535,"id":"Q3491535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d17e8ad5c09bc4d55a7745e561c65c3d03aa5fa","datavalue":{"value":{"amount":"+0.788127064704895","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":"Q2386567$FBA71C2E-AB04-438A-83CA-20D2194BB584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb1046acdcd8347487d940a68891149b3542e31b","datavalue":{"value":{"entity-type":"item","numeric-id":4813778,"id":"Q4813778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bdae729d5c25952955f22ffe28be1c51bf1343f","datavalue":{"value":{"amount":"+0.7580488324165344","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":"Q2386567$DC668984-8209-4FA8-A822-A7D67D2F5A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f97c1fa6cbe314e04be039ee61a6fd68c01c295","datavalue":{"value":{"entity-type":"item","numeric-id":4224077,"id":"Q4224077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"547356e8b78bafdfdea044f8169ef739260de140","datavalue":{"value":{"amount":"+0.7579613924026489","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":"Q2386567$475E54EA-AECE-479E-9358-881DC5BB70AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e06700d6ce8138ce211237a7a63bdfa6147e812","datavalue":{"value":{"entity-type":"item","numeric-id":4533283,"id":"Q4533283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2959e585cdaa48eda15be163706621f71e6752a","datavalue":{"value":{"amount":"+0.7556414008140564","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":"Q2386567$C0C0EE06-66E1-42BC-9D1C-139D870733A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1d78d6c6a988c8140768112706d9198173d6c7","datavalue":{"value":{"entity-type":"item","numeric-id":685080,"id":"Q685080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2959e585cdaa48eda15be163706621f71e6752a","datavalue":{"value":{"amount":"+0.7556414008140564","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":"Q2386567$AC9809B4-800E-484B-A109-A189CA2A25F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2386567","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2386567"}}}}}