Predicative theories of continuous lattices von Tatsuji Kawai

Volltext

Localic completion of uniform spaces von Tatsuji Kawai

Volltext

Factorizing the Top–Loc adjunction through positive topologies von Ciraulo, Francesco, Kawai, Tatsuji, Maschio, Samuele

Volltext

Reflexive combinatory algebras von Gijzen, Marlou M, Ishihara, Hajime, Kawai, Tatsuji

Volltext

Characterising Brouwer’s continuity by bar recursion on moduli of continuity von Fujiwara, Makoto, Kawai, Tatsuji

Volltext

On the commutativity of the powerspace constructions von Matthew de Brecht, Tatsuji Kawai

Volltext

Factorizing the $$\mathbf {Top}$$–$$\mathbf {Loc}$$ adjunction through positive topologies von Ciraulo, Francesco, Kawai, Tatsuji, Maschio, Samuele

Volltext

The principle of pointfree continuity von Tatsuji Kawai, Giovanni Sambin

Volltext

Presenting de Groot duality of stably compact spaces von Kawai, Tatsuji

Volltext

Equivalents of the finitary non-deterministic inductive definitions von Hirata, Ayana, Ishihara, Hajime, Kawai, Tatsuji, Nemoto, Takako

Volltext

Coding of real‐valued continuous functions under WKL$\mathsf {WKL} von Kawai, Tatsuji

Volltext

Completeness and cocompleteness of the categories of basic pairs and concrete spaces von ISHIHARA, HAJIME, KAWAI, TATSUJI

Volltext

Representing definable functions of HA by neighbourhood functions von Kawai, Tatsuji

Volltext

Representing definable functions of HAω by neighbourhood functions von Kawai, Tatsuji

Volltext

A continuity principle equivalent to the monotone Π10 fan theorem von Kawai, Tatsuji

Volltext

A continuity principle equivalent to the monotone $$\Pi ^{0}_{1}$$ Π 1 0 fan theorem von Kawai, Tatsuji

Volltext

Formally continuous functions on Baire space von Kawai, Tatsuji

Volltext

A continuity principle equivalent to the monotone Π 1 0 fan theorem von Kawai, Tatsuji

Volltext

Equivalence of bar induction and bar recursion for continuous functions with continuous moduli von Fujiwara, Makoto, Kawai, Tatsuji

Volltext

Decidable fan theorem and uniform continuity theorem with continuous moduli von Fujiwara, Makoto, Kawai, Tatsuji

Volltext