{"entities":{"Q1120565":{"pageid":1131314,"ns":120,"title":"Item:Q1120565","lastrevid":66170748,"modified":"2026-04-12T08:01:26Z","type":"item","id":"Q1120565","labels":{"en":{"language":"en","value":"Ershov hierarchy and the T-jump"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4101164"}},"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":"Q1120565$A212CA88-FD0E-4C91-B78D-7EFF3F26E127","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecdcdf31d262a441ea0fdc430e3b9065fb7d2ed2","datavalue":{"value":{"text":"Ershov hierarchy and the T-jump","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1120565$7008FF4B-32A3-491F-8BE8-CDA8D8465B2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c9c62d38fa93602524118b2817ab31bb37ce886","datavalue":{"value":"0673.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120565$F3710EB2-C5BC-4464-9DCB-8476614C88BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e19b72624aec9f762623b5d9d896b09173c78763","datavalue":{"value":"10.1007/BF01978401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120565$AAC473F1-5A0B-441D-821A-F1D626AEE00B","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":"Q1120565$B77715CE-B234-4399-B545-FF17629D4D3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1120565$C2C49062-5EF5-491E-B187-84D84E84C861","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f2b8a4dd450586fedbde8a86d9d72995c1a0bcda","datavalue":{"value":"Let \\((O,<_ O)\\) be the Kleene system of ordinal symbols, let \\(\\Sigma_ a^{-1}\\), \\(\\Delta_ a^{-1}\\) (a\\(\\in O)\\) be the classes of the Ershov hierarchy [see \\textit{Yu. L. Ershov}'s papers, Algebra Logika 7, No.4, 15- 47 (1968; Zbl 0216.009) and ibid. 9, No.1, 34-51 (1970; Zbl 0233.02017)], and let ' be the T-jump operator. The following main theorem is proved: 1) For any r.e. set A and any \\(a\\in O\\) not being the least one, there exists a set \\(R\\in \\Sigma_ a^{-1}\\) such that \\(R'\\equiv_ TA'\\) and R is not T-equivalent to any set of \\(\\Delta_ a^{-1}\\). 2) For any r.e. set A and any limit ordinal \\(a\\in O\\) there exists a set \\(R\\in \\Delta_ a^{-1}\\) such that \\(R'\\equiv_ TA'\\) and R is not T-equivalent to any set of \\(\\cup_{b<_ Oa}\\Sigma_ b^{-1}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120565$A5C995C4-A65E-47A9-B1B6-B8DA8C9A06B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120565$3D5D69D2-DE35-4599-856F-ADD89F62509A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120565$11C8A3D6-2513-4C50-8E28-AF89305DE313","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"686c258412b564e3e8f8ce8643f12c69ad5a6e4a","datavalue":{"value":"4101164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120565$8A20E11C-D4E3-4A40-8EC3-319BF8355617","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9649fc525fb189e3596e7fd7d38f6146bf0b9a1f","datavalue":{"value":"Kleene system of ordinal symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120565$868D0908-86D3-4A7D-9A4B-404D44B7D605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bcac6e7742ed502d62642f0ae3ba05e0b03177a","datavalue":{"value":"Ershov hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120565$ACD47C18-8FAA-4CF9-A2B7-2B210B6DAF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed02b8e5096b821e546dcecfec86317afb35bc6","datavalue":{"value":"T-jump operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120565$797AC602-316F-4991-8F65-7EB75B9C9C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61417eef9b86c89890a7412b75345d49c58c3af9","datavalue":{"value":"limit ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120565$20EB4377-5C6B-45A2-BFDD-E23B4BA9BF14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6f4952b674055246aabc00ad86b88076a60bdf","datavalue":{"value":{"entity-type":"item","numeric-id":949620,"id":"Q949620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120565$3B1540C5-C425-4939-9B2B-0EAE5CEC392F","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":"Q1120565$B8A5F192-946D-4BBB-B555-F8D96BE6A584","rank":"normal"}],"P223":[{"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":"Q1120565$EC65E4D7-38AE-4947-A479-1ADE6E6AF0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5129a7405dde77792d88fab9fb84a6469491df9","datavalue":{"value":{"entity-type":"item","numeric-id":1074576,"id":"Q1074576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120565$968407AD-900E-47DA-8577-3DF403502C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1119a51f020ba0abc819c73e7f85915bd62e946","datavalue":{"value":{"entity-type":"item","numeric-id":4723717,"id":"Q4723717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120565$276C84AF-66CA-4E93-949B-20AD073FBDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b39fcacfb292781455b7119d8e582f4040aa22","datavalue":{"value":{"entity-type":"item","numeric-id":3691653,"id":"Q3691653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120565$A822D285-D434-46A3-BADE-CC3B6B68A15B","rank":"normal"},{"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":"Q1120565$910B8612-90B1-487E-BCC7-48E0146C3B9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abc1b4057542637a664fc9a6c47c364acd22d413","datavalue":{"value":"https://doi.org/10.1007/bf01978401","type":"string"},"datatype":"url"},"type":"statement","id":"Q1120565$B43742E8-A7DB-4C8B-B728-3694FAFC60FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a74dc037715710967ac1a24f4ba2b6f019fafce8","datavalue":{"value":"W2034822263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120565$AB3EB284-15DC-4FA1-91D5-E958842DE255","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22f886a5d7729b95dc629f10c0a6537f6ed1aa1a","datavalue":{"value":{"entity-type":"item","numeric-id":695781,"id":"Q695781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"873ed1574b827d6b452aa0275b0ea092422453ea","datavalue":{"value":{"amount":"+0.8704976439476013","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":"Q1120565$905588A0-3A5F-4C05-80F2-B6068A9B6F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f748b752042046baef4b0f52a094804a711ae93","datavalue":{"value":{"entity-type":"item","numeric-id":542199,"id":"Q542199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f573ae5c69a35dea0234c786266110e6725b10fe","datavalue":{"value":{"amount":"+0.8612404465675354","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":"Q1120565$BCE03C7D-4EDC-426E-9951-61F89A129167","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":"b92a3e0f930895348a3a989da126c879b27eaffa","datavalue":{"value":{"amount":"+0.8126415014266968","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":"Q1120565$FA32A30A-C9C6-4963-B5C4-1D4DFD33C893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca6ba3d44f34abe9f9dc76abf326972bcca6848d","datavalue":{"value":{"entity-type":"item","numeric-id":3986256,"id":"Q3986256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaf3e2b9b9a6a3e66c9ef3b92b96c2ad90f3010a","datavalue":{"value":{"amount":"+0.7944467663764954","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":"Q1120565$77317E0A-4258-44E7-A295-E80E0DD6F152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e271e1ff7b56e75662922b0e74986de144e813d","datavalue":{"value":{"entity-type":"item","numeric-id":2898987,"id":"Q2898987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6682e5cc35c6a73ad718f798a5185ec775bc08e","datavalue":{"value":{"amount":"+0.7921839952468872","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":"Q1120565$8D19C497-2FCE-46FE-BAA9-019B066E94F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ershov hierarchy and the T-jump","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ershov_hierarchy_and_the_T-jump"}}}}}