A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals
A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals
复制标题
形式实数Heine-Borel覆盖定理的构造性证明
DOI：
10.1007/3-540-61780-9_62
复制
发表时间：
1995
期刊：
影响因子：
--
通讯作者：
Sara Negri
中科院分区：
文献类型：
--
作者：
J. Cederquist;Sara Negri
连续统在这里是通过有限归纳定义作为形式空间来呈现的。在这种情况下，给出了Heine-Borel覆盖定理的构造性证明。
The continuum is here presented as a formal space by means of a finitary inductive definition. In this setting a constructive proof of the Heine-Borel covering theorem is given.