Daisuke IkegamiHello! 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 |
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. |