Top > Back > 学術論文・プロシーディングス・著作 の検索結果 16 件中 1‐16 件目
| Prenex normalization and the hierarchical classification of formulas |
| [ 全著者名 ] Makoto Fujiwara; Taishi Kurahashi |
| [ 掲載誌名 ] ARCHIVE FOR MATHEMATICAL LOGIC |
| [ 掲載年月 ] 2024年 5月 |
| [ 著作区分 ] レフェリー付学術論文（外国語） |
| CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC |
| [ 全著者名 ] MAKOTO FUJIWARA;TAISHI KURAHASHI |
| [ 掲載誌名 ] JOURNAL OF SYMBOLIC LOGIC |
| [ 掲載年月 ] 2023年 12月 |
| [ 著作区分 ] レフェリー付学術論文（外国語） |
| EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES |
| [ 全著者名 ] MAKOTO FUJIWARA; HAJIME ISHIHARA; TAKAKO NEMOTO; NOBU-YUKI SUZUKI; KEITA YOKOYAMA |
| [ 掲載誌名 ] BULLETIN OF SYMBOLIC LOGIC |
| [ 掲載年月 ] 2023年 7月 |
| [ 著作区分 ] レフェリー付学術論文（外国語） |
| 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月 |
| [ 著作区分 ] レフェリー付学術論文（外国語） |
| 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年 |
| [ 著作区分 ] レフェリー付学術論文（外国語） |
| König's lemma, weak König's lemma, and the decidable fan theorem |
| [ 全著者名 ] Makoto Fujiwara |
| [ 掲載誌名 ] 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
