On Weihrauch Reducibility and Intuitionistic Reverse Mathematics
Kuyper, Rutger
الأصل · EN
We show that there is a strong connection between Weihrauch reducibility on one hand, and provability in EL₀, the intuitionistic version of RCA₀, on the other hand. More precisely, we show that Weihrauch reducibility to the composition of finitely many instances of a theorem is captured by provability in EL₀ together with Markov's principle, and that Weihrauch reducibility is captured by an affine subsystem of EL₀ plus Markov's principle.
الترجمة العربية
لا توجد ترجمة عربية لهذا البحث بعد. كن أوّل من يطلبها: تستغرق ثوانيَ معدودة، وتُحفظ النتيجة لكل قارئ قادم.