Intuitionistic provability versus uniform provability in RCA

Intuitionistic provability versus uniform provability in RCA
复制标题

RCA 中的直观可证明性与一致可证明性

DOI：
10.1007/978-3-319-20028-6_19
复制
发表时间：
2015
期刊：
Lecture Notes in Computer Science
影响因子：
--
通讯作者：
Makoto Fujiwara
Makoto Fujiwara
中科院分区：
--
文献类型：
--
作者：
坪井祐司;山本博之;山口元樹;野中葉;篠崎香織;Makoto Fujiwara and Ulrich Kohlenbach;Makoto Fujiwara and Takashi Sato;Makoto Fujiwara

文献摘要

相似文献

我们提供了一致可证明性的精确形式化，并证明对于某种句法形式的任何句子，当且仅当它一致可证明时，它才是直观可证明的。
We provide an exact formalization of uniform provability inand show that for anysentence of some syntactical form, it is intuitionistically provable if and only if it is uniformly provable in.