20 citations · 30 across the 14 of their papers we have counts for
Showing 2018 · math.LOShow all
2 papers · 2 filters
math.LO2018
A continuity principle equivalent to the monotone fan theorem
Tatsuji Kawai
The strong continuity principle reads "every pointwise continuous function from a complete separable metric space to a metric space is uniformly continuous near each compact image.…
math.LO2018★ 1 cited
Principles of bar induction and continuity on Baire space
Tatsuji Kawai
Brouwer-operations, also known as inductively defined neighbourhood functions, provide a good notion of continuity on Baire space which naturally extends that of uniform continuity…