Found 4 Documents (Results 1–4)
Characterising Brouwer’s continuity by bar recursion on moduli of continuity. (English) Zbl 1496.03254
Reviewer: Danko Ilik (Paris)
Filter Results by …
Author
- Fujiwara, Makoto (3)
- Kawai, Tatsuji (2)
- Kohlenbach, Ulrich Wilhelm (1)
Serial
- Arch. Math. Logic (2)
- J. Symb. Log. (1)
- Ann. Pure Appl. Logic (1)
Main Field
- 03-XX (4)