Daisuke Ikegami

J-GLOBAL         Last updated: Sep 20, 2017 at 18:56
Daisuke Ikegami
Tokyo Denki University
School of Engineering Department of Mathematics
Job title
Non-tenure track assistant professor
Other affiliation
Association for Symbolic Logic; European Set Theory Society; Mathematical Society of Japan


Hello! I am a non-tenure track assistant professor in set theory in Tokyo.

Research Areas


Academic & Professional Experience

Oct 2015
Non-tenure track assistant professor, Department of Mathematics, School of Engineering, Tokyo Denki University
Apr 2014
Sep 2015
JSPS postdoctoral fellow (domestic), Graduate School of System Informatics, Kobe University
Nov 2013
Mar 2014
Postdoctoral researcher, Department of Mathematics, University of Turin
Sep 2011
Aug 2013
Postdoctoral researcher (JSPS fellow), University of California, Berkeley
Aug 2010
Postdoctoral researcher, University of Helsinki

Awards & Honors

Sep 2010
Dissertation prize, Deutsche Vereinigung für Mathematische Logik (DVMLG)

Published Papers

Notes on Bl-AD_{\omegea_1}
RIMS Kokyuroku   2042 72-74   Jul 2017
Boolean valued second order logic
Daisuke Ikegami, Jouko Väänänen
Notre Dame Journal of Formal Logic   56(1) 167-190   2015   [Refereed][Invited]
The axiom of real Blackwell determinacy
Daisuke Ikegami, David de Kloet, and Benedikt Löwe
Archive for Mathematical Logic   51(7) 671-685   Nov 2012   [Refereed]
Real Determinacy and real Blackwell Determinacy
Daisuke Ikegami
RIMS Kokyuroku   1754 32-74   Aug 2011
Borel approximation of coanalytic sets with Borel sections and the regularity properties for sets of reals
Daisuke Ikegami
RIMS Kokyuroku   1754 21-31   Aug 2011
Forcing absoluteness and regularity properties
Daisuke Ikegami
Annals of Pure and Applied Logic   161(7) 879-894   Apr 2010   [Refereed]
Projective absoluteness for Sacks forcing
Daisuke Ikegami
Archive for Mathematical Logic   48(7) 679-690   Sep 2009   [Refereed]
Modal Fixed-Point Logic and Changing Models
Johan van Benthem and Daisuke Ikegami
Pillars of Computer Science, Lecture Notes in Computer Science   4800 146-165   Apr 2008   [Refereed]

Conference Activities & Talks

Modal Fixed-point Logics and Product Update [Invited]
池上 大祐
Workshop on Logic, Language and Computation & The 9th International Conference on Logic and Cognition (WLLC & ICLC)   Dec 2010   
Gale-Stewart games and Blackwell games [Invited]
池上 大祐
Workshop on set theory in Sino-European Winter School in Logic, Language and Computation   Dec 2010   
Real determinacy and Real Blackwell determinacy [Invited]
Daisuke Ikegami
RIMS Set Theory Workshop 2010   Oct 2010   
Infinite games with imperfect information [Invited]
Daisuke Ikegami
Colloquium Logicum 2010   Sep 2010   
Gale-Stewart games and Blackwell games
Daisuke Ikegami
Mathematical Logic in the Netherlands 2010 (MLNL'10)   May 2010   

Teaching Experience


Research Grants & Projects

Gödel's Program, Large cardinal Axioms, and Forcing Axioms
JSPS Grant-in-Aid for Young Scientists (B)
Project Year: Apr 2015 - Mar 2018    Investigator(s): Daisuke Ikegami
Inner models and Boolean valued higher order logics and Tex-logic
JSPS Grant-in-Aid for JSPS Fellows
Project Year: Apr 2014 - Mar 2017    Investigator(s): Daisuke Ikegami