{"entities":{"Q695781":{"pageid":697630,"ns":120,"title":"Item:Q695781","lastrevid":63698259,"modified":"2026-04-11T14:56:20Z","type":"item","id":"Q695781","labels":{"en":{"language":"en","value":"Turing jumps in the Ershov hierarchy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6116195"}},"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":"Q695781$D6269D28-8B10-4698-92D4-F82CF13871CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a06e35519133886562e519c453ff2926bcf3f190","datavalue":{"value":{"text":"Turing jumps in the Ershov hierarchy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q695781$0D13D82C-C6E9-42DB-BC90-7E841385C91F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c274c0792b152b2e5eaa07266dbab81b408d0320","datavalue":{"value":"1287.03094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695781$D3F0C09D-F9C6-4193-A859-85A10B03E91A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc41e9cef31cb7df0cb9ab62403a399872f877b","datavalue":{"value":{"entity-type":"item","numeric-id":465107,"id":"Q465107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695781$643F00B5-F44A-45E3-A110-D912DB356CD3","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":"Q695781$71925D5D-1BFF-4091-9E7F-A7A593AD7D00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"361bffbceda806006d5fec8b3962c6c8e6ce4aff","datavalue":{"value":{"time":"+2012-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q695781$05DC9577-F8A8-4EF0-A16F-634C7FABEE3F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e9fc56dda8678a6a814e87dc6631885d63c1ec9f","datavalue":{"value":"In this paper the authors study infinite levels of the Ershov difference hierarchy which are proper for Turing jumps of degrees. It is proved that if a set \\(A\\) and an ordinal \\(\\alpha<\\omega^{\\omega}\\) such that \\(A'\\in\\Pi^{-1}_{\\alpha}\\), then \\(A'\\in\\Delta^{-1}_{\\alpha}\\), if \\(A'\\in\\Sigma^{-1}_{\\omega^n}\\), \\(n>0\\), then \\(A'\\in\\Delta^{-1}_{\\omega^n}\\), if \\(A'\\in\\Sigma^{-1}_{\\omega^nm}\\) for some \\(m,n>0\\), then \\(A'\\in\\Delta^{-1}_{\\omega^n}\\), and for every \\(n>0\\) there exists a set \\(A\\) such that \\(A'\\in\\Delta^{-1}_{\\omega^{n+1}}-\\Delta^{-1}_{\\omega^{n}}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q695781$5735D00B-D45A-466F-86B8-4BCACC15C016","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7c0f9a5de2afd25d103c132e1617d4201a3c58e4","datavalue":{"value":{"entity-type":"item","numeric-id":591972,"id":"Q591972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695781$3A1CA78B-1B78-4117-AEE0-2C3662EA4810","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695781$F36C837E-1F5B-49B1-A004-FAA295BCEE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86e7d9065663fa3ffd8f6c70df93df9f4742e385","datavalue":{"value":"03D28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695781$88B9542E-D703-4A4C-857F-5ACB50365DA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27cab92acc85a44de218e4a9fec5b73b04424ec7","datavalue":{"value":"6116195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695781$583BB7DD-79FF-447D-974A-4ACA4E230C38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78f1be53d14388f237c4a2441bcae57f5ef06b8f","datavalue":{"value":"Turing jumps","type":"string"},"datatype":"string"},"type":"statement","id":"Q695781$2EE8D40E-0A90-45DC-ABD3-CD37E687EC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bcac6e7742ed502d62642f0ae3ba05e0b03177a","datavalue":{"value":"Ershov hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q695781$AC982C20-0265-4D12-B506-D47610E2ADA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a81236a7f56232f5b9bd79d44dd2b4a900bdb8ed","datavalue":{"value":"constructive ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q695781$BD9F2FE2-3C29-4883-A7B4-1550A0778C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8595bd409b4df078a43cbf1e47ace3192ce68e87","datavalue":{"value":"superlow sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q695781$D889A27B-0674-43C9-BD8B-BABBA62AD560","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":"Q695781$414A912B-3F92-4FD2-84B8-9EBC5D52EAB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d82b3496b59750a30fa35f641f4b440269cb1f01","datavalue":{"value":"https://doi.org/10.1007/s10469-011-9141-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q695781$9EA9C4E9-0857-4244-B9D4-DEE354C7C993","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82075b054ba957d91c739b50648d2ef4bbb7c603","datavalue":{"value":"W2166446114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695781$804195F9-75ED-4005-BE61-3BCC3BB00194","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"59bb3753d4078b0e252803e0d68417e93825dc53","datavalue":{"value":{"entity-type":"item","numeric-id":5619076,"id":"Q5619076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695781$7554A178-836B-45F9-9154-AD557558AD00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f30fa5cb203dfa828e9c57936177288f1a5c5f64","datavalue":{"value":{"entity-type":"item","numeric-id":5619077,"id":"Q5619077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695781$4D733579-F56D-43FD-9FF6-EF0F60BC0D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"136906fbc3e6aae501fbdcdc0b7510f2e5212cda","datavalue":{"value":{"entity-type":"item","numeric-id":2906563,"id":"Q2906563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695781$F76BAC45-07A4-4E97-A552-DCF9291BAAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df547c2d83e692cb81def7608f4e5fc65f94a33","datavalue":{"value":{"entity-type":"item","numeric-id":4128807,"id":"Q4128807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695781$8215FCAD-F817-4B7F-9EBF-3FFF6C0251CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef4d119b96249a259a6fb4119eb0dc81dccf586d","datavalue":{"value":{"entity-type":"item","numeric-id":1295423,"id":"Q1295423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695781$113E149D-BF82-47A4-A045-EA6EB1FECB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc6624a0d309e2148d3de90f27b845bd0418ca1","datavalue":{"value":{"entity-type":"item","numeric-id":5425340,"id":"Q5425340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695781$77A989A6-B42F-4C84-9A08-272A1ECF613B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fcee279a55a4454cca5493f012fd9ef2551cdce","datavalue":{"value":"10.1007/S10469-011-9141-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695781$B85177EB-9DBD-4E02-A97A-9FD4EE055E9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9697101e442dcc505b63506c80a97f32918cdea","datavalue":{"value":{"entity-type":"item","numeric-id":2907052,"id":"Q2907052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7838596e99892cd844709f0adb4c8847ce96f983","datavalue":{"value":{"amount":"+0.9465194","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":"Q695781$39DAB1CB-0CFD-46F0-B537-3CB0CC3A3CE3","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":"ca2e92e6b7f58965ed1c3523a78316bc9ea08a7e","datavalue":{"value":{"amount":"+0.9196979","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":"Q695781$84304C8F-7323-410C-8DF6-6F506762B529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8b8df300963a7e2681f1941032c1f70c7aafb34","datavalue":{"value":{"entity-type":"item","numeric-id":3195699,"id":"Q3195699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdba4b582695ce02b64aa344e0a9def32f7c25c6","datavalue":{"value":{"amount":"+0.89375776","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":"Q695781$67B0DD25-2B0C-42BA-B4D8-0C29130659E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75e0c332f1b875c544342eda971f0185b6781826","datavalue":{"value":{"entity-type":"item","numeric-id":4466450,"id":"Q4466450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bde3ffdd7f267c6608ffe0836158453995076c2f","datavalue":{"value":{"amount":"+0.8881857","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":"Q695781$955957C0-A752-4C30-9B35-2B203299009D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"599f3e7b3f29ed5c490af458d51c385ee1cf9d6f","datavalue":{"value":{"entity-type":"item","numeric-id":1120565,"id":"Q1120565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7faace80add8dee366e30262a61e66ed648fd90c","datavalue":{"value":{"amount":"+0.8835411","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":"Q695781$E977BB56-18D8-4D19-BE25-7F63C2326872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c03d92efcc7437b943b3de01277169ebb3c2b0b","datavalue":{"value":{"entity-type":"item","numeric-id":5316382,"id":"Q5316382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2b672c2b0a44b67436737eeed715bdbcc230c5a","datavalue":{"value":{"amount":"+0.86715513","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":"Q695781$49B6796D-B10A-4497-8057-A8067F673D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91297b7ace76154caf2b963c2eab879b3caeb986","datavalue":{"value":{"entity-type":"item","numeric-id":3984430,"id":"Q3984430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cdb2553560f2517bdd44eb35746757580795b15","datavalue":{"value":{"amount":"+0.86495703","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":"Q695781$CBDF87A8-9986-4D96-8560-647DFCB51C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8cad81ac84efaa031c9540d1ec18bcdc5c5a345","datavalue":{"value":{"entity-type":"item","numeric-id":1757652,"id":"Q1757652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d21093d5079e7b8e352c26816f3c5f7657393430","datavalue":{"value":{"amount":"+0.8580359","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":"Q695781$D9125E6F-B29E-47E1-BABE-00BD77CAD473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"312065bd37b2ee3fcbbe74541a29eab2fac3426e","datavalue":{"value":{"entity-type":"item","numeric-id":2452680,"id":"Q2452680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78bb7677bb9441c71522444fdd3e27f672806e8b","datavalue":{"value":{"amount":"+0.85325944","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":"Q695781$7A707751-974E-498D-8380-22E72508CA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af3562c311ca1cd02c16661b8b405ab769cb3cdf","datavalue":{"value":{"entity-type":"item","numeric-id":4683147,"id":"Q4683147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6df5982f97a94fed35ee113e10f97abdae8a821","datavalue":{"value":{"amount":"+0.8518224","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":"Q695781$99FC0651-2BF8-4416-A108-6CCFC9E13D7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Turing jumps in the Ershov hierarchy","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Turing_jumps_in_the_Ershov_hierarchy"}}}}}