摘要：算术和直觉分析的建设性真理的定义和性质研究，证明了建设性真实（一阶）算术陈述的集合是Pi-1-2和Sigma-1-2难度，并猜想它对于二阶算术来说是完备的。如果一个陈述在连续函数实现性下由一个建设性函数实现，则该陈述是建设性真实的。
作者：Dmytro Taranovsky
论文ID：math/0605138
分类：Logic
分类简称：math.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中