Hirst, Jeffry L

• Vol 4 (2012) - Articles
  More reverse mathematics of the Heine-Borel Theorem
  Details  6. [PDF]
• Vol 4 (2012) - Articles
  Reverse mathematics, trichotomy, and dichotomy
  Details  13. [PDF]