Parallelizations in Weihrauch Reducibility and Constructive Reverse Mathematics

ABSTRACT: In the framework of finite-type arithmetic, we characterize the notion that an existence statement is primitive recursive Weihrauch reducible to the parallelization of another existence statement by a standard derivability notion in constructive reverse mathematics.

SUBMITTER: Anselmo M 

PROVIDER: S-EPMC7309481 | biostudies-literature | 2020 Jun

REPOSITORIES: biostudies-literature