{"entities":{"Q676317":{"pageid":678166,"ns":120,"title":"Item:Q676317","lastrevid":63645771,"modified":"2026-04-11T14:34:59Z","type":"item","id":"Q676317","labels":{"en":{"language":"en","value":"Automorphisms in the PTIME-Turing degrees of recursive sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 992115"}},"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":"Q676317$8B235987-E186-40A1-93CC-1C90ED0F5401","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"543e50a331feea11ab9ed5542f456132ea4b6ac3","datavalue":{"value":{"text":"Automorphisms in the PTIME-Turing degrees of recursive sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q676317$E78AF1B2-6290-4EB9-88A2-B0AC3D29B41C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6aec25a05f591d43e34f03d8b18aaa27e88123a","datavalue":{"value":"0865.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676317$70DACAE7-0EC8-4D7C-8312-B0B5FE75CC40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4992f1dbcf3571a7b86fb3fc1a85915f6ed31738","datavalue":{"value":"10.1016/S0168-0072(95)00065-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676317$19659026-D5AC-4726-B2C0-EF2DC7751867","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d564de3216795a191a1ba4b48dfe5180bd181d36","datavalue":{"value":{"entity-type":"item","numeric-id":676316,"id":"Q676316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676317$ABB254FF-AC96-4C6C-8408-C39124C95053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a89229a66bdfdb3e2e5619b7e8031866b3343269","datavalue":{"value":{"entity-type":"item","numeric-id":189917,"id":"Q189917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676317$81819348-8998-4FEA-91ED-2C51A256D462","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676317$9746F0FE-ACA7-4348-B909-A884B0F5BD64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"531448b054d901d689e0e77d001f1c0af06ec12c","datavalue":{"value":{"time":"+1997-06-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q676317$A5BA181D-2AC2-483E-8CF2-7B4F01C6600C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"22a627e689d04097f5866ae7ffd1835a449f5916","datavalue":{"value":"If \\(A\\) and \\(B\\) are sets then \\(A\\leq_T^p B\\) if there is a polynomial time algorithm, with access to oracle \\(B\\), that can decide \\(A\\). Take the set of all recursive sets. If \\(A\\leq_T^p B\\) and \\(B\\leq_T^p A\\) then we will say \\(A\\) and \\(B\\) are equivalent. Let \\({\\mathbf R}\\) be the resulting set of degrees, ordered by \\(\\leq_T^p\\). The question arises as to whether this structure has any non-trivial automorphisms. This paper shows that this is a hard question. In this paper, the authors exhibit two oracles. Relative to one of them, there are no automorphisms. Relative to the other one, there are. Hence techniques that relativize will not suffice to answer the question. The construction of the oracles uses forcing.","type":"string"},"datatype":"string"},"type":"statement","id":"Q676317$AB9FD416-FB85-42E6-8489-1D92D93E08C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676317$03D3E95B-A74A-4F32-AC93-DC133C4D1A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676317$FF07E081-B056-426D-A2B7-87DF6BD5EE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676317$793CB972-89F7-4A1E-8EB4-6BC92E9A7EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676317$C04AC422-A9EE-4901-884C-1840C9092D56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0440b8f44c7f4d306b658935b934a6ca75de66b","datavalue":{"value":"992115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676317$0BF93365-5B0F-4975-AD73-D2512488C9C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11d33b439fe3f901c3c44fe99f23b0e5820fd196","datavalue":{"value":"polynomial Turing degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q676317$D86CCCE4-0951-4095-9021-161D7A672E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac873341ab34d6db98676ef037e18583cae25841","datavalue":{"value":"oracle","type":"string"},"datatype":"string"},"type":"statement","id":"Q676317$28A945D4-9314-48F9-812C-5EA282E1C269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8d9274cbab44b30312fd22862d18c60a30b38ca","datavalue":{"value":"recursive sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q676317$4116F4A3-7FEC-42A0-BE60-4F126666FAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"447fa387c72cb86649422f0b737610382e7b4be8","datavalue":{"value":"automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q676317$2FE8F008-6086-4327-A474-32718C08DC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q676317$D804F4B3-D023-47A9-A331-DEE7E96BC8B9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"59c02125cd654c6fe0740c84a942b089a0294819","datavalue":{"value":{"entity-type":"item","numeric-id":811135,"id":"Q811135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676317$6967D0AB-90FA-4AB9-95C9-4B31DEFEDDB0","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":"Q676317$F214096E-A4A3-4812-B5FD-713099712D6D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cb69a4b73c0870b69de5dea0c27de9ed2f4e16b","datavalue":{"value":{"entity-type":"item","numeric-id":1075319,"id":"Q1075319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676317$AC1B8F3D-DEF9-4471-B0A0-C9A1D3979F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef757ecac8e00102e8fe2d81d7657ee3391ff698","datavalue":{"value":{"entity-type":"item","numeric-id":4138187,"id":"Q4138187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676317$81F29564-6D75-43CF-ABAD-244DB75E5034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a2654c1ad3008ab65ddf962a999d4d8045dcdea","datavalue":{"value":{"entity-type":"item","numeric-id":4085242,"id":"Q4085242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676317$FF14067B-105B-4E75-8D79-C6E39B0C32EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e27fd3fe51626d10b6518177440b9dc2bbc0b3f","datavalue":{"value":{"entity-type":"item","numeric-id":751819,"id":"Q751819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676317$702AA9BE-902B-402E-A7F7-18C2D4862B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676317$0860EA9B-C7D2-4B1B-9FDD-6D8472476B00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"634c3df93244bce47f49a81149ed2a9aa2eb20db","datavalue":{"value":{"entity-type":"item","numeric-id":3337458,"id":"Q3337458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46c6d22be1bdfe09d0e821364c2db19c7117f016","datavalue":{"value":{"amount":"+0.761955738067627","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":"Q676317$2A518E0C-6D03-44F2-A8C5-B030B3E8B949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"051c1265168dbfd0d4cc9a332b69cf9bc5f8d495","datavalue":{"value":{"entity-type":"item","numeric-id":1193873,"id":"Q1193873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e93bb75073a9c13376e5f605156b6de843b4ead6","datavalue":{"value":{"amount":"+0.7567344903945923","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":"Q676317$7038F328-341A-4F53-8414-72A2E890E7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f03620465fe12ccaa024596240620d9be60a2953","datavalue":{"value":{"entity-type":"item","numeric-id":3347297,"id":"Q3347297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e778f0c85f920ef51a57c2ba386102d7a63cdcae","datavalue":{"value":{"amount":"+0.749178946018219","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":"Q676317$F3580F54-73FF-4C06-9B81-060761BBBFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b3dfbdaf48ad859cfd2aa0184105a4901a0ed18","datavalue":{"value":{"entity-type":"item","numeric-id":676314,"id":"Q676314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13eb11f2b78594253e924692350762ca6b737abd","datavalue":{"value":{"amount":"+0.7490302920341492","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":"Q676317$FC5E57AF-7B41-4AE7-843F-087135E6487D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automorphisms in the PTIME-Turing degrees of recursive sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automorphisms_in_the_PTIME-Turing_degrees_of_recursive_sets"}}}}}