{"entities":{"Q1849863":{"pageid":1860605,"ns":120,"title":"Item:Q1849863","lastrevid":82013201,"modified":"2026-05-06T19:53:34Z","type":"item","id":"Q1849863","labels":{"en":{"language":"en","value":"Orbits of computably enumerable sets: Low sets can avoid an upper cone"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1838866"}},"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":"Q1849863$A473D7AC-2DA6-4D34-A70E-649C3FC7E42E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d2969601c4ffeefa919e6cd02b41060992064c2","datavalue":{"value":{"text":"Orbits of computably enumerable sets: Low sets can avoid an upper cone","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1849863$1407B3AE-3893-428A-81A7-E9D8483D8587","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26c5b7472bc32dd99811aa2060ded6809c9be99a","datavalue":{"value":"1023.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849863$86F1877A-2BE8-471D-B687-B34ED5FC877E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d86a193a8d0bbae54ac09a3b3dbf711441ec739a","datavalue":{"value":"10.1016/S0168-0072(01)00119-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849863$0ABCCF25-4134-421B-85DB-4C6675E7E805","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":"Q1849863$0A87287B-1339-4BE3-B956-1F1492871A07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"82ac30fadc544187fd268bb88e1da4be75a5ee8c","datavalue":{"value":{"time":"+2002-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1849863$EED46EF0-15A7-4FDE-ABEF-805EBE2A2970","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8ce60f6eef6fc98b4167018dba23d05fa8ae1ee2","datavalue":{"value":"The author investigates the orbit of a low computably enumerable (c.e.) set under automorphisms of the partial order \\({\\mathcal E}\\) of c.e. sets under inclusion, and it is proved that: For every low c.e. set \\(A\\) and every noncomputable c.e. set \\(C\\), there exists an automorphism of \\({\\mathcal E}\\) mapping \\(A\\) to a set \\(B\\) such that \\(C\\nleqslant_TB\\). Thus, the orbit of \\(A\\) cannot be contained in the upper cone above \\(C\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849863$8E0294BB-7368-4B5C-8A02-C1FA429565C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849863$5E445431-19C1-46FD-ADE8-C8680084905F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3eec981e34ea73ded178b70d530fa340a311473b","datavalue":{"value":"1838866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849863$C505226F-0B41-4AFC-8AAB-C3E9F7813850","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74e07bbf130adf319eaaf71c937ccbb3275dc7d7","datavalue":{"value":"computably enumerable degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849863$C6F49D65-8F57-43E6-BA84-B4A332FE31D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b69a600976cdf74217d733e371076e5ae4f3cc93","datavalue":{"value":"lattice automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849863$20BE542F-34A6-4076-915E-CB6083DF821F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6eed884d19bc21a42faa2438957f66a8a99672","datavalue":{"value":"low computably enumerable set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849863$6824B2F6-2D96-4D0D-A5B4-2DB54A3D21D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1cb0c92ec117e721722563d91e34f49c8d853c","datavalue":{"value":"orbit","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849863$D5BED850-F0AA-43E0-B9BC-8382B64FBE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a68198bcf7d3f874950d3010e571dd80d2705612","datavalue":{"value":"upper cone","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849863$59F598CD-0F7C-4215-ABB8-A1962C46F867","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33d3e97a4220276bcc217eca6e53eef203e9d2af","datavalue":{"value":{"entity-type":"item","numeric-id":1032631,"id":"Q1032631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849863$5BA3D82D-43AA-47A4-A29C-6B6DCCBE4C0A","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":"Q1849863$9752B809-80B9-4376-948E-6F461CD9844D","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":"Q1849863$EF8E7279-20D1-4FF6-B9E0-34365C0F6D6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1752cba4f3368f684f4983b347e5d63e79f63f75","datavalue":{"value":{"entity-type":"item","numeric-id":4326223,"id":"Q4326223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849863$4EB3A607-9804-4E62-A658-11BA70A950F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f879952d785d173723883ee094db2f1495db23f2","datavalue":{"value":{"entity-type":"item","numeric-id":1840464,"id":"Q1840464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849863$6607F995-9282-405A-9711-4CC63B3827B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd4cd9b2bfdf144d4307d3f733d3655ae053809","datavalue":{"value":{"entity-type":"item","numeric-id":4018916,"id":"Q4018916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849863$B8D8D318-63F9-4D86-B1EE-42D2D3E7B584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b62bed1d3ca93c9b72117e9e43a4d258c29591","datavalue":{"value":{"entity-type":"item","numeric-id":3982858,"id":"Q3982858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849863$9C54AE8C-7322-4F04-8745-F471640ED2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ff81edee88ee8b30989e6cce4ee4065e97050cf","datavalue":{"value":{"entity-type":"item","numeric-id":1186287,"id":"Q1186287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849863$22778DB9-ECA3-42EA-A9D1-6FDB5661D27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e363214d04ff17eebf710ed254739dacaad0e49c","datavalue":{"value":{"entity-type":"item","numeric-id":685058,"id":"Q685058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849863$F35517CF-7050-428E-B483-89D7AEE885F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dae26af80a5696fa8c01db658b71f7ff80167bbe","datavalue":{"value":{"entity-type":"item","numeric-id":3248015,"id":"Q3248015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849863$8179E74A-5C29-4475-9977-22E8500C4903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93d2ceb3db2e404230e7fc428d5252a735afa91","datavalue":{"value":{"entity-type":"item","numeric-id":4024700,"id":"Q4024700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849863$0A9A1FA5-502D-42C9-911A-7EE350B024C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0077dbddb804d57f8f724decb5b84acfd1cf05","datavalue":{"value":{"entity-type":"item","numeric-id":5687278,"id":"Q5687278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849863$02DBBB5D-0901-4417-A479-A4F787B328AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f40730d6fc305866be13d2a85a2176d18a24f7cb","datavalue":{"value":{"entity-type":"item","numeric-id":1295410,"id":"Q1295410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849863$9E48BCC1-9610-45C5-88CE-3BD86C6AC6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e2a623f649027635a4c99f1d37ce30c20ad7a06","datavalue":{"value":{"entity-type":"item","numeric-id":793018,"id":"Q793018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849863$4C0D407D-E0C8-4089-940E-1C1940C64347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba7039ce1a41f3b0c4f4e36248ae9d3fb4d1cefc","datavalue":{"value":{"entity-type":"item","numeric-id":5571699,"id":"Q5571699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849863$A3138FF6-2989-4BE1-BD7E-09EB8EFE4755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"850ec53483c087fa2e8890fc924e571da7793c17","datavalue":{"value":{"entity-type":"item","numeric-id":3232283,"id":"Q3232283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849863$033F3133-C6BD-4BD1-8A63-477642B565FC","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":"Q1849863$08AA36E3-8071-4809-AFC1-42823A81941B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7cd69fdc6ed856e2a15113f7fed4b10a2a0401","datavalue":{"value":{"entity-type":"item","numeric-id":2557694,"id":"Q2557694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849863$966DBD2F-959F-48EA-A1F5-2E766F907C1A","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":"Q1849863$A693AE09-56A2-43A8-B2A2-D3CA9C9B1B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3617360f83db872d6ed377878d45a7ef27229498","datavalue":{"value":{"entity-type":"item","numeric-id":4513979,"id":"Q4513979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849863$44D773D2-7B6B-4A47-B17F-EE8DE97E41CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a5d98c4a1edce50e28c099cd9f426de9a871048","datavalue":{"value":{"entity-type":"item","numeric-id":3149988,"id":"Q3149988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849863$0C4758DD-2AA4-4039-857A-B258B6BD2357","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8f66a19414c61aaedb28817a14457cb89ef805d","datavalue":{"value":{"entity-type":"item","numeric-id":3149988,"id":"Q3149988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac4998809520325494fd27844af95d4ef0b7cd6","datavalue":{"value":{"amount":"+0.837192177772522","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":"Q1849863$8A86FEB7-5B25-403F-93A1-9748BF7FF8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1085d7ae193242f1f94afbf152a811971da277f","datavalue":{"value":{"entity-type":"item","numeric-id":3058264,"id":"Q3058264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3422e83f2313d6fe297cdead3bbb1d416a55da0b","datavalue":{"value":{"amount":"+0.812536358833313","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":"Q1849863$A2F7C893-8E89-48E5-88F7-33D74BB1176D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3bab7610fa7e29826a614747b381f4b88fadf62","datavalue":{"value":{"entity-type":"item","numeric-id":5483300,"id":"Q5483300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7511f367efa1b4c718de194d8d51fd6788a7bac","datavalue":{"value":{"amount":"+0.8043748736381531","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":"Q1849863$D7CA35B0-85C1-459B-AF7E-EF3FFE5F5D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70d1eb0c352df48642b27a0395e73cf53994963b","datavalue":{"value":{"entity-type":"item","numeric-id":2964278,"id":"Q2964278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed858798417301905215f380241a7db846138422","datavalue":{"value":{"amount":"+0.7983580231666565","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":"Q1849863$9C4F84AE-3EF1-4D87-809C-C9A6FB0ACA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aae625a49c70111be9a3ef656a1bf16f1ba86971","datavalue":{"value":{"entity-type":"item","numeric-id":5437614,"id":"Q5437614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c63d958388c6d14031ece8d0f48bbdda5eb528cc","datavalue":{"value":{"amount":"+0.7979715466499329","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":"Q1849863$40C119AA-C119-44F5-9EC5-3A61EE86FB35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Orbits of computably enumerable sets: Low sets can avoid an upper cone","badges":[]}}}}}