Principles of bar induction and continuity on Baire space

Kawai

The paper mentions the Uniform Continuity principle UC that each continuous function

f : (ℕ → Bool) → ℕ

is uniformly continuous. We prove this. We then prove also that such a function must be bounded.