2020.11.06 Naruaki Kato and Tadayuki Honda
Weak König’s Lemma and Invariance of Domain in Second Order Arithmetic / Heine Borel compactness and Lindelof property in higher order arithmetic
Weak König’s Lemma and Invariance of Domain in Second Order Arithmetic / Heine Borel compactness and Lindelof property in higher order arithmetic