Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Olsson, Mattias Granberg"'
This paper presents a novel proof of the conservativity of the intuitionistic theory of strictly positive fixpoints, $\widehat{\mathrm{ID}}{}_{1}^{\mathrm{i}}$, over Heyting arithmetic (HA), originally proved in full generality by Arai (2011). The pr
Externí odkaz:
http://arxiv.org/abs/2110.08240