Daisuke Ikegami

Hello! I am a non-tenured assistant professor in set theory at the Tokyo Denki University.

I got a Ph.D. on June 1st in 2010 under the supervision of Benedikt Löwe and Ralf Schindler.

E-mail address: ikegami "at" mail "dot" dendai "dot" ac "dot" jp

Oxford 2010

Curriculum Vitae

Theses - Daisuke Ikegami, Projective absoluteness under Sacks forcing, Master's thesis at the Nagoya University, March 2006. PDF
- Daisuke Ikegami, Games in Set Theory and Logic, Ph.D. thesis at the ILLC, June 2010. PDF

Refereed Papers - 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, volume 4800 of Lecture Notes in Computer Science, 2008, p. 146-165. PDF
- Daisuke Ikegami, Projective absoluteness for Sacks forcing, Archive for Mathematical Logic, Volume 48, Number 7, 2009, p. 679-690. PDF
- Daisuke Ikegami, Forcing Absoluteness and Regularity Properties, Annals of Pure and Applied Logic, Volume 161, Issue 7, 2010, p. 879-894. PDF
- David de Kloet, Benedikt Löwe and Daisuke Ikegami, The axiom of real Blackwell determinacy, Archive for Mathematical Logic, Volume 51, Number 7, 2012, p. 671-685. . PDF
- Jouko Väänänen and Daisuke Ikegami, Boolean valued second order logic, Notre Dame Journal of Formal Logic, Volume 56, Number 1 (2015), 167-190. PDF

Proceedings - Daisuke Ikegami, Borel approximation of coanalytic sets with Borel sections and the regularity properties for sets of reals, RIMS Kôkyûroku, No. 1754 (2011), p. 21-31. PDF
- Daisuke Ikegami, Real Determinacy and real Blackwell Determinacy, RIMS Kôkyûroku, No. 1754 (2011), p. 32-74. PDF
- Daisuke Ikegami, Notes on Bl-AD_{omega_1}, RIMS Kôkyûroku, No. 2042 (2017), p. 72-74. PDF

Preprints - W. Hugh Woodin and Daisuke Ikegami, Real Determinacy and Real Blackwell Determinacy. PDF
- Philipp Sclicht, Hisao Tanaka and Daisuke Ikegami, Borel subsets of the real line and continuous reducibility. PDF
- Nam Trang and Daisuke Ikegami, On a class of maximality principles. PDF

Notes - Ralf Schindler and Daisuke Ikegami, Note on alternating chains. PDF

Slides - Projective absoluteness for Sacks forcing, Logic Colloquium 2006 at Nijmegen, the Netherlands, July 2006. PDF
- Forcing absoluteness and regularity properties, Amsterdam workshop in set theory (the satellite workshop of the Ph.D. defence of Brian Semmes), the Netherlands, May 2009. PDF
- Fixed point logics and changing models, Workshop on Logic, Language and Computation & The 9th International Conference on Logic and Cognition (WLLC & ICLC) at Sun Yat-sen University at Guangzhou, China, December 2010. PDF
- (with Philipp Schlicht) Continuous reducibility for the real line, Descriptive set theory in Paris at Paris, France, December 2012. PDF
- Regularity properties and infinitary Borel sets, Amsterdam workshop in set theory (the satellite workshop of the Ph.D. defence of Yurii Khomskii), the Netherlands, February 2012. PDF
- Gale-Stewart games and Blackwell games, 5th Young Set Theory Workshop, Luminy in France, May 2012. PDF
- Boolean valued second order logic, Bonn Logic Seminar, Germany, February 2013. PDF
- Inner models from logics and the generic multiverse, Workshop on forcings and large cardinals, The Erwin Schödinger International Institute for Mathematical Physics, Vienna, September 2013. PDF

Teaching - 2004/05: Teaching assistant, Calculus I, II, Linear Algebra, Complex Analysis and Computability Theory at the Nagoya University.
- Fall in 2006: Teaching Assistant for "Recursion Theory" at the ILLC.
- Fall in 2007: Teaching Assistant for "Basic Logic" at the ILLC.
- June in 2008: Co-organizer of the project for master students "Completeness for the Modal $\mu$-Calculus" at the ILLC.
- Fall in 2008: Co-organizer of the seminar for undergraduate students on "Descriptive Set Theory" at the Universität Münster.

Last update : April 4th in 2017