Parallelizations in Weihrauch Reducibility and Constructive Reverse Mathematics
| Autor: | Fujiwara, Makoto |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Předmět: | |
| Zdroj: | Beyond the Horizon of Computability |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|