Top   >   Back   >   学術論文・プロシーディングス・著作 の検索結果 13 件中 113 件目

On the decomposition of WKL!!
[ 全著者名 ] Makoto Fujiwara; Takako Nemoto
[ 掲載誌名 ] PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES
[ 掲載年月 ] 2023年 5月
[ 著作区分 ] レフェリー付学術論文(外国語)
Delta^0_1 variants of the law of excluded middle and related principles
[ 全著者名 ] Makoto Fujiwara
[ 掲載誌名 ] ARCHIVE FOR MATHEMATICAL LOGIC
[ 掲載年月 ] 2022年 11月
[ 著作区分 ] レフェリー付学術論文(外国語)
Refining the arithmetical hierarchy of classical principles
[ 全著者名 ] Makoto Fujiwara;Taishi Kurahashi
[ 掲載誌名 ] MATHEMATICAL LOGIC QUARTERLY
[ 掲載年月 ] 2022年 8月
[ 著作区分 ] レフェリー付学術論文(外国語)
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年
[ 著作区分 ] レフェリー付学術論文(外国語)
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年
[ 著作区分 ] レフェリー付学術論文(外国語)
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年
[ 著作区分 ] レフェリー付学術論文(外国語)
Some principles weaker than Markov’s principle
[ 全著者名 ] Makoto Fujiwara;Hajime Ishihara;Takako Nemoto
[ 掲載誌名 ] ARCHIVE FOR MATHEMATICAL LOGIC
[ 掲載年月 ] 2015年
[ 著作区分 ] レフェリー付学術論文(外国語)
Classical provability of uniform versions and intuitionistic provability
[ 全著者名 ] Makoto Fujiwara;Ulrich Kohlenbach
[ 掲載誌名 ] MATHEMATICAL LOGIC QUARTERLY
[ 掲載年月 ] 2015年
[ 著作区分 ] レフェリー付学術論文(外国語)
On the strength of marriage theorems and uniformity
[ 全著者名 ] Makoto Fujiwara;Kojiro Higuchi;Takayuki Kihara
[ 掲載誌名 ] MATHEMATICAL LOGIC QUARTERLY
[ 掲載年月 ] 2014年
[ 著作区分 ] レフェリー付学術論文(外国語)
Previous | 1 | Next