An omniscience principle, the König Lemma and the Hahn-Banach theorem
An omniscience principle, the König Lemma and the Hahn-Banach theorem
复制标题
全知原理、国王引理和哈恩-巴纳赫定理
DOI：
10.1002/malq.19900360307
复制
发表时间：
1990
期刊：
影响因子：
--
通讯作者：
H. Ishihara
中科院分区：
文献类型：
--
作者：
H. Ishihara
文章讨论了柯尼希引理和哈恩-巴拿赫定理以及海涅-波莱尔原理的各个方面。作者探讨了海涅-博雷尔原则是如何被认为是一个较低限度的全知原则（LLPO）。作者还用构造性数学证明了Hahn-Banach定理。
The article discusses the aspects of the König lemma and the Hahn-Banach theorem, as well as the Heine-Borel principle. The author looks into how the Heine-Borel principle is considered to be a lesser limited principle of omniscience (LLPO). The author also proves the Hahn-Banach theorem using constructive mathematics.