{"entities":{"Q818520":{"pageid":820368,"ns":120,"title":"Item:Q818520","lastrevid":64570545,"modified":"2026-04-11T20:47:09Z","type":"item","id":"Q818520","labels":{"en":{"language":"en","value":"There is no ordering on the classes in the generalized high/low hierarchies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013639"}},"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":"Q818520$56EFFB1B-803F-4A3F-9D8E-8B3116A37BDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09c4e45fb834189f30336160b1164e32616d59c0","datavalue":{"value":{"text":"There is no ordering on the classes in the generalized high/low hierarchies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q818520$C9B31D29-439F-410F-AC49-AD5D3DA90956","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b881741d88d971e6091516c498d911ff540864d","datavalue":{"value":"1099.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818520$CA4128EF-5D08-4571-85D6-F341ADA46B4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79ce5ab41f7629f8f674c94fed05f6d1f4b53855","datavalue":{"value":{"entity-type":"item","numeric-id":453199,"id":"Q453199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818520$5F3A2B49-8D7C-446A-AF19-7EC8A4F60E81","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":"Q818520$44AD9D3D-E6CB-478A-B0F7-4F97655CCAD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"772948f2487b02c578217863cb0a65a1011ee253","datavalue":{"value":{"time":"+2006-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q818520$0AFDFD74-2390-4B55-8715-DDB2DEC7C967","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e1a134a629ac67c2db2d21de4f753970754db3f9","datavalue":{"value":"The high/low hierarchy studied by Soare and Cooper induces a partition of the Turing degrees below \\({\\mathbf 0}'\\). The generalized high/low hierarchy introduced by Jockusch and Posner induces a partition on all the Turing degrees. For \\(n\\geq 1\\), a degree \\(\\mathbf x\\) is generalized low\\(_n(\\text{GL}_n)\\) if \\({\\mathbf x}^{(n)}=({\\mathbf x}\\vee {\\mathbf 0}')^{(n-1)}\\), generalized high\\(_n(\\text{GH}_n)\\) if \\({\\mathbf x}^{(n)}=({\\mathbf x}\\vee {\\mathbf 0}')^{(n)}\\), and generalized intermediate if neither \\(\\text{GH}_n\\) nor \\(\\text{GL}_n\\) for any \\(n\\). These classes constitute the generalized hierarchy. The paper's main theorem extends a result of Lerman. It establishes the decidability of the existential theory of the Turing degrees in a language with a constant for the degree \\(\\mathbf 0\\), a binary relation for Turing reducibility, and a 1-place predicate for each of the classes of the generalized hierarchy. A further result gives information about the distribution of Turing degrees within the classes of the hierarchy.","type":"string"},"datatype":"string"},"type":"statement","id":"Q818520$F47ABBA9-0CFE-4294-94E3-6690597D3BC5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b80b8bd1054c5101cd01e496a6e5c79a0223fa9f","datavalue":{"value":{"entity-type":"item","numeric-id":591980,"id":"Q591980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818520$26B00A88-1972-4E1A-8992-5820798FEF27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"86e7d9065663fa3ffd8f6c70df93df9f4742e385","datavalue":{"value":"03D28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818520$9EF8D14E-1F61-4066-8CAD-69AF6A0D72E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818520$5F576AA0-0063-4E5B-A44B-D77727C72939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818520$E16C7CD0-DA15-4BAF-8D80-B9440A392A68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc56c8ecc15b78d932499655433b8e0cbeee73cf","datavalue":{"value":"5013639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818520$145CC88C-BC44-4FE9-9E55-DF1DF1159143","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91fe4280e2e06a0a064865358db087007d3f302b","datavalue":{"value":"Turing degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q818520$85F9CAAC-C063-42E3-9F74-C3A289251556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5d15ad8fc229db84d47e5ae2fdfc0ccd108c92e","datavalue":{"value":"generalized high/low hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q818520$FAF44F5B-DE28-4155-8FF6-8A5B942C9251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q818520$0D7930F8-3F97-42F8-BC54-1A256957AAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d095bd6cc24eec27ac4215660390f5b0d0cf34c","datavalue":{"value":"existential theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q818520$118F1693-7FA7-44F3-9A4E-578C0C76074B","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":"Q818520$62D75FA8-464A-4E5F-AF1B-E7D6DFFEC8CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8de0e06d31a3a4218d0954064ad8df187475db9f","datavalue":{"value":"https://doi.org/10.1007/s00153-005-0304-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q818520$3C993E33-91EE-4F59-8B3F-08883091F4B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e94ac364e1faa315dfd0dbd298198df2f1bddc69","datavalue":{"value":"W2018626936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818520$40B9C619-62F2-4ADA-ADA5-8BA319E8A08B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"630502f4633188214eb873a5b8ff17fa97f68516","datavalue":{"value":{"entity-type":"item","numeric-id":4067085,"id":"Q4067085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818520$55FC6C6B-2246-4B61-BE2F-EE5007E3DCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a35b3d36c195f27a11a2a31a597863eba9bc0391","datavalue":{"value":{"entity-type":"item","numeric-id":5311776,"id":"Q5311776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818520$B35F3DF9-862F-4DC0-B6C4-E0B063464EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f7f5dc4897411d93abbd3a2d3e5175ae629894b","datavalue":{"value":{"entity-type":"item","numeric-id":3984430,"id":"Q3984430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818520$9DCD34AC-8EBA-4D4C-9BC7-A37759FCE038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29936b592ba37ace67c61d1271581ab65646e5e1","datavalue":{"value":{"entity-type":"item","numeric-id":4126330,"id":"Q4126330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818520$B8E7C2C5-6697-421C-9F49-0B2EFA30F9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6a995e56ac1b7709f67e33e673fd3446158ecc2","datavalue":{"value":{"entity-type":"item","numeric-id":4198741,"id":"Q4198741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818520$FA1506A1-ABB3-44FB-8B62-1D6FF956CF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe67cddb1d2e8d4582eb3ba360c56bb29576a54c","datavalue":{"value":{"entity-type":"item","numeric-id":3329452,"id":"Q3329452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818520$0D089BED-91EF-4FC1-905A-52828FA50F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93e5b249e2f8918ae350ae1884f5c3763a4659c","datavalue":{"value":{"entity-type":"item","numeric-id":1073789,"id":"Q1073789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818520$CF253A6D-1F4E-4B69-B4F2-383AE7EA6F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"161d7977236cd7b18235d76101aa5abc400f99ff","datavalue":{"value":{"entity-type":"item","numeric-id":4650267,"id":"Q4650267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818520$597F5A33-7391-48FA-895C-D6F3968C084B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c008f44aea72219beafb17df7c629a39a28069f9","datavalue":{"value":{"entity-type":"item","numeric-id":2560238,"id":"Q2560238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818520$4AB42014-6F3F-46A8-86E5-A03ED4A65794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85142f9eddeae15f922cda6aafc209cf0fdc25c3","datavalue":{"value":{"entity-type":"item","numeric-id":4767305,"id":"Q4767305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818520$C8A96717-67B6-4977-BFF0-46CB2B08F545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818520$C67ED05E-F741-4CBB-824F-CB55B873ACCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6244c8531d054157e3b627c283ca65b04e68a255","datavalue":{"value":"10.1007/S00153-005-0304-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818520$8BD9B47F-4263-458D-A40F-30A8DB829582","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24b8c676ebd6cc7ac6c852c8d9c4b99d3f128829","datavalue":{"value":{"entity-type":"item","numeric-id":3714069,"id":"Q3714069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7988365a964c07890541e581307399210b5251de","datavalue":{"value":{"amount":"+0.8756123781204224","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":"Q818520$CC71A332-A3F0-4072-A546-1E8E2B4D2AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3522d99d1e1bd4f90d22c08d7b08d05285a5f7c7","datavalue":{"value":{"entity-type":"item","numeric-id":3487331,"id":"Q3487331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b29df84ca45ccbddab31bd3697d927a939edcb77","datavalue":{"value":{"amount":"+0.829108715057373","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":"Q818520$E39DAE4B-B903-4172-94C5-C0DA0234DCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3648729c28944e47f04a228c4ae8d5c79f0a761","datavalue":{"value":{"entity-type":"item","numeric-id":5202647,"id":"Q5202647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d2d80118253d0d5633822ab1d48306d13793369","datavalue":{"value":{"amount":"+0.7596029043197632","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":"Q818520$2028BD18-4525-4D7A-93EF-6E5AFD46C054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3239e1a5f9ac81ed2a5b182543ce4bdfa6d7e32b","datavalue":{"value":{"entity-type":"item","numeric-id":4650267,"id":"Q4650267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a077ea8d5f4769bf5b21f4bb6388a31aacde8f8","datavalue":{"value":{"amount":"+0.7531594634056091","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":"Q818520$959EA1F1-763E-463E-9BFB-326283DC114C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ebdcc7168f8e12325521c01719c47c0ed8bcd86","datavalue":{"value":{"entity-type":"item","numeric-id":4032885,"id":"Q4032885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c629ed8947f739d86fb27eda363e4f2bbff0ed08","datavalue":{"value":{"amount":"+0.7510617971420288","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":"Q818520$98DD0A82-7FD7-438A-BAB6-ECACD9540C6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"There is no ordering on the classes in the generalized high/low hierarchies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/There_is_no_ordering_on_the_classes_in_the_generalized_high/low_hierarchies"}}}}}