{"entities":{"Q535145":{"pageid":536912,"ns":120,"title":"Item:Q535145","lastrevid":51241541,"modified":"2026-01-17T10:04:45Z","type":"item","id":"Q535145","labels":{"en":{"language":"en","value":"Immunity properties and strong positive reducibilities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5886773"}},"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":"Q535145$97A43682-B575-4F2B-B90C-7480BC50E264","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c20be14b44f15397d2f1b3038d347dda689d5156","datavalue":{"value":{"text":"Immunity properties and strong positive reducibilities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q535145$FCF24169-E702-4A8E-9962-B1268014F33B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d124d24ed66d0a39c10e9c91fdb2a7cdfa963344","datavalue":{"value":"1231.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535145$1E71787B-9DDC-422B-AF19-BBE73260CD58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d23ee9f76e8cf895a3f27ba8e588dfa55eaf40f","datavalue":{"value":{"entity-type":"item","numeric-id":535143,"id":"Q535143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535145$BD2975D6-0961-4427-836D-1603AF926C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"760aea6a29168acdca880977efcbbf48e149fc50","datavalue":{"value":{"entity-type":"item","numeric-id":535144,"id":"Q535144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535145$11181C69-AC97-437D-956C-E73F702A9FEF","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":"Q535145$2780B105-7EC1-4188-91AC-23877435E17C","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":"Q535145$4DC8C0B7-9457-4BA6-955D-3BBEC8D909B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"48dcea6cafeaa3b44f87e092d3e836e753750797","datavalue":{"value":{"time":"+2011-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q535145$EC8A5C8D-9BEF-4E4E-8E1D-0FD44F47B40C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3e1fe22861c2cc5293694bcc2f5f09ebf13b471c","datavalue":{"value":"The paper's results turn on reducibilities derived from \\(Q\\)-reducibility. Recall that \\(A\\leq_QB\\) iff, for some computable function \\(f\\) (the reduction function), \\(x\\in A\\Leftrightarrow W_{f(x)}\\subseteq B\\) for every \\(x\\). For \\(B\\neq\\emptyset\\), say \\(A\\leq_sB\\) iff \\(\\overline A\\leq_Q\\overline B\\), and \\(A\\leq_{\\overline s}B\\) if this holds via a reduction function \\(f\\) that makes \\(W_{f(x)}\\) finite for every \\(x\\). A main result is that a set \\(A\\) is hyperhyperimmune iff there is no infinite subset \\(B\\) of \\(A\\) for which \\(\\overline K\\leq_{\\overline s}B\\), where \\(K\\) is the halting set. It follows that no set \\(\\geq_{\\overline s}K\\) is hyperhyperimmune. Parallel characterizations are derived for hyperimmunity and for hyperhyperimmunity among \\(\\Sigma^0_2\\) sets. A corollary answering an open question is that the hyperhyperimmune \\(s\\)-degrees are not upward closed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q535145$9A43FB30-8533-4ED4-A7D5-8C7858B7F33F","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":"Q535145$A0D02478-6128-42EA-A16B-C734E746BD59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535145$128236FC-E4BB-49DE-8DAB-087EFB6A4A8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3cb2d18348f78c5013128ac2dbc82a58354bddd","datavalue":{"value":"5886773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535145$8B349877-4FC1-49E4-8866-99847EF5C16C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9878197410f1484ffaa5724b19a77878aa6e507c","datavalue":{"value":"\\(Q\\)-reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q535145$2D26A3AD-8A1B-4084-97FF-ADD0C813EDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4386c66368b64c166a91f61603bbb12df30ae529","datavalue":{"value":"\\(s\\)-reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q535145$D2609851-7E1C-4FAB-BFE5-BDEBDA19D430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01b0bde461974a7985232b09c06c37d38ee172a4","datavalue":{"value":"hyperimmune set","type":"string"},"datatype":"string"},"type":"statement","id":"Q535145$BD6AA820-3323-47B2-B16C-2B076733F774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23c82181b170c941048d053d1e0ff234565a53ec","datavalue":{"value":"hyperhyperimmune set","type":"string"},"datatype":"string"},"type":"statement","id":"Q535145$479186ED-2621-48B3-B989-B171B149D299","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":"Q535145$05E32BB0-82A7-4706-91F6-2852F7967074","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"712c5d7897f1f7522df59dff24d12b02e177397c","datavalue":{"value":"https://doi.org/10.1007/s00153-010-0216-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q535145$5A6447A8-26B5-4E62-88A9-37FFEF9A4F19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f3c66a5fcaaac49db91f600fc96c90702d5bb0e","datavalue":{"value":"W2084571768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535145$1F6FD89F-3727-4232-A5F3-8B08E11D2500","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d6044432ef843ecf2040393a2331eeb89e3596e","datavalue":{"value":{"entity-type":"item","numeric-id":3789543,"id":"Q3789543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535145$52851B29-66CA-4558-9B9B-499B74B22243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0fe5e2690e8aa5db86fc37ab1eba592d8077faf","datavalue":{"value":{"entity-type":"item","numeric-id":3843613,"id":"Q3843613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535145$88375823-71F1-4BB3-A01F-E67C24B6717B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b21d1a3439f28d02b5e1fbc89d2d9ce035d62c69","datavalue":{"value":{"entity-type":"item","numeric-id":4049050,"id":"Q4049050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535145$5B3112B9-B992-459B-AAE9-245D0EF49E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feb43c963cfb9c7ca49d5c22e26ebf410c3daf88","datavalue":{"value":{"entity-type":"item","numeric-id":1803017,"id":"Q1803017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535145$3C62AF5F-5334-44EB-B7A8-312F95D5AC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b86a74c74817b30f11cae5adfb2f69cf2859891","datavalue":{"value":{"entity-type":"item","numeric-id":5502826,"id":"Q5502826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535145$AB4CB096-60EB-4A01-AB92-053212B8D519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e847c9cc3d61cbe204a27aabb060bc6f93347281","datavalue":{"value":{"entity-type":"item","numeric-id":4933473,"id":"Q4933473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535145$97B67988-58EE-4507-ADBA-A9BAD9DF90B1","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":"Q535145$A8678797-50D7-42DF-BEAB-44EC92E081B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d105e09f2924ff7768e38a04027c7e3217fdb78","datavalue":{"value":{"entity-type":"item","numeric-id":5689263,"id":"Q5689263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535145$F60D7071-159E-45A4-999E-4F6F9171516E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14848d75055264336e8f5e153d3b4a30fe5be43c","datavalue":{"value":"10.1007/S00153-010-0216-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535145$51E28880-3C39-46A4-8D60-C72A56264D17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"323f45b60176d6bcf78565ad7364b8c9d3386a4d","datavalue":{"value":{"entity-type":"item","numeric-id":5502826,"id":"Q5502826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"624bca1315e56681655924380a66904f6288dad2","datavalue":{"value":{"amount":"+0.849703848361969","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":"Q535145$860C31D0-B591-4195-977A-412E3A351378","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":"95b317b519150170e39a2da467970e10f767e77a","datavalue":{"value":{"amount":"+0.8413361310958862","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":"Q535145$D9680357-213B-4FE1-B7AD-36AEB19C2B60","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":"e9ddc7d14be7aaa87f56b104e8386855526dd5c7","datavalue":{"value":{"amount":"+0.7968164086341858","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":"Q535145$560DAA99-44F0-4D69-AB41-9C2FCC7F5218","rank":"normal"},{"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":"2c8f29ce0f8ba525d4dc4fa236538bb3a1d7818c","datavalue":{"value":{"amount":"+0.7948297262191772","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":"Q535145$B53DDDAC-5E42-4C9C-B3F1-96E8C2A417CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03b89bb90edb9fdb29ba21853cf4b9d47958f0e3","datavalue":{"value":{"entity-type":"item","numeric-id":2349101,"id":"Q2349101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c187ddf842822bbc7803415370523c4418f357f","datavalue":{"value":{"amount":"+0.7839552760124207","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":"Q535145$9FD0A52A-3176-47F0-8DB4-305ECF83AF73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:535145","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:535145"}}}}}