姓名(Name):
池上 大祐 （Daisuke IKEGAMI）
职称（Title）:
副教授（Associate Professor）
工作学习经历（Professional Experience）:
Education:
Ph.D. in Mathematics, University of Amsterdam, June 2010.
M.Sc. in Computer Science, Nagoya University, March 2006.
B.Sc. in Science, University of Tokyo, March 2004.
Employment:
September 2023-current:
Associate Professor, Sun Yat-sen University
April 2018 – August 2023:
Associate Professor, Shibaura Institute of Technology
October 2015 - March 2018:
Assistant Professor, Tokyo Denki University.
April 2014 - September 2015:
JSPS Research Fellow, Kobe University.
November 2013 - March 2014:
Postdoctoral Researcher, University of Turin.
September 2011 - August 2013:
JSPS Postdoctoral Fellow for Research Abroad, University of California, Berkeley.
August 2010 - August 2011:
Postdoctoral Researcher, University of Helsinki.
研究方向（Research Area）:
Mathematical logic, in particular set theory.
代表性成果（Selected Publications）:
Refereed Papers
1.Daisuke Ikegami. Determinacy and regularity properties for idealized forcings, Mathematical Logic Quarterly, 68(3) 310-317, 2022.
2.Daisuke Ikegami and Nam Trang. Supercompactness of omega_1, Springer Proceedings in Mathematics & Statistics, 369, 27-45, 2022.
3.Daisuke Ikegami, Philipp Schlicht, and Hisao Tanaka. Borel subsets of the real line and continuous reducibility, Fundamenta Mathematicae, 244(3), 209-241, 2019.
4.Daisuke Ikegami and Nam Trang. On a class of maximality principles. Archive for Mathematical Logic, Springer, 57(5-6), 713-725, 2018.
5.Daisuke Ikegami and Jouko Vaananen. Boolean valued second order logic. Notre Dame Journal of Formal Logic, 56(1): 167-190, 2015.
6.Daisuke Ikegami, David de Kloet, and Benedikt Loewe. The axiom of real Blackwell determinacy. Archive for Mathematical Logic, Springer, 51(7): 671-685, 2012.
7.Daisuke Ikegami. Forcing absoluteness and regularity properties. Annals of Pure and Applied Logic, Elsevier,161(7): 879-894, 2010.
8.Daisuke Ikegami. Projective absoluteness for Sacks forcing. Archive for Mathematical Logic, Springer, 48(7): 679-690, 2010.
9.Johan van Benthem and Daisuke Ikegami. Modal Fixed-Point Logic and Changing Models. In Arnon Avron, Nachum Dershowitz and Alexander Rabinovich editors, Pillars of Computer Science, Lecture Notes in Computer Science, 4800: 146-165, 2008.
Proceedings
1.Daisuke Ikegami. Note on Bl-AD_{omega_1}. RIMS Kokyuroku at the Research Institute for Mathematical Sciences, 2042: 72-74, 2017.
2.Daisuke Ikegami. Borel approximation of coanalytic sets with Borel sections and the regularity properties for Sigma^1_2 sets of reals. RIMS Kokyuroku at the Research Institute for Mathematical Sciences, 1754:21-31, 2011.
3.Daisuke Ikegami. Real Determinacy and real Blackwell Determinacy. RIMS Kokyuroku at the Research Institute for Mathematical Sciences, 1754: 31-74, 2011.
代表性项目(Research Grants):
1. The Sumitomo Foundation Grant for Basic Science Research Projects, November 2019 - November 2022.
2. JSPS Grant-in-Aid for Scientific Research (C) April 2019 - March 2023.
3. JSPS Grant-in-Aid for Young Scientists (B), April 2015 - March 2018.
4. Grant-in-Aid for JSPS Fellows, April 2014 - March 2016.
教学课程（Teaching）:
- 研究生课程 (Graduate Courses)
- 逻辑学方法论 (Methods in logic)
- 高等数理逻辑 (Advanced Mathematical Logic)
- 可计算性理论 (Computability Theory)
- 本科生课程(Undergraduate Courses)
- 高等代数2 (Advanced Algebra 2)
- 公理集合论 (Axiomatic Set Theory)
获奖及荣誉（Awards and honors）:
Dissertation Prize, German Association for Mathematical Logic and Foundations of the Exact Sciences (DVMLG), September 2010.
联系方式（Contact Information）:
- 电子邮件: [email protected]
- 办公地址(选填)：抢庄牛牛-抢庄牛牛规则 锡昌堂602
