{"entities":{"Q926177":{"pageid":928025,"ns":120,"title":"Item:Q926177","lastrevid":65396007,"modified":"2026-04-12T02:18:26Z","type":"item","id":"Q926177","labels":{"en":{"language":"en","value":"Degrees of difficulty of generalized r.e. separating classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5278967"}},"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":"Q926177$EA453809-86DC-407C-9AF9-03F10FDEAB84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26f6a1f8b96304099e066d9617f593a1b4ea4317","datavalue":{"value":{"text":"Degrees of difficulty of generalized r.e. separating classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q926177$B1BB13E7-15B7-4FF2-8B09-48C6E470ED44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe1077e2d68deb242f8daa3ec213cb8827dc973f","datavalue":{"value":"1151.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q926177$90037B29-60F7-478E-B50E-653EE90764DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"145c03530c940241521ed95376f4dbe1797e1d36","datavalue":{"value":{"entity-type":"item","numeric-id":524277,"id":"Q524277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q926177$3A746830-0E44-4A00-86FC-4E842DB50FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f10e74d2799a0f84c55f8d253157b843029c56b","datavalue":{"value":{"entity-type":"item","numeric-id":926176,"id":"Q926176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q926177$F67E2A0D-DD7F-4982-9390-6D1AC3DD1414","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":"Q926177$AE71D7A1-B871-419A-AF31-AB63D49C4F9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a60b22f65030c66c88fd25d85f3a322a9abcc710","datavalue":{"value":{"time":"+2008-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q926177$083FCDF4-5BA4-425A-8C35-3F153418B7CD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"88f87522ba2e64c8ba7b981fbd3a7831d0ea5313","datavalue":{"value":"This paper presents results about Medvedev degrees of certain \\(\\Pi^0_1\\) subclasses of \\({^\\omega\\omega}\\). For \\(P,Q\\subseteq{^\\omega\\omega}\\), \\(P\\leq_MQ\\) iff there is a partial recursive functional mapping \\(Q\\) into \\(P\\). The Medvedev degrees are the equivalence classes naturally generated. For \\(1\\leq m< k\\), call \\(P\\) an \\((m,k)\\)-separating class if there are r.e. sets \\(A_0,\\dots, A_{k-1}\\) no \\(m+1\\) of which have nonempty intersection and \\(P= \\{f\\in{^\\omega k}: f(x)\\neq i\\) when \\(x\\in A_i\\}\\). Let \\(S^m_k\\) be the collection of Medvedev degrees of \\((m,k)\\)-separating classes. The paper focuses on the compositions of these collections and how they vary with the indices \\(k\\) and \\(m\\). It is shown that each \\(S^m_k\\) is a densely ordered upper semilattice, but not a lattice, in which any countable partial ordering can be embedded.","type":"string"},"datatype":"string"},"type":"statement","id":"Q926177$3D83B1A5-0BC0-4697-96B3-51A9EFB69629","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":"Q926177$C011CCC8-F376-47A7-A449-353A32DBEE12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q926177$7B30EAFF-0501-49C7-B90B-90BEE8A3A805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q926177$DFB33F88-D76A-46A6-B998-FF84CAD3EF05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7c754a5d516c2eae14aa7644794ea557c7f5300","datavalue":{"value":"5278967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q926177$0347BC01-0991-4045-91D1-7DA03BFF86D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e17866a848f6ccf1481c171a51ff33327894d4f8","datavalue":{"value":"Medvedev reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q926177$8418AC10-CF38-4281-A3F6-A7CEAFECFF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bad8e07ae101ed5d67f75dcec6676aab33cbea5","datavalue":{"value":"Degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q926177$19374E56-46B1-493F-9935-063773F46CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c044babfc2506d4bbe6c677cbbb88199c39a238","datavalue":{"value":"Separating class","type":"string"},"datatype":"string"},"type":"statement","id":"Q926177$13869B64-7D96-4681-98E9-322FC5B2F3C8","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":"Q926177$AE332DEE-1AE8-4186-8BC5-BE3DE35CAD5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ebcd1a23fa17e40ced989e02c1019571eaeec43","datavalue":{"value":"https://doi.org/10.1007/s00153-007-0058-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q926177$F1D48F5C-E041-446C-AB25-09547D635EFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aeaffa9af845c09ebb501a839e2179755eefe543","datavalue":{"value":"W2011747023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q926177$F43E5A5D-93D4-4DAE-A51B-7E2380C14928","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffedddb6f293e27acd2bd482492b17ada9c7c2aa","datavalue":{"value":{"entity-type":"item","numeric-id":4419261,"id":"Q4419261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q926177$9B2BAFDD-6397-4A6C-94C9-6997120EBBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b33c4b7dc773f2cab6f4a09074f0a20e9496c47e","datavalue":{"value":{"entity-type":"item","numeric-id":701736,"id":"Q701736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q926177$21F194A0-5980-4098-9432-6761CC4481C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4a20f12a74f14830dc0b5eb24b309dd30cff81b","datavalue":{"value":{"entity-type":"item","numeric-id":4934277,"id":"Q4934277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q926177$C1D47732-245B-4962-87C9-EC155BAA0F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79fad86482c3e0239b0aa56ae74cd34945d945b","datavalue":{"value":{"entity-type":"item","numeric-id":1407612,"id":"Q1407612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q926177$B02F0F31-A69C-4838-9C8B-6F9A3A7F9016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"238fd29f8ac226411b59375cbcf60013cf861c4c","datavalue":{"value":{"entity-type":"item","numeric-id":2543461,"id":"Q2543461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q926177$FD3B5F75-37BA-4FAB-A257-7C9BF955BBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5cf8fa535605290547950c58b065116b31c50c3","datavalue":{"value":{"entity-type":"item","numeric-id":1188502,"id":"Q1188502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q926177$B6FDCF5B-F80B-411E-99F5-F10A596FF53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4048e028f0bc35874857035c76f559321e287a3","datavalue":{"value":{"entity-type":"item","numeric-id":3370625,"id":"Q3370625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q926177$2E574CA8-B6F8-4618-BCD5-A62BBDC5139F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ff3ee344aec79594763bc8e30b4387c6e576b5","datavalue":{"value":{"entity-type":"item","numeric-id":4863250,"id":"Q4863250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q926177$3A197572-67B1-4213-BFFD-29473E5A1689","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea76abc63bd073f6d1dd37c6f160bafb27b56924","datavalue":{"value":"10.1007/S00153-007-0058-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q926177$0A69D015-95E9-426F-87F6-C9A69EF7F29A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1178a8421cafbd832426a583f103f075e89878a2","datavalue":{"value":{"entity-type":"item","numeric-id":4921443,"id":"Q4921443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcbe811f7ad2774148d02610fdb94e66453bcafe","datavalue":{"value":{"amount":"+0.928707242012024","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":"Q926177$88B9CE6F-A217-4AA8-8C4D-36C2032A3A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc22543ef32b632b16450a090c5ec79907234a4d","datavalue":{"value":{"entity-type":"item","numeric-id":1407612,"id":"Q1407612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5239b626fc569ebf7a9c1325f1abdec518c41ae0","datavalue":{"value":{"amount":"+0.8193849921226501","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":"Q926177$791B8493-8E99-4C6D-901A-06C2A6288E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca4701960e4756fce9976558ea2de1ca750ecbac","datavalue":{"value":{"entity-type":"item","numeric-id":920085,"id":"Q920085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5afc8dc1e18f778ade035c14700aec5fb0a71c83","datavalue":{"value":{"amount":"+0.8106600046157837","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":"Q926177$6EBB0BA2-4E3C-485B-AF77-7BE075B45970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cece203735d6b254bd22f75fb1e48ac6cafc68e0","datavalue":{"value":{"entity-type":"item","numeric-id":948754,"id":"Q948754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4399387bc121aba75ea81e2a87f9adc56df054b8","datavalue":{"value":{"amount":"+0.79510498046875","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":"Q926177$65C7B656-D542-4BAF-8410-F4DA75E8590A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e1949008ed6958ee9be8fd0b286be8dde993580","datavalue":{"value":{"entity-type":"item","numeric-id":5740675,"id":"Q5740675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c656bf290dda624fc8432fdb483b0da30a9cb691","datavalue":{"value":{"amount":"+0.7811480760574341","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":"Q926177$5757018F-FB18-4B55-BD77-EC02FF196F7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Degrees of difficulty of generalized r.e. separating classes","badges":[]}}}}}