Non‐standard Analysis in WKL0
Non‐standard Analysis in WKL0
复制标题
WKL0 中的非标准分析
DOI：
10.1002/malq.19970430312
复制
发表时间：
1997
影响因子：
0.3
通讯作者：
Kazuyuki Tanaka
中科院分区：
文献类型：
--
作者：
Kazuyuki Tanaka
在二阶算术WKL 0的弱子系统中，我们将非标准分析的基本部分发展到Peano存在定理。
Within a weak subsystem of second‐order arithmetic WKL0, we develop basic part of non‐standard analysis up to the Peano existence theorem.