Top > Back > 学術論文・プロシーディングス・著作 の検索結果 10 件中 1‐10 件目
PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC |
[ 全著者名 ] MAKOTO FUJIWARA;TAISHI KURAHASHI |
[ 掲載誌名 ] JOURNAL OF SYMBOLIC LOGIC |
[ 掲載年月 ] 2021年 |
[ 著作区分 ] レフェリー付学術論文(外国語) |
Decidable fan theorem and uniform continuity theorem with continuous moduli |
[ 全著者名 ] Makoto Fujiwara;Tatsuji Kawai |
[ 掲載誌名 ] MATHEMATICAL LOGIC QUARTERLY |
[ 掲載年月 ] 2021年 |
[ 著作区分 ] レフェリー付学術論文(外国語) |
König's lemma, weak König's lemma, and the decidable fan theorem |
[ 全著者名 ] Makoto Fujiwara |
[ 掲載誌名 ] MATHEMATICAL LOGIC QUARTERLY |
[ 掲載年月 ] 2021年 |
[ 著作区分 ] レフェリー付学術論文(外国語) |
Weihrauch and constructive reducibility between existence statements |
[ 全著者名 ] Makoto Fujiwara |
[ 掲載誌名 ] Computability |
[ 掲載年月 ] 2021年 |
[ 著作区分 ] レフェリー付学術論文(外国語) |
Characterising Brouwer’s continuity by bar recursion on moduli of continuity |
[ 全著者名 ] Makoto Fujiwara;Tatsuji Kawai |
[ 掲載誌名 ] ARCHIVE FOR MATHEMATICAL LOGIC |
[ 掲載年月 ] 2020年 |
[ 著作区分 ] レフェリー付学術論文(外国語) |
Equivalence of bar induction and bar recursion for continuous functions with continuous moduli |
[ 全著者名 ] Makoto Fujiwara;Tatsuji Kawai |
[ 掲載誌名 ] ANNALS OF PURE AND APPLIED LOGIC |
[ 掲載年月 ] 2019年 |
[ 著作区分 ] レフェリー付学術論文(外国語) |
Interrelation between weak fragments of double negation shift and related principles |
[ 全著者名 ] Makoto Fujiwara;Ulrich Kohlenbach |
[ 掲載誌名 ] JOURNAL OF SYMBOLIC LOGIC |
[ 掲載年月 ] 2018年 |
[ 著作区分 ] レフェリー付学術論文(外国語) |
Classical provability of uniform versions and intuitionistic provability |
[ 全著者名 ] Makoto Fujiwara;Ulrich Kohlenbach |
[ 掲載誌名 ] MATHEMATICAL LOGIC QUARTERLY |
[ 掲載年月 ] 2015年 |
[ 著作区分 ] レフェリー付学術論文(外国語) |
Some principles weaker than Markov’s principle |
[ 全著者名 ] Makoto Fujiwara;Hajime Ishihara;Takako Nemoto |
[ 掲載誌名 ] ARCHIVE FOR MATHEMATICAL LOGIC |
[ 掲載年月 ] 2015年 |
[ 著作区分 ] レフェリー付学術論文(外国語) |
On the strength of marriage theorems and uniformity |
[ 全著者名 ] Makoto Fujiwara;Kojiro Higuchi;Takayuki Kihara |
[ 掲載誌名 ] MATHEMATICAL LOGIC QUARTERLY |
[ 掲載年月 ] 2014年 |
[ 著作区分 ] レフェリー付学術論文(外国語) |
Previous
|
1
|
Next