More reverse mathematics of the Heine-Borel Theorem

Jeffry L. Hirst, Jessica Miller. More reverse mathematics of the Heine-Borel Theorem. J. Logic & Analysis, 4, 2012. [doi]

Abstract

Abstract is missing.