Daisuke Ikegami

J-GLOBAL         Last updated: Sep 20, 2017 at 18:56
 
Avatar
Name
Daisuke Ikegami
E-mail
ikegamimail.dendai.ac.jp
Affiliation
Tokyo Denki University
Section
School of Engineering Department of Mathematics
Job title
Non-tenure track assistant professor
Degree
Ph.D.
Other affiliation
Association for Symbolic Logic; European Set Theory Society; Mathematical Society of Japan

Profile

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

Research Areas

 
 

Academic & Professional Experience

 
Oct 2015
 - 
Today
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
 - 
Today
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