More reverse mathematics of the Heine-Borel Theorem

DOI10.4115/jla.2012.4.6zbMath1291.03012MaRDI QIDQ3145974

Jeffry L. Hirst, Jessica Miller

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

zbMATH Keywords

ATR; ACA; RCA; reverse mathematics; WKL; perfect set; Heine-Borel theorem

Mathematics Subject Classification ID

54D30: Compactness

03B30: Foundations of classical theories (including reverse mathematics)

03F35: Second- and higher-order arithmetic and fragments