More reverse mathematics of the Heine-Borel Theorem
From MaRDI portal
Publication:3145974
DOI10.4115/jla.2012.4.6zbMath1291.03012OpenAlexW2087341666MaRDI QIDQ3145974
Jessica Miller, Jeffry L. Hirst
Publication date: 17 December 2012
Published in: Journal of Logic and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.4115/jla.2012.4.6
Compactness (54D30) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)