フィンガープリント
Takako Nemotoが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
- 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., 2024 4月 2, In: Computability. -1, -1, p. 1-8 8 p.研究成果: ジャーナルへの寄稿 › 学術論文 › 査読
-
Choice and independence of premise rules in intuitionistic set theory
Frittaion, E., Nemoto, T. & Rathjen, M., 2023 10月 1, In: Annals of Pure and Applied Logic. 174, 9, 103314.研究成果: ジャーナルへの寄稿 › 学術論文 › 査読
-
EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
Fujiwara, M., Ishihara, H., Nemoto, T., Suzuki, N. Y. & Yokoyama, K., 2023 9月 26, In: Bulletin of Symbolic Logic. 29, 3, p. 311-353 43 p.研究成果: ジャーナルへの寄稿 › 学術論文 › 査読
Open Access1 被引用数 (Scopus) -
On the decomposition of WKL!!
Fujiwara, M. & Nemoto, T., 2023 4月 10, In: Philosophical transactions. Series A, Mathematical, physical, and engineering sciences. 381, 2248, 20220010.研究成果: ジャーナルへの寄稿 › 学術論文 › 査読
1 被引用数 (Scopus) -
Varieties of the weak Konig Lemma and the disjunctive dependent choice
Berger, J., Ishihara, H. & Nemoto, T., 2023 3月 21, Mathematics For Computation (M4c). World Scientific Publishing Co. Pte Ltd, p. 143-164 22 p.研究成果: 書籍の章/レポート/Proceedings › 章 › 査読