| Autor: |
FUJIWARA, MAKOTO, KOHLENBACH, ULRICH |
| Předmět: |
|
| Zdroj: |
Journal of Symbolic Logic; Sep2018, Vol. 83 Issue 3, p991-1012, 22p |
| Abstrakt: |
We investigate two weak fragments of the double negation shift schema, which are motivated, respectively, from Spector's consistency proof of ACA0 and from the negative translation of RCA0, as well as double negated variants of logical principles. Their interrelations over both intuitionistic arithmetic and analysis are completely solved. [ABSTRACT FROM AUTHOR] |
| Databáze: |
Complementary Index |
| Externí odkaz: |
|
