Rchr
J-GLOBAL ID：201901014112863598   Update date: Jan. 30, 2024

Nemoto Takako

Nemoto Takako
Affiliation and department：
Tohoku University Graduate School of Information Sciences Department of System Information Sciences

About Tohoku University Graduate School of Information Sciences Department of System Information Sciences


Research field  (1)： Basic mathematics
Research keywords  (3)： Constructive Mathematics ,  Intuitionistic Logic ,  Reverse Mathematics
Research theme for competitive and other funds  (4)：
  • 2021 - 2026 Constructive reverse mathematics and computational content of mathematical theorems
  • 2018 - 2023 Computability theory on intuitionistic logic and its application to constructive reverse mathematics
  • 2015 - 2020 Phase transitions of provability and supercritical propositions of reverse mathematics
  • 2012 - 2014 Construction of an interpretation between systems of applicative theory and set theory
Papers (15)：
  • 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
  • Ayana Hirata, Hajime Ishihara, Tatsuji Kawai, Takako Nemoto. Equivalents of the finitary non-deterministic inductive definitions. Annals of Pure and Applied Logic. 2019. 170. 10. 1256-1272
ｍore...
Lectures and oral presentations  (19)：
  • 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)
  • Some properties of function spaces in reverse mathematics
    (Das Kontinuum - 100 years later 2018)
ｍore...
Professional career (1)：
  • B.S. from Tohoku Univeristy(2004), M.S. from Tohoku University(2006), Ph.D. from Tohoku University(2009)
Work history (2)：
  • Part-time Lecturer at Tohoku Gakuin University(2009), Researcher at Japan Advanced Institute of Science and Technology(2009), Research Assistant at University of Bern(2010)
  • Research fellowship at Mathematical Research Institute, Utrecht, Netherlands (2006), Research Fellow of Japan Society for the Promotion of Science(DC2)(2007), Teaching Assistant at Tohoku University(2008)
Association Membership(s) (3)：
Computability in Europe ,  the Mathematical Society of Japan ,  Association for Symbolic Logic
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM