根元多佳子

Nemoto Takako

所属機関・部署：

研究分野 (1件)：数学基礎

研究キーワード (3件)：構成的数学 , 直観主義論理 , 逆数学

競争的資金等の研究課題 (4件)：

論文 (17件)：

Makoto Fujiwara, Takako Nemoto. Choice principles characterizing the difference between König’s lemma and weak König’s lemma in constructive reverse mathematics. Computability. 2024. 1-8
MAKOTO FUJIWARA, HAJIME ISHIHARA, TAKAKO NEMOTO, NOBU-YUKI SUZUKI, KEITA YOKOYAMA. EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES. The Bulletin of Symbolic Logic. 2023. 29. 3. 1-42
Makoto Fujiwara, Takako Nemoto. On the decomposition of WKL!!. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 2023. 381. 2248
Josef Berger, Hajime Ishihara, Takako Nemoto. Varieties of the Weak Kőnig Lemma and the Disjunctive Dependent Choice. Mathematics for Computation (M4C). 2023. 143-164
Hajime Ishihara, Takako Nemoto. On the independence of premiss axiom and rule. Archive for Mathematical Logic. 2020. 59. 7-8. 793-815

講演・口頭発表等 (20件)：

Computability theory over intuitionistic logic
(2024)
Recent results in constructive reverse mathematics
(Continuity, Computability, Constructivity From Logic to Algorithms 2023)
De Morgan’s law and related principles in constructive reverse mathematics
(Constructive Mathematics: Foundation and Practice 2023)
On the decomposition of WKL!!
(Type Theory, Constructive Mathematics and Geometric Logic 2023)
Reverse mathematics over intuitionistic logic
(HaPoC Satel- lite Workshop, Computability in Europe 2021 2021)

学位 (1件)：

経歴 (6件)：

全件表示

所属学会 (3件)：

Computability in Europe , 日本数学会 , Association for Symbolic Logic

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

根元 多佳子