The cohesive principle and the Bolzano‐Weierstraß principle
The cohesive principle and the Bolzano‐Weierstraß principle
复制标题
内聚原则和 Bolzano-Weierstraß 原则
DOI：
--
复制
发表时间：
2010
影响因子：
0.3
通讯作者：
A. Kreuzer
中科院分区：
文献类型：
--
作者：
A. Kreuzer
本文的目的是确定博尔扎诺-魏尔斯特拉斯原理（BW）及其弱变体的实例的逻辑和计算强度。
The aim of this paper is to determine the logical and computational strength of instances of the Bolzano‐Weierstraß principle (BW) and a weak variant of it.
DOI：
10.2178/jsl/1344862165
发表时间：
2012
期刊：
The Journal of Symbolic Logic
影响因子：
--
作者：
Kreuzer;Kohlenbach
通讯作者：
Kohlenbach