Intuitionistic and uniform provability in reverse mathematics
Makoto Fujiwara · Institutional Repositories DataBase (IRDB) · 2015
First of all, I would like to express the deepest appreciation to my supervisor, Professor Takeshi Yamazaki.In particular, not only did he allow me to study the topics of my own interest, but he devoted