{"entities":{"Q796522":{"pageid":798370,"ns":120,"title":"Item:Q796522","lastrevid":48725887,"modified":"2026-01-05T17:36:12Z","type":"item","id":"Q796522","labels":{"en":{"language":"en","value":"A conjecture of Ershov for a relative hierarchy fails near \\({\\mathcal O}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3865260"}},"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":"Q796522$802BA78D-B222-4F93-889A-EE4CEFEFB1FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca80cf2839fe5bb88a8a975098fe37c5439477b8","datavalue":{"value":{"text":"A conjecture of Ershov for a relative hierarchy fails near \\({\\mathcal O}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q796522$11B85944-0B40-4C2B-98C5-6E8F681A321A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7cbc693e41e7e6e0e5c31f5c236869d304f5e6e","datavalue":{"value":"0544.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796522$ECF573DC-C049-46C1-847A-1390E7C95B6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f26a68be9eff840af8d5cff36905ff5268787d40","datavalue":{"value":"10.1007/BF01978670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796522$7FA091D8-18BC-4116-A3F7-050BB06DE76B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c4579f149912dc7243c91a33ef8c18792f251af","datavalue":{"value":{"entity-type":"item","numeric-id":790104,"id":"Q790104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796522$57D50637-0537-48EC-9A15-9CF289998E5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796522$6B53221B-CB1F-459A-9267-CE87F4343A01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q796522$DF160D24-AC84-4D3C-98EF-0D10875E46B5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f80bc9111ba99eb897dd29fb7b1c9bb83d494730","datavalue":{"value":"Significant properties, of the transfinite difference hierarchy based on recursively enumerable sets, were developed in work of Yu. L. Ershov. Relativization of the hierarchy is a natural topic and, in addition to the obvious means of relativization, Ershov conjectured that two weak relativizations may be equivalent to full relativization. The paper being reviewed refutes one of these conjectures.","type":"string"},"datatype":"string"},"type":"statement","id":"Q796522$6C26F962-69A5-4FBA-A64E-08E8701D2389","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796522$1E11B51A-3CD9-4192-A683-E47D3A1ABBEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"243c2afa843d8c984549cbc068fb65b8644e0a35","datavalue":{"value":"3865260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796522$BF1B4CCF-ADEA-4C90-9995-C34E2E050DAD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe83aa9423ffb2371f027b03e386cded5ee18be3","datavalue":{"value":"Kleene's 0","type":"string"},"datatype":"string"},"type":"statement","id":"Q796522$014B2B7C-C584-4119-BFCC-D77288A7E488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f47e585b5c53025e546c9f1d9ef9877418eafcdc","datavalue":{"value":"transfinite difference hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q796522$63629F53-B91D-47A7-BC2E-4645BD7C8D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f94e95af57d238b1366d3cacc1e7b6fd595d17ef","datavalue":{"value":"Relativization","type":"string"},"datatype":"string"},"type":"statement","id":"Q796522$55CD23EF-F485-4F0B-ACAA-2892451E1842","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f582e34b5a3149f9dd978caf1e255757ff6c7aeb","datavalue":{"value":"Q123195900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796522$E0FE3C3C-03B4-4B1F-87C8-CFC77374F8F5","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":"Q796522$A2E704FF-A0F5-4EB2-B533-81AF41B7232E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a10eebef39fe3c9fac3a406122d64363db372f9","datavalue":{"value":{"entity-type":"item","numeric-id":3919704,"id":"Q3919704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796522$504B566A-AD9D-494C-90D7-B4F9A3500D58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ffa9065c4a84cee65a0b32ef3d58aea799342ac","datavalue":{"value":{"entity-type":"item","numeric-id":2906563,"id":"Q2906563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"540f46122102ae173982b80ca1d0697dbdffd610","datavalue":{"value":{"amount":"+0.8231306672096252","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":"Q796522$1338DB8E-C1D0-42F8-83FC-1F26A4849D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e0e38246d2475633153612bebb33f7b1849615b","datavalue":{"value":{"entity-type":"item","numeric-id":1074576,"id":"Q1074576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78bda88765c8b7e642f8345f78315f4e3ff50bc7","datavalue":{"value":{"amount":"+0.7973832488059998","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":"Q796522$3CB32566-2E7A-48B9-9779-49C8EC46CBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"685590c15bc807db171a04449a659b3d0df606ff","datavalue":{"value":{"entity-type":"item","numeric-id":3567853,"id":"Q3567853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b401abd0046bfc70b4bcd5e48b615bf20e88a1","datavalue":{"value":{"amount":"+0.7890991568565369","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":"Q796522$19953DAE-0D0A-452E-BA82-231062515431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65eb9dcc54df3a30cef88e562d274ed3152929e6","datavalue":{"value":{"entity-type":"item","numeric-id":2518068,"id":"Q2518068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baed78407ca6ba5832445168e87b9a6df346a4b2","datavalue":{"value":{"amount":"+0.7715461850166321","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":"Q796522$7EEAE75B-7A3C-4D38-BA3A-5526A1DEC1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2027756dcbba7b4e1e69a8af0049e13e07d7fc1c","datavalue":{"value":{"entity-type":"item","numeric-id":3656420,"id":"Q3656420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbd2c67c5790e242f66ccbbf2f6b9a645b07c5eb","datavalue":{"value":{"amount":"+0.7699195146560669","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":"Q796522$3C1A4BB6-9446-491C-B883-5AE41854B627","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:796522","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:796522"}}}}}