{"entities":{"Q1407540":{"pageid":1418280,"ns":120,"title":"Item:Q1407540","lastrevid":68633889,"modified":"2026-04-13T01:04:51Z","type":"item","id":"Q1407540","labels":{"en":{"language":"en","value":"Isolation and the high/low hierarchy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1982474"}},"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":"Q1407540$9F69464F-78AF-434F-B093-D7273635DFB4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"487ee33691b2bf24ddc23d11726f7dd0b3a2e40d","datavalue":{"value":{"text":"Isolation and the high/low hierarchy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1407540$9D197497-B7E5-4F7F-8392-9ADF03155822","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e1bffc26e67c1c18364280a48cb510afa84e8fa","datavalue":{"value":"1028.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407540$2B251EAE-248C-44AE-97AC-8346AA2EFE69","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9048a182a2004509e8f96f49f252325f27fcfbc4","datavalue":{"value":{"entity-type":"item","numeric-id":377472,"id":"Q377472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407540$584DE154-7F9F-4CEB-9969-9ADF5AFEF66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e521a8b65f31ddf1284b736fa615d9780f147ac3","datavalue":{"value":{"entity-type":"item","numeric-id":465141,"id":"Q465141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407540$5FDBA4FD-9947-4A21-9361-7B62CEE63F84","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407540$34837CEC-CDB5-4891-9772-7C0BB14A8278","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7841ad7b9ae7c226290004bcfbbaa03cb759e96","datavalue":{"value":{"time":"+2003-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1407540$AF18A242-AD08-48C1-A175-6A5A1E85CA9F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"494a8a3107ca693ecc6a4e9a9e020f09d8b9b75d","datavalue":{"value":"A subset \\(D\\) of \\(\\omega\\) is called a d.c.e. (difference of c.e. sets) if there are c.e. (computably enumerable) sets \\(A_0\\) and \\(A_1\\) such that \\(D=A_0 -A_1\\). A d.c.e. degree \\(\\mathbf d\\) is called isolated by a c.e. degree \\(\\mathbf b\\) if \\({\\mathbf b}<{\\mathbf d}\\) and any c.e. degree \\(\\mathbf c\\) below \\(\\mathbf d\\) is also below \\(\\mathbf b\\). The second author, \\textit{Guohua Wu}, proved that there is a high d.c.e. degree \\(\\mathbf d\\) isolated by a low\\(_2\\) c.e. degree \\(\\mathbf b\\) [Math. Log. Q. 47, 525-534 (2001; Zbl 1003.03039)]. In this paper, the authors improve Wu's result and show that there are a high d.c.e. degree \\(\\mathbf d\\) and a low c.e. degree \\(\\mathbf a\\) such that \\(\\mathbf d\\) is isolated by \\(\\mathbf a\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407540$84FFE8CA-6DC6-4628-B2F4-CACAF4269CF1","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":"Q1407540$224E4784-A51D-4B14-9B95-07EFA6D8C662","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407540$4B6CE725-1E8B-4B8A-9275-D2A037E2C8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407540$1911127D-AB6E-41BA-B3A8-24B7B77D0973","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f79a1ba61f99db9764431a01cff879617a1ad74c","datavalue":{"value":"1982474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407540$83A9C96B-8225-4608-851E-2F965E9F263E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4489f3ccbdc3f3cda22d0d7be1ac0bcfba19459","datavalue":{"value":"computably enumerable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407540$7C7ADE86-5132-4F4C-A790-332B87CBE77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"895632b058c430c8405f7a41b619474e5e424714","datavalue":{"value":"difference of c.e. sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407540$4340075E-869D-42B9-AFF6-39D04EA51162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4495fbfed9f92fa5d23585e957102453c02f3319","datavalue":{"value":"d.c.e. degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407540$F634A8EA-5175-4EA6-8098-7C570236B2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74e07bbf130adf319eaaf71c937ccbb3275dc7d7","datavalue":{"value":"computably enumerable degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407540$D724FC82-D71C-432C-AFA8-0545E05FFB27","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":"Q1407540$D747D408-42B1-46E7-AB75-701D92394D89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40453ea09cfee721cbf9021d426469c18a119f6e","datavalue":{"value":"https://doi.org/10.1007/s001530100111","type":"string"},"datatype":"url"},"type":"statement","id":"Q1407540$6DA50A0C-BD4B-43A8-B53C-E78EC0A047B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0399c0bc866f06c83dd4d6f9afddea91bd21ee8","datavalue":{"value":"W2014247151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407540$2422E77B-5EED-4E91-BF6A-90AE15DF4FC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67dcd88a009afec4a4253590e8ccccf34f0dad60","datavalue":{"value":"10.1007/S001530100111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407540$67D7CCE4-68A4-4E25-9B27-2573F74339B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8161b9c71129987095fc48a7c5657b826b14394c","datavalue":{"value":{"entity-type":"item","numeric-id":5311731,"id":"Q5311731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b2e5ca63383ff81714041f5226056a67d84e134","datavalue":{"value":{"amount":"+0.857377290725708","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":"Q1407540$27CF64E3-2E18-457A-9992-139F0CE0C5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96a45743f21b54091d063b9659238527db8015e3","datavalue":{"value":{"entity-type":"item","numeric-id":1895496,"id":"Q1895496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a70bb9d21ef67116f0d2edcd7d77c54c37c39605","datavalue":{"value":{"amount":"+0.8572028279304504","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":"Q1407540$4C27690E-945F-4C89-84F3-FDC989B28FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fef52c363e9948894b5be9ccc0156e1980653cfd","datavalue":{"value":{"entity-type":"item","numeric-id":4238426,"id":"Q4238426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eadf3a9aaf406d0109cb287b7f1774d30ca61e61","datavalue":{"value":{"amount":"+0.8533471822738647","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":"Q1407540$1EDF8EF6-F4BA-43B0-8E36-B091FAB16462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fd6aa5b2e605d7701d93f2b71428821a348235c","datavalue":{"value":{"entity-type":"item","numeric-id":1766924,"id":"Q1766924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eadf3a9aaf406d0109cb287b7f1774d30ca61e61","datavalue":{"value":{"amount":"+0.8533471822738647","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":"Q1407540$4310D0B4-3CB8-48E3-B221-C4802A3E3075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a12766b04a73ee6f5249d32f059cd5c4c936fa1","datavalue":{"value":{"entity-type":"item","numeric-id":4779650,"id":"Q4779650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ae04f397034493c6528a6a19d6fb50ae1d53123","datavalue":{"value":{"amount":"+0.8516831994056702","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":"Q1407540$0B6B8F3F-BADD-4697-9B85-73599C5A91AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Isolation and the high/low hierarchy","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Isolation_and_the_high/low_hierarchy"}}}}}