Waseda Institute for Advanced Study (WIAS)Waseda University



staffMakoto Fujiwara
Doctor of Science
Assistant Professor, Waseda Institute for Advanced Study

Monthly Spotlight

[Monthly Spotlight] is forcusing on a researcher to introduce his/her research.
Pursuit of Constructivism in Mathematics Makoto Fujiwara, Assistant Professor

Research Topics

My research field is foundation of mathematics. In particular, my current interest is constructivism in mathematics. Using techniques from proof theory, I am investigating the relationship between uniform provability in reverse mathematics and constructive provability. In association with this, I am also working on the analysis of weak logical principles over intuitionistic arithmetic.

Education and Academic Employment

2010.3 B. Science, Tohoku University
2012.3 M. Science, Tohoku University
2015.3 D. Science, Tohoku University
2014.4 – 2015.3 JSPS Research Fellow DC2 (Tohoku University)
2015.4 – 2016.4 JSPS Research Fellow PD (Japan Advanced Institute of Science and Technology)
2016.4 – Assistant Professor, Waseda Institute for Advanced Study, Waseda University

Research Fields of Interest

  • Foundation of Mathematics
  • Mathematical Logic
  • Reverse Mathematics
  • Constructive Mathematics
  • Intuitionistic Logic

Academic Publications

  1. Some principles weaker than Markov’s principle (with H. Ishihara and T. Nemoto), Archive for Mathematical Logic, Vol. 54 Issue 7-8, pp. 861–870, 2015
  2. Intuitionistic provability versus uniform provability in RCA, Lecture Notes in Computer Science, vol. 9136, pp. 186–195, 2015.
  3. Classical provability of uniform versions and intuitionistic provability (with U. Kohlenbach), Mathematical Logic Quarterly vol. 61, Issue 3, pp. 132–150, 2015.
  4. On the strength of marriage theorems and uniformity (with K. Higuchi and T. Kihara), Mathematical Logic Quarterly vol. 60, Issue 3, pp. 136–153, 2014.

Membership of Academic Organization

  • The Mathematical Society of Japan
  • The Japan Association for Philosophy of Science
  • Association for Symbolic Logic

Related articles

John P. Tang
Michal Grover Friedlander
Oliver Zimmer
Page Top
WASEDA University

The Waseda University official website
<<https://www.waseda.jp/inst/wias/en/>> doesn't support your system.

Please update to the newest version of your browser and try again.


Suporrted Browser