{"entities":{"Q1820774":{"pageid":1831516,"ns":120,"title":"Item:Q1820774","lastrevid":70909083,"modified":"2026-04-13T18:10:43Z","type":"item","id":"Q1820774","labels":{"en":{"language":"en","value":"Effectively hyperimmune sets and majorants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3995653"}},"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":"Q1820774$C192B0F7-FBBA-4551-B708-0BFAAB6FF668","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cab1555db45cb2361c318367c78c0f1d5358821e","datavalue":{"value":{"text":"Effectively hyperimmune sets and majorants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1820774$36968B5C-D33F-4426-B543-7E81E75ADC34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac82d1ec05fcceda788894c10342d7855f29a615","datavalue":{"value":"0615.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820774$ED94AD7E-876E-431E-BBE5-D3C9D2163827","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f86e0f23c25aaec7afd4ef015a606d3fe5d917f","datavalue":{"value":"10.1007/BF01156252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820774$A9BB672F-0C0A-44ED-85D9-E26EFEF66413","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820774$4B70A3E3-2C6E-488E-8492-1CDDD19F4D7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1820774$BEF0F56C-1B28-46C4-ADE3-8829DEE3CC53","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"36558377b3431bf8f157dad1140f8b44b78db2d3","datavalue":{"value":"The main results are: i) every effectively immune set which is a Boolean combination of r.e. sets has Turing degree 0', ii) every effectively hyperimmune set is effectively immune, iii) every infinite set which majorizes all p.r. functions is effectively hyperimmune, iv) every effectively hyperimmune set majorizes all recursive functions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820774$0B7B7BDE-50D8-45B1-8EB5-48116290C682","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820774$C9227B62-7548-4A50-AB57-AA16197B348A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93a32f8e19987b6cba54519ff0e4d022d8f46e72","datavalue":{"value":"3995653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820774$C9415A89-2B79-4A57-93C9-F935AB8E855F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"624fd9a80b9399dbdf455fa41fc25a0054da91d4","datavalue":{"value":"effectively immune set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820774$2891BF1C-7FD8-4E90-8938-C5A3A17DF3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"948cc8cdb885a280b485e2da2b71f5dbbc318ce4","datavalue":{"value":"Turing degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820774$AE13A9E6-D3BC-4CEE-ADD8-0220CE0DB165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec0b835fd0cc6837812bb353cd93008e02ffc471","datavalue":{"value":"effectively hyperimmune set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820774$0C0FB59D-9C57-441B-85CB-76A4D5813462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c92f25b9ea895f2b57606a79389bb66216727043","datavalue":{"value":"recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820774$CD668A7A-A63E-41AE-84B6-B701372F5D3B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30415e6ad9c1e5531320c28783617eadd8066642","datavalue":{"value":{"entity-type":"item","numeric-id":591972,"id":"Q591972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820774$6F3FA8F4-258E-40C3-BF09-1E45B4BD377F","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":"Q1820774$8C844B8C-DD38-44F4-8A67-1B6116EC631E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ded1761dd7908dae64959ee0ec62b467426e8b","datavalue":{"value":{"entity-type":"item","numeric-id":5586285,"id":"Q5586285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820774$12BC892A-9FFE-4BB6-B8BF-8CC9B50EE8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23fa26ce4aac639e17577787f3365383768c5119","datavalue":{"value":{"entity-type":"item","numeric-id":5619820,"id":"Q5619820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820774$77794F0E-B0C2-48AF-8801-AF739BB8BCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"449bc1c606ad787509077edbb07a4c5c7350e04f","datavalue":{"value":{"entity-type":"item","numeric-id":5536627,"id":"Q5536627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820774$006AD56A-8A14-40A6-BBDF-C0D26FDEF519","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":"Q1820774$40922533-6934-4E89-9E16-87DFA1775CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d938e2cf16a516c25169e92ed68817a27d01f44d","datavalue":{"value":{"entity-type":"item","numeric-id":5845382,"id":"Q5845382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820774$D29E9D31-183C-487C-AE73-3B9704DFFD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad65e1140536fb9bffcbfc60738a66ea663116a","datavalue":{"value":{"entity-type":"item","numeric-id":5596776,"id":"Q5596776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820774$0B0DCE1F-5BBE-4E2A-92FB-92A1E1448E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb827479ee47aefe70708d3dd2d2063e28816396","datavalue":{"value":{"entity-type":"item","numeric-id":4404867,"id":"Q4404867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820774$3C735F10-6CCB-41B8-99DF-E24619D7F8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7e7ec1baf82356ebaec0bbff51b202d27d00b8a","datavalue":{"value":{"entity-type":"item","numeric-id":1218849,"id":"Q1218849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820774$24F7ECCD-6259-40B1-882D-C49DC863733D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18c66888be84d954d5e16a9e3fe8f94639731d7d","datavalue":{"value":"https://doi.org/10.1007/bf01156252","type":"string"},"datatype":"url"},"type":"statement","id":"Q1820774$BE24BDE8-4573-4243-8CE0-BB37611A7ADE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"552bc3e204c58740631aa54eb9b1c0849f9df0de","datavalue":{"value":"W2009837012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820774$F029C6FC-59B7-4F11-8A24-5C6472F3C237","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e6c2bf6ab0e71ad1008867a30ba86a1295623f","datavalue":{"value":{"entity-type":"item","numeric-id":3755446,"id":"Q3755446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8deea3b2e74b539a6ff22b5761f67c5947d8fc3d","datavalue":{"value":{"amount":"+0.9033263921737672","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":"Q1820774$E0FF2245-8CA3-441A-A8FA-B3CFCE406D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a373a56652a47a4f05a5574f7d0b505d3c7f890f","datavalue":{"value":{"entity-type":"item","numeric-id":3328533,"id":"Q3328533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"782553436eb918d7d8e11e52b760e3c1e7555127","datavalue":{"value":{"amount":"+0.8069944977760315","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":"Q1820774$214AF86E-1C88-4F63-8171-5DA11FC570A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0dd7e45a0060e25e6b224e3fe42b71ea98a1508","datavalue":{"value":{"entity-type":"item","numeric-id":3712327,"id":"Q3712327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1654cfa5e80ce7a4ebb54aab1e345952c84909bd","datavalue":{"value":{"amount":"+0.7759616374969482","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":"Q1820774$787E7791-CB3F-4D57-8DDF-04EF2CD29486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11ee4027d9b32027b31a3be617ee35aefe331aa","datavalue":{"value":{"entity-type":"item","numeric-id":1586994,"id":"Q1586994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01345a6f66c267ee12464cb3f9d74219819ecf16","datavalue":{"value":{"amount":"+0.7635571360588074","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":"Q1820774$9EA819AA-7E43-41AE-A637-C6744AB7BF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be0ea6bde2a2bf81a72f44d5ee1662709dac93c8","datavalue":{"value":{"entity-type":"item","numeric-id":4933473,"id":"Q4933473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41900414280bf047a9f99a8d66e707ee25e3aaeb","datavalue":{"value":{"amount":"+0.7618666291236877","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":"Q1820774$F1EF795E-80DE-47F2-A41C-17BA5A17510C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Effectively hyperimmune sets and majorants","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Effectively_hyperimmune_sets_and_majorants"}}}}}