Daisuke IkegamiHello! I am a postdoctoral researcher in set theory in Berkeley. I am supported by the Japan Society for the Promotion of Science (JSPS) as a postdoctoral fellow for research abroad. I got a Ph.D. on June 1st in 2010 under the supervision of Benedikt Löwe and Ralf Schindler. E-mail address: daisuke "at" math "dot" berkeley "dot" edu |
|
| 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, to appear in Archive for Mathematical Logic. 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 (2010), p. 21-31. PDF |
| - | Daisuke Ikegami, Real Determinacy and real Blackwell Determinacy, RIMS Kôkyûroku, No. 1754 (2010), p. 32-74. PDF | |
| Preprints | - | W. Hugh Woodin and Daisuke Ikegami, Real Determinacy and Real Blackwell Determinacy. PDF |
| - | Jouko Väänänen and Daisuke Ikegami, Boolean valued second order logic. 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 |
| - | Wadge reducibility for the real line, 2nd New York Graduate Student Logic Conference, USA, March 2007. 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 | |
| - | Blackwell determinacy, CMU Mathematical Logic Seminar at Pittsburgh, USA, November 2011. 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 | |
| - | Omega-logic and Boolean-valued 2nd-order logic, Bonn Logic Seminar, Germany, February 2012. 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. | |