年別の研究成果
年別の研究成果
研究者プロファイル
研究・技術テーマ
構成的数学
逆数学
直観主義論理
証明論
構成的推論
逆数学
直観主義論理
証明論
構成的推論
フィンガープリント
Makoto Fujiwaraが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
- 1 類似のプロファイル
過去5年の共同研究と上位研究分野
国/地域レベルにおける最近の外部共同研究。点をクリックして詳細を開くか、または
-
Choice principles characterizing the difference between König’s lemma and weak König’s lemma in constructive reverse mathematics
Fujiwara, M. & Nemoto, T., 2 4月 2024, In: Computability. -1, -1, p. 1-8 8 p.研究成果: Article › 査読
-
Prenex normalization and the hierarchical classification of formulas
Fujiwara, M. & Kurahashi, T., 5月 2024, In: Archive for Mathematical Logic. 63, 3-4, p. 391-403 13 p.研究成果: Article › 査読
-
Conservation theorems on semi-classical arithmetic
Fujiwara, M. & Kurahashi, T., 17 12月 2023, In: Journal of Symbolic Logic. 88, 4, p. 1469-1496 28 p.研究成果: Article › 査読
Open Access1 被引用数 (Scopus) -
EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
Fujiwara, M., Ishihara, H., Nemoto, T., Suzuki, N. Y. & Yokoyama, K., 26 9月 2023, In: Bulletin of Symbolic Logic. 29, 3, p. 311-353 43 p.研究成果: Article › 査読
Open Access -
On the decomposition of WKL!!
Fujiwara, M. & Nemoto, T., 10 4月 2023, In: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 381, 2248, 20220010.研究成果: Article › 査読
1 被引用数 (Scopus)