Tatsuji Kawai

Available identifiers

zbMath Open kawai.tatsujiMaRDI QIDQ1734271

List of research outcomes

Publication	Date of Publication	Type
A logical characterization of the continuous bar induction	2024-09-11	Paper
Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$	2023-09-15	Paper
Decidable fan theorem and uniform continuity theorem with continuous moduli	2023-09-12	Paper
Bishop Metric Spaces in Formal Topology	2023-08-11	Paper
Reflexive combinatory algebras	2023-08-03	Paper
From Intuitionistic Mathematics to Point-Free Topology	2022-06-17	Paper
Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies	2021-10-29	Paper
https://portal.mardi4nfdi.de/entity/Q5009708	2021-08-05	Paper
Characterising Brouwer's continuity by bar recursion on moduli of continuity	2021-01-19	Paper
Predicative theories of continuous lattices	2020-06-09	Paper
Presenting de Groot duality of stably compact spaces	2020-05-23	Paper
Formally continuous functions on Baire space	2020-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q5228883	2019-08-13	Paper
Principles of bar induction and continuity on Baire space	2019-07-19	Paper
Equivalents of the finitary non-deterministic inductive definitions	2019-07-10	Paper
Equivalence of bar induction and bar recursion for continuous functions with continuous moduli	2019-05-31	Paper
Representing definable functions of \(\mathrm{HA}^{\omega}\) by neighbourhood functions	2019-05-31	Paper
A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem	2019-03-27	Paper
The principle of pointfree continuity	2019-03-18	Paper
Equivalents of the finitary non-deterministic inductive definitions	2019-03-14	Paper
Localic completion of uniform spaces	2017-10-12	Paper
On the commutativity of the powerspace constructions	2017-09-18	Paper
Geometric theories of patch and Lawson topologies	2017-07-18	Paper
Point-free characterisation of Bishop compact metric spaces	2017-05-18	Paper
A point-free characterisation of Bishop locally compact metric spaces	2017-05-18	Paper
Completeness and cocompleteness of the categories of basic pairs and concrete spaces	2016-07-27	Paper

Research outcomes over time

This page was built for person: Tatsuji Kawai