A Logical Characterization of the Continuous Bar Induction
A Logical Characterization of the Continuous Bar Induction
复制标题
连续棒感应的逻辑表征
DOI：
10.1007/978-981-15-2221-5_2
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Makoto Fujiwara and Tatsuji Kawai
中科院分区：
文献类型：
--
作者：
Izumi T.;Onoue M.;Matsuoka Y.;M.A. Strauss;S. Fujimoto; H. Umehata;M. Imanishi;T. Kawamuro;T. Nagao;Y. Toba; K. Kohno;N. Kashikawa;K. Inayoshi;T. Kawaguchi;他20名;Makoto Fujiwara and Tatsuji Kawai
连续条归纳 () 是单调条归纳 () 的一个实例，它在构造上等价于以下陈述：每个点连续函数 fromto 都是由归纳生成的邻域函数归纳的。在本文中，我们给出了一个简单的逻辑表征，相当于对直觉初等分析的限制。我们还表明，当条形归纳法的边谓词分别限制为有界谓词时，在特殊情况下，可以通过较小有限全知原理（LLPO）来捕获与经典条形归纳法（没有条形上的单调性）之间的差异。
The continuous bar induction () is an instance of the monotone bar induction () which is constructively equivalent to the statement that every pointwise continuous function fromtois induced by an inductively generated neighborhood function. In this paper, we give a simple logical characterization ofthatis equivalent to the restriction oftobars over intuitionistic elementary analysis. We also show that the difference betweenand the classical bar induction (without monotonicity on the bar) can be captured by the lesser limited principle of omniscience (LLPO) in the special case when the side-predicates of bar induction are restricted to boundedpredicates, respectively.
登录
查看更多内容
DOI：
--
发表时间：
2005
期刊：
Oxford Logic Guides 48
影响因子：
--
作者：
Hajime Ishihara
通讯作者：
Hajime Ishihara
DOI：
--
发表时间：
2004
期刊：
Proceedings of 19^<th> annual IEEE symposium on logic in computer science
影响因子：
--
作者：
Y.Akama;S.Berardi;U.Kohlenbach;S.Hayashi
通讯作者：
S.Hayashi
影响因子：
0.5
作者：
J. Berger
通讯作者：
J. Berger
贝尔空间上连续性的条形归纳和条形递归
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
周冠宇;Makoto Fujiwara
通讯作者：
Makoto Fujiwara
零型和一型的超限归纳和条形归纳，以及连续性在直觉分析中的作用
影响因子：
0.6
作者：
W. A. Howard;G. Kreisel
通讯作者：
G. Kreisel