Tatsuji Kawai

Available identifiers

zbMath Open kawai.tatsujiMaRDI QIDQ1734271

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Tatsuji Kawai