最早是Heine给出了该定理的雏形,接着Borel给出了可数开覆盖的版本的证明,Lebesgue则给出了该定理的最...
The anti-Specker property, a HeineBorel property, and uniform continuity,” Archive for Mathematical Logic, v - Berger, BridgesJ. Berger and D.S. Bridges, The anti-Specker property, a Heine-Borel property, and uniform continuity, Arch. Math. Logic 46 (2008), 583-592; doi:10.1007/s00153...
property of both intervals and compact sets.Theorem 12.1.(Nested Closed Interval Property)Let{In}be a collection of closed intervals inRsuch that for any n∈N,In⊃In+1. Then⋂∞n=1In=∅.This theorem should look very familiar, since we proved the analogous property forcompact sets in ...
Working within Bishop's constructive framework, we examine the connection between a weak version of the Heine–Borel property, a property antithetical to that in Specker's theorem in recursive analysis, and the uniform continuity theorem for integer-valued functions. The paper is a contribution to ...
Working within Bishop's constructive framework, we examine the connection between a weak version of the Heine–Borel property, a property antithetical to that in Specker's theorem in recursive analysis, and the uniform continuity theorem for integer-valued functions. The paper is a contribution to ...
LUDVIK JANOSL. Janos, `A group theoretic property of Heine-Borel metrics', Geometry and topology (World Scientific Publishing, Singapore, 1989) 215-218.Janos L., A group theoretic property of Heine-Borel metrics, Geometry and Topology, 215-218, World Sci. Publishing, Singapore, 1989....