{"entities":{"Q695803":{"pageid":697652,"ns":120,"title":"Item:Q695803","lastrevid":63698403,"modified":"2026-04-11T14:56:23Z","type":"item","id":"Q695803","labels":{"en":{"language":"en","value":"Positive undecidable numberings in the Ershov hierarchy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6116206"}},"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":"Q695803$8DF64B28-5EA5-494D-B61A-74E9FC412C86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd2e1bdbbc4e1d949cca0a5bb0e91e30dc7f9473","datavalue":{"value":{"text":"Positive undecidable numberings in the Ershov hierarchy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q695803$25B410F8-F770-4D3F-9307-6E15A78F03D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"788009492e720c2485595a6410351fb5dc904fca","datavalue":{"value":"1287.03092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695803$A7C272E6-5F3F-415E-BAE0-1E268C4955F2","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":"Q695803$6171D45D-F6E5-4D7E-A112-75FD6CD9CEEB","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":"Q695803$729A3E04-2DB0-4C5C-B606-7FC1F23A8A2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6e605a5191e346a6d3e86c398cd0163222d12fc","datavalue":{"value":"http://nur.nu.edu.kz/handle/123456789/971","type":"string"},"datatype":"url"},"type":"statement","id":"Q695803$C54210AD-0358-4908-8594-9B28DA1D3BA0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1311c9b521ea5e44bcbd5cd435afc7298235236b","datavalue":{"value":"In the paper under review the authors give a sufficient condition under which an infinite computable family of \\(\\Sigma^{-1}_a\\) sets has computable positive but undecidable numberings. Here \\(a\\) is a notation for a computable ordinal \\(>0\\). In particular, it is shown that if \\(a\\) is a notation for an infinite computable ordinal and \\({\\mathcal A}\\) is an infinite family of \\(\\Sigma^{-1}_a\\) sets containing an \\(n\\)-c.e. set, then \\({\\mathcal A}\\) has infinitely many computable positive undecidable numberings, which are pairwise incomparable with respect to Rogers reducibility.","type":"string"},"datatype":"string"},"type":"statement","id":"Q695803$335CCF40-FF05-4A94-90C6-94DAA85CCB9E","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":"Q695803$3FBC24F1-FF6E-4596-99D9-66134262DC40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695803$0A595B34-7819-40FE-9905-9531FF885524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695803$84221FA3-F9A8-4A20-A8A7-10184E5B9AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695803$8AA6C38D-8901-4D16-B6F0-A9F36CF8AA78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7bea4264c04244419bdf32895e69e735041035c","datavalue":{"value":"6116206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695803$65D6315D-903B-4BAD-A226-9156937E7954","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bcac6e7742ed502d62642f0ae3ba05e0b03177a","datavalue":{"value":"Ershov hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q695803$346C3A8A-D663-4C3E-B2A1-07EE67FC7794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d058fcdd84a00bf4b1c49e054bbd5955682b6009","datavalue":{"value":"families of \\(\\Sigma^{-1}_a\\) sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q695803$BCC75D7D-4560-48E1-9011-B5FF1F4876DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a11afaebd110ca72312dfe3357600071ff20424","datavalue":{"value":"computable ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q695803$D5B2369B-AF54-4F65-8C9B-A6BDC9CF4B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b0add2dee92024dccadba598c2f74890d7c90ba","datavalue":{"value":"positive numberings","type":"string"},"datatype":"string"},"type":"statement","id":"Q695803$4A04F02F-E0B1-4507-90C2-EF8C20E75FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"055c2ba60ffb25719323ad9fe48bdef2e9862249","datavalue":{"value":"Rogers reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q695803$227E0C9C-C510-4A29-A958-F6B390DC0062","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"365b81bf923ee7ef2cd00cdf551ca8c21283e10d","datavalue":{"value":{"entity-type":"item","numeric-id":1734276,"id":"Q1734276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695803$8F6BB7A9-8477-4622-A9A3-55A375F11EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cb78a179ab7f7671775d8afe3c2e6cdc5cf26c4","datavalue":{"value":{"entity-type":"item","numeric-id":242615,"id":"Q242615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695803$DEA570D6-42F3-4577-BF3E-525920DF71AC","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":"Q695803$757C8039-F67A-402A-B010-5FFF06D5F4B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1aeb41a3787c9bb075a0a68c3eb446af13eb7b28","datavalue":{"value":"W2033860122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695803$59AAD6C6-A200-4BC7-B16F-3EAECDB5BCDB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64f06b09052275055ade11961abafdb50f2d7f50","datavalue":{"value":{"entity-type":"item","numeric-id":4451656,"id":"Q4451656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695803$DC79CF18-1971-4352-B02F-C5F65D37C085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09379f6dcac2e776d382e07e63cbf40d4a22470c","datavalue":{"value":{"entity-type":"item","numeric-id":2709299,"id":"Q2709299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695803$36468A6B-1BCF-416C-A668-9EA734F03153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c206c27a7c3caa00b86743081d4b01adacc9bd0","datavalue":{"value":{"entity-type":"item","numeric-id":4133618,"id":"Q4133618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695803$04A9FA24-C408-4081-AC70-9A4864592E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed66d0915dbfe9acf4a73d86f2257c1271c53e0b","datavalue":{"value":{"entity-type":"item","numeric-id":4513962,"id":"Q4513962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695803$9392CD0C-D90C-4CFE-9350-69AE48BEAA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695803$2B8C85F9-B12A-4A01-987E-121318FC582D","rank":"normal"},{"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":"Q695803$5E3FA65F-6B25-49B9-B8A9-70337752A867","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":"Q695803$7826F5AC-75EA-4B23-BC29-91403339F0A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da8c6a6165b3a642c3b85cac38028b3163bd49cf","datavalue":{"value":"10.1007/S10469-012-9162-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695803$25D3A852-8056-423F-AB48-826655F9E341","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14fcaba9c16ba0b67f6a5a34364d99b84efdf133","datavalue":{"value":{"entity-type":"item","numeric-id":4451656,"id":"Q4451656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"158c15c4d6588725bd8e66e95ac0a8b89d2e8ec8","datavalue":{"value":{"amount":"+0.8993790745735168","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":"Q695803$91EC55A7-21C5-4B91-B039-AEDE52D1B769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"995b5cfff20dbf74e946a7e2c3f8f191a821005e","datavalue":{"value":{"entity-type":"item","numeric-id":1948664,"id":"Q1948664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32eea78a3feb865d654910f85266433feacab156","datavalue":{"value":{"amount":"+0.8441449403762817","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":"Q695803$480FFF74-0923-4B23-8FF7-EE38BB19570F","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":"4124e8c67c612ac3d4fb5e261f448359ef74b8a8","datavalue":{"value":{"amount":"+0.8402894139289856","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":"Q695803$9482A18C-1510-401E-8568-59285D23F3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7900c93209cc92a37e3e2e06fafc49cc2862164b","datavalue":{"value":{"entity-type":"item","numeric-id":2213918,"id":"Q2213918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15859e78ae36d1ffb6391c8861f77a2c78a5e266","datavalue":{"value":{"amount":"+0.8295235633850098","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":"Q695803$97A36094-1F7F-45B1-9D90-242E494729C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac8f366bb7bfbea45174af25f94932c8130596c8","datavalue":{"value":{"entity-type":"item","numeric-id":2300737,"id":"Q2300737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36c2fa6a57bb346f1f3cb8785071144bd84efb2b","datavalue":{"value":{"amount":"+0.8246082067489624","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":"Q695803$98D4886C-DDF9-44FA-8F1A-802F1BDE98B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Positive undecidable numberings in the Ershov hierarchy","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Positive_undecidable_numberings_in_the_Ershov_hierarchy"}}}}}