Cover Image
QR Code

ON WEIHRAUCH REDUCIBILITY AND INTUITIONISTIC REVERSE MATHEMATICS.

We show that there is a strong connection between Weihrauch reducibility on one hand, and provability in EL0, the intuitionistic version of RCA0, on the other hand. More precisely, we show that Weihrauch reducibility to the composition of finitely many instances of a theorem is captured by provabili...

Full description

Published in:Journal of Symbolic Logic Vol. 82; no. 4; pp. 1438 - 1459
Main Author: KUYPER, RUTGER
Format: Article
Published: Cambridge University Press Dec2017
Subjects:
Reverse mathematics
Mathematical logic
Reversible computing
Mathematical analysis
Intuitionistic mathematics
Online Access:View this record in EBSCOhost