{"entities":{"Q1344547":{"pageid":1355286,"ns":120,"title":"Item:Q1344547","lastrevid":67662798,"modified":"2026-04-12T19:12:58Z","type":"item","id":"Q1344547","labels":{"en":{"language":"en","value":"Iterated relative recursive enumerability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 722178"}},"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":"Q1344547$6927D43D-6142-4304-AEEF-53A9D458EE14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2cf7e2511fa0cc0c2e9b021cae669e02e6e40d03","datavalue":{"value":{"text":"Iterated relative recursive enumerability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1344547$DD3A6B48-3C3F-4403-A5B5-6B91F7668552","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02f7425b23286b6bd34facd0976d28b21c15b90e","datavalue":{"value":"0810.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344547$7F251F4E-800B-44D0-8852-9435BEED7750","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a3b21c3538f8c1404d1e20d967ccab2d7de6a07","datavalue":{"value":"10.1007/BF01278463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344547$2C243842-1C0E-41D1-A188-540D284B2C3B","rank":"normal"}],"P16":[{"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":"Q1344547$0CA2AAD2-8A9D-4FAF-99B7-BD776AF8DDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"013387cf05741829c5cb1447cab126ab3f6ccb0e","datavalue":{"value":{"entity-type":"item","numeric-id":435198,"id":"Q435198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344547$B87ECE1D-A49A-40FB-9975-0AAFF0A11005","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":"Q1344547$8D135B0A-4ECC-4A18-9EF7-F503C23091F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13b74804618c57ee35b990cf82f55e89bccfb918","datavalue":{"value":{"time":"+1995-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1344547$9EAF514A-CA59-4D54-A3A1-B891306E68D9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a451e8887b7db6e24a9f4acf5e42ceb0c6b3caa0","datavalue":{"value":"A result of Soare and Stob asserts that for any non-recursive r.e. set \\(C\\), there exists a r.e.\\([C]\\) set \\(A\\) such that \\(A \\oplus C\\) is not of r.e. degree. A set \\(Y\\) is called [of] \\(m\\)-REA (\\(m\\)-REA\\([C]\\)) [degree] iff it is [Turing equivalent to] the result of applying \\(m\\)-many iterated `hops' to the empty set (to \\(C\\)), where a hop is any function of the form \\(X \\mapsto X \\oplus W^ X_ e\\). The cited result is the special case \\(m = 0\\), \\(n = 1\\) of our Theorem. For \\(m = 0,1\\), and any \\((m + 1)\\)-REA set \\(C\\), if \\(C\\) is not of \\(m\\)-REA degree, then for all \\(n\\) there exists an \\(n\\)-r.e.\\([C]\\) set \\(A\\) such that \\(A \\oplus C\\) is not of \\((m + n)\\)-REA degree. We conjecture that this holds also for \\(m \\geq 2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344547$958CB3EF-1234-486B-A5FC-AF9C8444449E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344547$03147972-0912-447D-A3BE-6A42CDFB44A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce11feb3bdbeef7124a7abfe3bbcc7c302b9d0a6","datavalue":{"value":"722178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344547$E63162A3-B8A9-49F8-B89E-19407B177CD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23c7031418e51cc601e012608d4b8d0d0c53a567","datavalue":{"value":"recursively enumerable set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344547$DA482EDB-4A94-4109-9C62-48B15FAC18D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93f29f8c121f47a154c10001f7bdbac3bbf1a0df","datavalue":{"value":"recursively enumerable degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344547$917AC716-65B9-4AAA-A8CF-37CF6E07BD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb1d8b425073b18dd9ddec68240d63fa4eeca1b3","datavalue":{"value":"iterated hops","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344547$C48DDC32-9C93-4CEC-97DD-A7AF33AA3C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df75e3495f21cc752f0b7cba2e807cb1c80ebdc2","datavalue":{"value":"\\(m\\)-REA degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344547$0F949111-79E9-480D-9194-41FA39AE1AB1","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":"Q1344547$8E0047A5-A164-4EB3-97DE-438EAB4125F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7880af521fd4278354036afff1d79df38a239749","datavalue":{"value":{"entity-type":"item","numeric-id":3659772,"id":"Q3659772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344547$4CE63EE1-A4C3-4D75-9B72-0E8896DECF6F","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":"Q1344547$16426986-0EC4-4775-95A7-86B4FC1F6E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5653ae2bd64e74439c6ed85da7f2dd2e25b59c25","datavalue":{"value":{"entity-type":"item","numeric-id":3657980,"id":"Q3657980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344547$CC5845C5-89BE-4219-93DF-EF209CB2812A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5dd2d705335bb3c4e1560c1f8adccc6729ef688b","datavalue":{"value":"https://doi.org/10.1007/bf01278463","type":"string"},"datatype":"url"},"type":"statement","id":"Q1344547$71E37C3F-342B-4C54-9AFA-953E023CE382","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f20e857096e8cd0af075f1acecf91c9ff02c681a","datavalue":{"value":"W2153470928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344547$5915823C-509E-4494-8DB2-41C79FACC31A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"383bcdb877a6342e55417daa87359eb3cff80e33","datavalue":{"value":{"entity-type":"item","numeric-id":5061390,"id":"Q5061390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"381c4dd627b2a95ef4af7ce414b81b8460e05808","datavalue":{"value":{"amount":"+0.7719432711601257","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":"Q1344547$F0B8ABBF-AA72-4F36-9CC8-BB0399C3A3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e818d8b4ef1f0ff25d9f3777ef90dd67461d936","datavalue":{"value":{"entity-type":"item","numeric-id":1306796,"id":"Q1306796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45fa451f4c310774c393231f955e599f4bb3b7d7","datavalue":{"value":{"amount":"+0.750870406627655","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":"Q1344547$FBA63172-636C-4CBA-A34E-C163B804F9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32f860f3565905eb8493a4b6c96286694d50e9e5","datavalue":{"value":{"entity-type":"item","numeric-id":4212911,"id":"Q4212911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d48f383ef460632d7cc948c79a0750b792e19f5","datavalue":{"value":{"amount":"+0.7506995797157288","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":"Q1344547$33354B03-08D5-4C75-8C14-5F22E150C848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dfd90ecce3205455cdfe53e7749be47375be15c","datavalue":{"value":{"entity-type":"item","numeric-id":3489987,"id":"Q3489987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"835390e7f99a35b14ed9f44c2a41e125eecbdca9","datavalue":{"value":{"amount":"+0.7326081991195679","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":"Q1344547$B608D4F8-2EF2-4031-BAA0-335814F81028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2e9dc913c6614db122e6127accd2a9bd758fc5e","datavalue":{"value":{"entity-type":"item","numeric-id":1568706,"id":"Q1568706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b1c0b9ee5efec243c2c5f8b11452a7e701d859d","datavalue":{"value":{"amount":"+0.7316267490386963","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":"Q1344547$99C9DA58-4249-4D6F-A0BF-796C7591611F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Iterated relative recursive enumerability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Iterated_relative_recursive_enumerability"}}}}}