Hajime Ishihara. An omniscience principle, the König Lemma and the Hahn-Banach theorem. Math. Log. Q., 36(3):237-240, 1990. [doi]
@article{Ishihara90-0, title = {An omniscience principle, the König Lemma and the Hahn-Banach theorem}, author = {Hajime Ishihara}, year = {1990}, doi = {10.1002/malq.19900360307}, url = {http://dx.doi.org/10.1002/malq.19900360307}, researchr = {https://researchr.org/publication/Ishihara90-0}, cites = {0}, citedby = {0}, journal = {Math. Log. Q.}, volume = {36}, number = {3}, pages = {237-240}, }