トップページ  >  教員個別情報  >  発表論文
河井 達治 (KAWAI, Tatsuji)助教
情報科学系, セキュリティ・ネットワーク領域, 情報科学研究科

発表論文

15件
Characterising Brouwer’s continuity by bar recursion on moduli of continuity
Makoto Fujiwara, Tatsuji Kawai
Archive for Mathematical Logic, -, 2020
A Logical Characterization of the Continuous Bar Induction
Makoto Fujiwara, Tatsuji Kawai
Knowledge, Proof and Dynamics, 25-33, 2020
Presenting de Groot duality of stably compact spaces.
Tatsuji Kawai
Theor. Comput. Sci., 823, 44-68, 2020
Equivalents of the finitary non-deterministic inductive definitions
Ayana Hirata, Hajime Ishihara, Tatsuji Kawai, Takako Nemoto
Annals of Pure and Applied Logic, 170, 10, 1256-1272, 2019
On the commutativity of the powerspace constructions
Matthew de Brecht, Tatsuji Kawai
Logical Methods in Computer Science, 15, 3, 1-25, 2019
Principles of bar induction and continuity on Baire space
河井 達治
Journal of Logic & Analysis, 11, FT3, 1-20, 2019
The principle of pointfree continuity.
Tatsuji Kawai, Giovanni Sambin
Logical Methods in Computer Science, 15, 1, -, 2019
Representing definable functions of HAω by neighbourhood functions.
Tatsuji Kawai
Ann. Pure Appl. Logic, 170, 8, 891-909, 2019
Equivalence of bar induction and bar recursion for continuous functions with continuous moduli.
Makoto Fujiwara, Tatsuji Kawai
Ann. Pure Appl. Logic, 170, 8, 867-890, 2019
A continuity principle equivalent to the monotone Π10 fan theorem.
Tatsuji Kawai
Arch. Math. Log., 58, 3-4, 443-456, 2019
Formally continuous functions on Baire space.
Tatsuji Kawai
Math. Log. Q., 64, 3, 192-200, 2018
LOCALIC COMPLETION OF UNIFORM SPACES
Tatsuji Kawai
LOGICAL METHODS IN COMPUTER SCIENCE, 13, 3, -, 2017
Point-free characterisation of Bishop compact metric spaces.
Tatsuji Kawai
J. Logic & Analysis, 9, -, 2017
Completeness and cocompleteness of the categories of basic pairs and concrete spaces
Hajime Ishihara, Tatsuji Kawai
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 25, 8, 1626-1648, 2015