Tatsuji Kawai

From MaRDI portal
Person:1734271

Available identifiers

zbMath Open kawai.tatsujiMaRDI QIDQ1734271

List of research outcomes

PublicationDate of PublicationType
Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$2023-09-15Paper
Decidable fan theorem and uniform continuity theorem with continuous moduli2023-09-12Paper
Bishop Metric Spaces in Formal Topology2023-08-11Paper
Reflexive combinatory algebras2023-08-03Paper
From Intuitionistic Mathematics to Point-Free Topology2022-06-17Paper
Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies2021-10-29Paper
https://portal.mardi4nfdi.de/entity/Q50097082021-08-05Paper
Characterising Brouwer's continuity by bar recursion on moduli of continuity2021-01-19Paper
Predicative theories of continuous lattices2020-06-09Paper
Presenting de Groot duality of stably compact spaces2020-05-23Paper
Formally continuous functions on Baire space2020-05-11Paper
https://portal.mardi4nfdi.de/entity/Q52288832019-08-13Paper
Principles of bar induction and continuity on Baire space2019-07-19Paper
Equivalents of the finitary non-deterministic inductive definitions2019-07-10Paper
Equivalence of bar induction and bar recursion for continuous functions with continuous moduli2019-05-31Paper
Representing definable functions of \(\mathrm{HA}^{\omega}\) by neighbourhood functions2019-05-31Paper
A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem2019-03-27Paper
The principle of pointfree continuity2019-03-18Paper
Equivalents of the finitary non-deterministic inductive definitions2019-03-14Paper
Localic completion of uniform spaces2017-10-12Paper
On the commutativity of the powerspace constructions2017-09-18Paper
Geometric theories of patch and Lawson topologies2017-07-18Paper
Point-free characterisation of Bishop compact metric spaces2017-05-18Paper
A point-free characterisation of Bishop locally compact metric spaces2017-05-18Paper
Completeness and cocompleteness of the categories of basic pairs and concrete spaces2016-07-27Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Tatsuji Kawai