{"entities":{"Q764275":{"pageid":766124,"ns":120,"title":"Item:Q764275","lastrevid":64160928,"modified":"2026-04-11T18:03:02Z","type":"item","id":"Q764275","labels":{"en":{"language":"en","value":"The high/low hierarchy in the local structure of the \\(\\omega\\)-enumeration degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6014280"}},"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":"Q764275$DC1F7BEF-4F52-4D74-B992-A2AFF03F5891","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c63680224f30e56809709fbcfddcad86c264d611","datavalue":{"value":{"text":"The high/low hierarchy in the local structure of the \\(\\omega\\)-enumeration degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q764275$9E578AA0-64C9-44F8-AEAF-07ADA606CC0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7974cb13940d61e709230bb9bd134a6239c5da4e","datavalue":{"value":"1243.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764275$F0CAA785-3799-4A20-B212-9B34D32CAD07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2d86434d69e6d3a51fed0c46b5b782b17130a6b","datavalue":{"value":{"entity-type":"item","numeric-id":283103,"id":"Q283103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764275$0322CF41-B2FC-4AD1-967E-CA643C5A78A1","rank":"normal"},{"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":"Q764275$DD5E6C13-B6B8-40F3-ABD6-25C731FD54DB","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":"Q764275$9D40A4DD-B44B-4DA8-9908-749F8C6A6018","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2d208db1103a8eff5ee81c748238cac793871fb","datavalue":{"value":{"time":"+2012-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q764275$740D3660-8FA5-4CE0-9015-467085F1A66F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ccf40bec3f8dba829e435cba35811eb1e67696c9","datavalue":{"value":"The paper is devoted to the local theory of \\(\\omega\\)-enumeration degrees. It is proved that the local structure of the enumeration degrees is first-order definable as a substructure of the \\(\\omega\\)-enumeration degrees. The definability of the classes \\(H_{n}\\) and \\(L_{n}\\) of the high\\(_{n}\\) and low\\(_{n}\\) \\(\\omega\\)-enumeration degrees is shown. The interpretability of the first-order theory of true arithmetic in the local theory of the \\(\\omega\\)-enumeration degrees is deduced.","type":"string"},"datatype":"string"},"type":"statement","id":"Q764275$2D0706F8-CEDD-4AC7-A771-293675663603","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764275$6A8131C4-6915-44E8-9E6D-52BF5C2F985C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764275$27123A95-8C57-4B7F-B8D8-B4604F05AAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764275$80D258CC-43E2-4376-8C18-79D2C4A522C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b597c2b22b439e41fa672b90bd3a7f1d023264e","datavalue":{"value":"6014280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764275$F3306425-BEDF-4C8A-98A1-592A173BF815","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba63a3ec360bdcb3035a87816aa2f07e91aebfb4","datavalue":{"value":"enumeration degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q764275$1DAC6062-3354-4C4A-BDD2-B4FF695460E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d77b9a32e0baa8bd8214c3d8c2ffcdc9086d31ff","datavalue":{"value":"\\(\\omega \\)-enumeration degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q764275$C33A9A50-81DA-4256-B68F-2085E3C21188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b950db22205c37c16cb757e0115024d2d4ab51c9","datavalue":{"value":"local theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q764275$F1382067-B42A-4928-AADA-B049CCF07406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q764275$F9CDE08C-3DCA-48CB-B1AD-23BE4A399F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b82d44d38f8cd81f8c94933093e991199878bb7e","datavalue":{"value":"true arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q764275$61DCFE26-AF1A-4C5D-B901-F0FFF5C60BC0","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":"Q764275$9805DD94-4492-4F2B-A96D-1B72B802A448","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b34a8ac5f42f51c65e42aa47e87c437212c0dcfa","datavalue":{"value":"https://doi.org/10.1016/j.apal.2010.10.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q764275$E95695CC-0EF6-47FB-BAAC-86F40FB1EAA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f6fc2aa347e61ae8ef4d83f181f9c3d149626ca","datavalue":{"value":"W2053061147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764275$F6D6A0D5-7757-4563-81CC-C49CF788B34E","rank":"normal"}],"P223":[{"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":"Q764275$70A4EF4D-1884-41E2-9656-6CB6BCD237A2","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":"Q764275$907B1A19-4667-46A0-9C9B-57218E80C4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb862f59d3441629abbab302b288471e3cc2a6f","datavalue":{"value":{"entity-type":"item","numeric-id":5961497,"id":"Q5961497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764275$86D07C09-9710-4341-A13C-2711F9B9F31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c786c3fdf0e6a645b9c5769ddd5bf408d554234","datavalue":{"value":{"entity-type":"item","numeric-id":5425333,"id":"Q5425333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764275$231C3D83-D583-4AF8-855B-22F3A9373937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55694f32739c5ad5b0fa8580d82f50cec8be6c49","datavalue":{"value":{"entity-type":"item","numeric-id":4460756,"id":"Q4460756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764275$53E0AFFE-DEF8-41A7-A5F5-10FDE73F5199","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":"Q764275$43AA98D0-0DD2-4CAB-98CC-A137A843D192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b78384d585ab89d34f08295c933328155a746cac","datavalue":{"value":{"entity-type":"item","numeric-id":3282933,"id":"Q3282933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764275$3A9CD418-EA6B-4899-A8F0-7505AC98035C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abc749d216d7ef73d2e4f1819d8a2b21835f381f","datavalue":{"value":{"entity-type":"item","numeric-id":3839947,"id":"Q3839947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764275$72C52A3B-46C9-46EF-88FA-9016084A5E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f4f13509c05ca44b6aa78d129e88e614ae0100","datavalue":{"value":{"entity-type":"item","numeric-id":1307029,"id":"Q1307029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764275$60F3F3F7-43CF-49C2-8DBB-A7659015A5D1","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":"Q764275$C3123A78-E34F-4021-ACF7-C2D198785A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58c8e8f64835108e0def09ed9be28915e803082b","datavalue":{"value":{"entity-type":"item","numeric-id":5441128,"id":"Q5441128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764275$CED126A1-0194-4638-BC98-D98A93280844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcb79090ef03ee88cf9c7a417f442636f1bd4305","datavalue":{"value":{"entity-type":"item","numeric-id":1032630,"id":"Q1032630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764275$2246E1C4-24F6-45DD-A193-EF9A6B371F70","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":"Q764275$EDF461C0-DA09-472B-BADF-73031A33B2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893a0de653cc485e3bd57643c3629118f33bbeb9","datavalue":{"value":{"entity-type":"item","numeric-id":3616224,"id":"Q3616224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764275$3B44D7A9-4F04-428A-92B5-C79A30FDA396","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa4e60de9905abf858c8d35fd0dcd97c8af04911","datavalue":{"value":"10.1016/J.APAL.2010.10.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764275$EF0DE4F8-AE35-4858-AA6F-49B5994CB62F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"979b5ca3916b27e8d57a448d8300b89a95cb45ed","datavalue":{"value":{"entity-type":"item","numeric-id":3416107,"id":"Q3416107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68f35ec4e4885b023ba4f73490cb416246b265da","datavalue":{"value":{"amount":"+0.91651237","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":"Q764275$02C94E0C-9607-485E-9061-BD285A8B6EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83376fa0b642301c56128282d5728443075af47d","datavalue":{"value":{"entity-type":"item","numeric-id":5441128,"id":"Q5441128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90fa7322ac202e5463ee749a036d99e2f582a947","datavalue":{"value":{"amount":"+0.9047505","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":"Q764275$F602B297-4E45-4638-A493-7D49B937782A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c22e779e36cfd928f5b41851e07c775c05a71e5a","datavalue":{"value":{"entity-type":"item","numeric-id":3576056,"id":"Q3576056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2c3fe40179f19743df2b923ab70e1d9bd7f5216","datavalue":{"value":{"amount":"+0.8688239","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":"Q764275$E13ECB92-0686-451D-9EF1-D63C5D5CB2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c3008a0ce1d94d970fb8bb2de0719a55802d0fd","datavalue":{"value":{"entity-type":"item","numeric-id":2907064,"id":"Q2907064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"362bf55c44c792c7dfab03ba05738d937e7ab3c5","datavalue":{"value":{"amount":"+0.8642828","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":"Q764275$507ACD9D-E9CD-474A-9F5F-BA923F4AE9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3dd7aa383ad2e7183c48ba95601638d06cb6486","datavalue":{"value":{"entity-type":"item","numeric-id":1269921,"id":"Q1269921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7797ef6c326fb8e34fcc143f26e4bee4783e8fca","datavalue":{"value":{"amount":"+0.8625481","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":"Q764275$F8286355-24E4-4B89-AE10-6E5B5B285F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"530297c38a65279aaa64bf3973aea7e40f294a8f","datavalue":{"value":{"entity-type":"item","numeric-id":5082054,"id":"Q5082054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3852037a1276fd4a3b7cbb93f844fc15043c6e1","datavalue":{"value":{"amount":"+0.8608087","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":"Q764275$91C73502-1B93-490A-95FF-04F00AB870FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"714e71b22ecf9e9ad8565912b22977f764d3bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":2827955,"id":"Q2827955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a55fc1d28e55b73ad74abba8b5771c278050dec","datavalue":{"value":{"amount":"+0.8594489","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":"Q764275$ED68B709-5AB9-4AB6-ACF4-88D879EE1C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4b32d37b95e476dc6b3b678030b63875abc3586","datavalue":{"value":{"entity-type":"item","numeric-id":5425333,"id":"Q5425333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4880448daee3fca07e599b753f20a0a733ecaf46","datavalue":{"value":{"amount":"+0.85930383","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":"Q764275$465CE9B4-7DF4-4209-9F48-41FD29279BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d30d18aecced75b57f489b09bd360dad06c29934","datavalue":{"value":{"entity-type":"item","numeric-id":4899167,"id":"Q4899167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85d828b6019ecf8f3ed69348d887610ed38b101c","datavalue":{"value":{"amount":"+0.8592655","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":"Q764275$5D9FEA89-748F-46D4-B60C-876CDCFD03E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The high/low hierarchy in the local structure of the \\(\\omega\\)-enumeration degrees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_high/low_hierarchy_in_the_local_structure_of_the_%5C(%5Comega%5C)-enumeration_degrees"}}}}}