{"entities":{"Q1368581":{"pageid":1379321,"ns":120,"title":"Item:Q1368581","lastrevid":70261596,"modified":"2026-04-13T13:34:58Z","type":"item","id":"Q1368581","labels":{"en":{"language":"en","value":"\\(\\Sigma_ 2\\) induction and infinite injury priority arguments. II. Tame \\(\\Sigma_ 2\\) coding and the jump operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1067505"}},"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":"Q1368581$5FC6383B-FCCF-4012-A371-57D827CA0689","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6beaa9da27678500e771c1631d3070d8636df2fb","datavalue":{"value":{"text":"\\(\\Sigma_ 2\\) induction and infinite injury priority arguments. II. Tame \\(\\Sigma_ 2\\) coding and the jump operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1368581$E73EF9C7-CC32-4D1A-BBA7-50DE2C5F54B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1376e275a662a0cc5f03a31d38428f1aff5106f","datavalue":{"value":"0881.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368581$9CF8DAFA-878A-4A08-BE29-BEF35B6AC1F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2d70a481f04158b005db486605a70da9422039e","datavalue":{"value":"10.1016/0168-0072(96)00028-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368581$3E43FF04-8460-4EB3-A5E9-6F7B6C4FB2D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4103685926a903a30f8c32ed60fa8061b1add04","datavalue":{"value":{"entity-type":"item","numeric-id":189918,"id":"Q189918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368581$327889F7-1062-48E4-A93D-7D4A8BA8CC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dc0ddf828d4beef5c46eca267e549e642b2413c","datavalue":{"value":{"entity-type":"item","numeric-id":2260473,"id":"Q2260473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368581$7E93C228-4041-4F9E-B98D-83104677DDAF","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":"Q1368581$529F9963-A45B-4E16-9FF9-EC9D11B189DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f4792ae2ab319fd603aad0c994faff1f40f5e4ae","datavalue":{"value":{"time":"+1998-01-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":"Q1368581$C60AFF6B-7F17-4B2D-9A6B-CAA583507A15","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4c98bad91aebe9f564b52d99502f4a0a050a82cf","datavalue":{"value":"The authors consider models of the base theory \\(PA^-\\) that satisfy \\(\\Sigma_2\\)-collection but not \\(\\Sigma_2\\)-induction. They have shown elsewhere that such a model can contain no incomplete high r.e. degree. In this paper they prove that every such model must satisfy one of the following two conditions and that each condition is satisfied by some model: (a) all incomplete r.e. degrees are low; (b) there are exactly three degrees that are jumps of r.e. degrees. The proof proceeds by blocking for \\(\\Pi_2\\) cuts.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368581$4F7A792A-D29A-42DD-A33C-21C37C75FCB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368581$9569C795-3DED-4FC5-9E93-132415CBA8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368581$472F1310-58F8-4971-81FD-5B410EAB64EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368581$9AD7FF8E-2C46-4EA4-8A79-D96733C0AC88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f3d8dd89176d13085597382bfee2b7593dd848b","datavalue":{"value":"1067505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368581$247D0457-D5BF-4636-84E4-77164631C8F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93f29f8c121f47a154c10001f7bdbac3bbf1a0df","datavalue":{"value":"recursively enumerable degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368581$CC5973D1-7BD4-4530-ABEC-EB86A26B322C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0249355a8cdf1f888808e13250c420c84fb4c63f","datavalue":{"value":"jump operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368581$817E3BA1-E10C-46EF-B328-591CF5020B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16fadf067ae4ba0c52627a9972852ab967db7e39","datavalue":{"value":"tame relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368581$EF2FFB26-0A58-4F7E-9411-8B3180EB5FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"925fd41805c17b2162241ac182f6e79bdd3424f4","datavalue":{"value":"\\(\\Sigma_ 2\\)-induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368581$68618A22-8720-4288-8404-88EA8CCE82FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"525cda35cd360e73a00b9b82bedae925d7fd8ad8","datavalue":{"value":"\\(\\Sigma_ 2\\)-collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368581$033CB126-5E39-4D2D-90CD-D0BF79957A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5ebc797a20b41b114bf017a4c468eb6accb676a","datavalue":{"value":"blocking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368581$F560CDBC-BE3F-49FF-9CFB-72C5EFEF74A0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"918802f1a1362bd512279080eb151cb7e040bd3a","datavalue":{"value":{"entity-type":"item","numeric-id":588764,"id":"Q588764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368581$DFF457B1-EEB7-47D6-8049-FAA0BC97D8B0","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":"Q1368581$FA632F48-8AA6-4AB6-A83E-01AE80E37A42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e16a149a2e87418b030d44726ecf70e06d47e69c","datavalue":{"value":"https://doi.org/10.1016/0168-0072(96)00028-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1368581$7496AFB2-4B2F-45F4-B31D-8BB8B6B312A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6949099fe6fc321b9cb9dae112c52292b7e59748","datavalue":{"value":"W2017850155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368581$A2129CC4-371B-4598-815A-AAD05DB86EEB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b33b4ba6d86b2252c722406e58bbf98ab63e9df","datavalue":{"value":{"entity-type":"item","numeric-id":749530,"id":"Q749530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368581$ADB7354E-EBDE-49E0-9A5E-01156287953E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4172158bc564139b1cbfdedbc7216304ccacdf3c","datavalue":{"value":{"entity-type":"item","numeric-id":4032456,"id":"Q4032456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368581$67E4B23D-D52E-479A-BA15-EF895E4259FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80e2702eb73be1490ac0bcf809fcac8d3ed826cf","datavalue":{"value":{"entity-type":"item","numeric-id":4227867,"id":"Q4227867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368581$9D6A5EBF-98FB-4472-8D14-B0CA89E9346F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1343a60aae9e871edf1edb8ef20d22d86360cf33","datavalue":{"value":{"entity-type":"item","numeric-id":4894721,"id":"Q4894721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368581$9314708F-D75E-4499-A84B-7B42863AB8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78195b3d2683d70f457cbdd48623192c2929671d","datavalue":{"value":{"entity-type":"item","numeric-id":5677471,"id":"Q5677471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368581$647D61CC-3F01-48B2-AB3C-08CDED9B5585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea8ca66b373ff54556fbad7311f8aec498e810a","datavalue":{"value":{"entity-type":"item","numeric-id":3824402,"id":"Q3824402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368581$2DB3BFAC-E859-4808-A107-84B9039302B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f75404b85aec9d3f8d81a90cf7f18337600389e","datavalue":{"value":{"entity-type":"item","numeric-id":3884109,"id":"Q3884109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368581$911F1956-D655-4A2B-B861-B74C287411F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f40c77110e28562941ffed9c814c46e347072418","datavalue":{"value":{"entity-type":"item","numeric-id":4063424,"id":"Q4063424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368581$909C7F08-07F9-4EB1-A435-1ABF2C99B63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda8432bea876cc24c32256ca41b53e2d8b00726","datavalue":{"value":{"entity-type":"item","numeric-id":4110994,"id":"Q4110994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368581$D20F0F2F-4294-404D-B640-4AA581EB85E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba17c610b66d156b76e62a37325c965ffedff718","datavalue":{"value":{"entity-type":"item","numeric-id":4184825,"id":"Q4184825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368581$8FD101A1-E8A8-45F3-887B-8B8DF66F1912","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e3e6236cc8d939f3c5d8a10c040ae81104f3f51","datavalue":{"value":{"entity-type":"item","numeric-id":4227867,"id":"Q4227867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2240456e3d8edf9cbe7dfeeaf0982df3bd47541e","datavalue":{"value":{"amount":"+0.831937849521637","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":"Q1368581$58D2B8BD-B2F0-400B-95B7-DDE0F4B44C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c7cbcd1b8b04b25e9f4d40f13124c5626bc7615","datavalue":{"value":{"entity-type":"item","numeric-id":3483271,"id":"Q3483271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c1a0da5b19f9656bfbb37411804279cbc72eff7","datavalue":{"value":{"amount":"+0.8238017559051514","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":"Q1368581$4BF416F6-FD29-442D-A47D-F8844E8AA464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9637bd973c49e55612522fb297b7b9e0099d613b","datavalue":{"value":{"entity-type":"item","numeric-id":3787994,"id":"Q3787994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d143b75513681fd8450d422829e3babd88f74390","datavalue":{"value":{"amount":"+0.8138762712478638","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":"Q1368581$395426C8-32E5-4A1E-A5C4-E215E2A1511F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62890b3a815b42a28f24bd8a06028f6a4672e4f4","datavalue":{"value":{"entity-type":"item","numeric-id":5937666,"id":"Q5937666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fddf8ccb3edf28e87e5a2b11c8b05cd6929b9fc9","datavalue":{"value":{"amount":"+0.7904834747314453","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":"Q1368581$A0BC4197-0DF4-42A5-9E68-4D252D848AE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(\\Sigma 2\\) induction and infinite injury priority arguments. II. Tame \\(\\Sigma 2\\) coding and the jump operator","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(%5CSigma_2%5C)_induction_and_infinite_injury_priority_arguments._II._Tame_%5C(%5CSigma_2%5C)_coding_and_the_jump_operator"}}}}}