{"entities":{"Q1102277":{"pageid":1113029,"ns":120,"title":"Item:Q1102277","lastrevid":66683988,"modified":"2026-04-12T11:55:30Z","type":"item","id":"Q1102277","labels":{"en":{"language":"en","value":"Another extension of Van de Wiele's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4049631"}},"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":"Q1102277$56A816D9-0A0A-40BA-BAF6-781012C1C6E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61ad045f5f4dfa9a223616729d5bb2894a7e0ac9","datavalue":{"value":{"text":"Another extension of Van de Wiele's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1102277$90599C00-B463-43F1-9A84-0827ADFCF300","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba717bad5c3062e9ecd7840f1697681ae73aadea","datavalue":{"value":"0644.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102277$D77C0847-DFA0-4EC7-AA6F-FD35B5ED55C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b71d9401ec2ea9ae97c0769af8ecd5d58c60beb0","datavalue":{"value":"10.1016/0168-0072(88)90030-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102277$5634B51A-F93F-4817-AEC7-02F4EC21F147","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba7d32203c7bfbebbe66cfd891119ca73c5bbe19","datavalue":{"value":{"entity-type":"item","numeric-id":408536,"id":"Q408536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102277$CD293FA3-AEB9-4ACE-AB85-9CC20DC9BDB2","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":"Q1102277$50ED8121-3DCA-41B8-8B13-69E81EE9C919","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1102277$28902F3E-6EAD-4310-9B0A-D3CC60D90776","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5f17f87a0d02be64329f16c0e376e8609a68fe5c","datavalue":{"value":"Van de Wiele showed that if a total function F is \\(\\Sigma_ 1\\)-definable uniformly over all admissible sets, then it is actually E-recursive (the converse being easy). He did this by giving a construction of F in \\(\\Pi\\) \\(1_ 2\\) logic, which is weaker than E-recursion theory, which yields immediately that F is E-recursive. Slaman then proved this theorem using only the constructions of E-recursion theory, and not those of \\(\\Pi\\) \\(1_ 2\\) logic. Moreover, he generalized it to functions F with a hereditarily countable parameter p, or with an arbitrary parameter if the domain of F is the ordinals. The conclusion of his theorem is that such an F is \\(ES_ p\\)-recursive: E-recursive where selection from p is allowed also. The current paper continues this cycle by proving Slaman's theorem via \\(\\Pi\\) \\(1_ 2\\) logic. Moreover, it shows that selection from p is unnecessary: having p as a parameter suffices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102277$168F17C9-5A5C-43FD-B455-8132AC355936","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7145106527c76ee3f2b876b4b260f13e7c40b44e","datavalue":{"value":{"entity-type":"item","numeric-id":408536,"id":"Q408536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102277$D27BEC79-6D01-470F-8959-8053B18BB650","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102277$7B61C73F-C84D-4186-8853-CF89DEFDF77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102277$5B097B3E-BE26-4C12-BBB5-3BCF85C4225E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"752c576f3b7357a4a443e6e983929101189fd9c1","datavalue":{"value":"4049631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102277$55BBC545-070E-49ED-8C29-2B79C74462A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3029d3dc2ac89e7d70eb37ce9a356b53341276fa","datavalue":{"value":"Pi-1-2-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102277$9CCE293E-2DBD-45A0-B6BF-D3F195C9C874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcb96a8c3635766dff1a4e252cc344526b7c0178","datavalue":{"value":"E-recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102277$6B93D4AD-24EC-4ABC-9B94-FF3D63AAE7B1","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":"Q1102277$B6D79859-0B2D-40CD-804C-DCDE7E592FDF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"767b04d2a1fa042552b97f2d9d14a609dbb5506e","datavalue":{"value":"https://doi.org/10.1016/0168-0072(88)90030-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1102277$F2CF87FA-91ED-4DDE-9196-A347239348E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3de7b71f54413d6eca42f8e046c96971a8baae8e","datavalue":{"value":"W1973593708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102277$A4E2C765-8EF8-441F-AAD0-1416231F37DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102277$BC61F39E-E40E-45D1-B01B-998A2E147B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b17989129559e41cfb06edc0b79311d4fa6022df","datavalue":{"value":{"entity-type":"item","numeric-id":3960844,"id":"Q3960844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102277$2EBC7A8D-E77C-4D8F-B59F-872E716327C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8eac1d55700626ddc30930ab5ee06383ed4f45a","datavalue":{"value":{"entity-type":"item","numeric-id":3727980,"id":"Q3727980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102277$4CB9C8FC-608C-4C48-A06F-CFB1AD75B6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ada9ae53813a4edc73f25ea7459e54a83aa09d8","datavalue":{"value":{"entity-type":"item","numeric-id":1387093,"id":"Q1387093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102277$B7D9BD58-74A1-4FD7-BB69-B1BD6632E461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a79feb1a740eba3c8b630bc974a520a36d2ec8","datavalue":{"value":{"entity-type":"item","numeric-id":3657981,"id":"Q3657981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102277$2AA6FC81-9A4D-4620-8CA8-BC5664076FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f6a6faf26f6d50289b85ae22e2f4470de04c836","datavalue":{"value":{"entity-type":"item","numeric-id":1062978,"id":"Q1062978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102277$98E2A36A-C1F8-41C2-8DAA-FE6C57AD8D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c6a7aa2e5c2b81805812399af2c952bc1e3482","datavalue":{"value":{"entity-type":"item","numeric-id":3765757,"id":"Q3765757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102277$C76642CA-AB21-4530-A525-982DBF610FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe7096b7a591456e55705e0279e99fa3d162535d","datavalue":{"value":{"entity-type":"item","numeric-id":3964555,"id":"Q3964555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102277$BBAE6990-60EF-4087-B104-64AA70E4AC3A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53c4e46e810391c7ae512ceb4950c8121a4b3b84","datavalue":{"value":{"entity-type":"item","numeric-id":3765757,"id":"Q3765757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff48b0749201781b789a8c50bce8505196e2e18c","datavalue":{"value":{"amount":"+0.8818137049674988","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":"Q1102277$D2B89E81-3942-4265-953D-650E7B22C19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"922faf20d9b5d4cfa841f1c975fdc993c7e01e95","datavalue":{"value":{"entity-type":"item","numeric-id":3727980,"id":"Q3727980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4fd8b48513ce9c663359ac520674c18e92e460c","datavalue":{"value":{"amount":"+0.7651423811912537","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":"Q1102277$5EF9EFB7-322C-4D32-BDA9-E392B57B81C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9a3f1ea70990b18811845e5d0f432ef4cf32f9","datavalue":{"value":{"entity-type":"item","numeric-id":3461818,"id":"Q3461818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e5e465baecfebd3c56e33065763122bd35174a2","datavalue":{"value":{"amount":"+0.7628422379493713","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":"Q1102277$1C85ED34-EC76-4EC4-885C-F8A7B29C75D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4ad6f015e37deae2ecffea5912fc3bd3144d2dd","datavalue":{"value":{"entity-type":"item","numeric-id":3693523,"id":"Q3693523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8983e25fe73f65d1abea7f20ab90f229925f607","datavalue":{"value":{"amount":"+0.7436255812644958","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":"Q1102277$A26D4E35-CD9E-412D-BC55-8302141C67D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b1b6389f5a9b894c7ec6fb449bfb5ff375d37f","datavalue":{"value":{"entity-type":"item","numeric-id":1095136,"id":"Q1095136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4fdaa9992fac911686b9ac7b9c637c7b5b5c30d","datavalue":{"value":{"amount":"+0.726429283618927","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":"Q1102277$3FFA16A4-A5DE-4143-BB1B-93C40D26947C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Another extension of Van de Wiele's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Another_extension_of_Van_de_Wiele%27s_theorem"}}}}}