The following pages link to Tatsuji Kawai (Q1734271):
Displaying 20 items.
- A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem (Q1734272) (← links)
- Presenting de Groot duality of stably compact spaces (Q2182316) (← links)
- Characterising Brouwer's continuity by bar recursion on moduli of continuity (Q2219099) (← links)
- Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies (Q2238147) (← links)
- Equivalents of the finitary non-deterministic inductive definitions (Q2311215) (← links)
- Equivalence of bar induction and bar recursion for continuous functions with continuous moduli (Q2417961) (← links)
- Representing definable functions of \(\mathrm{HA}^{\omega}\) by neighbourhood functions (Q2417962) (← links)
- Point-free characterisation of Bishop compact metric spaces (Q2987773) (← links)
- A point-free characterisation of Bishop locally compact metric spaces (Q2987776) (← links)
- The principle of pointfree continuity (Q3121524) (← links)
- (Q5009708) (← links)
- From Intuitionistic Mathematics to Point-Free Topology (Q5081868) (← links)
- Formally continuous functions on Baire space (Q5109223) (← links)
- Principles of bar induction and continuity on Baire space (Q5224158) (← links)
- (Q5228883) (← links)
- Localic completion of uniform spaces (Q5367061) (← links)
- Completeness and cocompleteness of the categories of basic pairs and concrete spaces (Q5740674) (← links)
- Decidable fan theorem and uniform continuity theorem with continuous moduli (Q6047675) (← links)
- Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$ (Q6096807) (← links)
- Reflexive combinatory algebras (Q6166681) (← links)
