Rchr
J-GLOBAL ID:201601016112898805   Update date: Apr. 22, 2021

Fujiwara Makoto

フジワラ マコト | Fujiwara Makoto
Affiliation and department:
Job title: JSPS Research Fellow PD
Research field  (1): Basic mathematics
Research keywords  (4): Intuitionistic Logic ,  Constructive Mathematics ,  Reverse Mathematics ,  Foundation of Mathematics
Research theme for competitive and other funds  (5):
  • 2020 - 2023 Reverse mathematical analysis of intuitionistic mathematics
  • 2019 - 2022 A logical foundation for constructivism
  • 2018 - 2020 Uniform and constructive provability for existence statements
  • 2016 - 2018 Computation of a witness of an existence statement and its verification
  • 2014 - 2016 Uniform and constructive provability for existence statements in reverse mathematics
Papers (14):
more...
MISC (7):
  • Makoto Fujiwara, Taishi Kurahashi. Refining the arithmetical hierarchy of classical principles. 2020
  • Makoto Fujiwara. Decomposition of König's lemma and its unique variants. 2020
  • Fujiwara, Makoto. On the decomposition of WKL!!. 2020
  • Fujiwara, Makoto. König's lemma, weak König's lemma, and the decidable fan theorem. 2020
  • Makoto Fujiwara. Δ01 variants of the law of excluded middle and related principles. Submitted. 2020
more...
Education (3):
  • 2012 - 2015 Tohoku University Mathematical Institute, Ph.D.
  • 2010 - 2012 Tohoku University Mathematical Institute, M.S.
  • 2006 - 2010 Tohoku University Mathematical Institute, B.S.
Professional career (1):
  • Doctor of Science (Tohoku University)
Work history (5):
  • 2019/04 - 現在 Meiji University Department of Mathematics, School of Science and Technology JSPS Research Fellow PD
  • 2018/04 - 2019/03 Waseda University Waseda Institute for Advanced Study Assistant Professor
  • 2016/04 - 2018/03 Waseda University Waseda Institute for Advanced Study Assistant Professor
  • 2015/04 - 2016/03 Japan Advanced Institute of Science and Technology School of Information Science JSPS Research Fellow PD
  • 2014/04 - 2015/03 Tohoku University Mathematical Institute JSPS Research Fellow DC2
Association Membership(s) (3):
Association for Symbolic Logic ,  The Japan Association for Philosophy of Science ,  The Mathematical Society of Japan
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page