Recent and upcoming talks by Daisuke Ikegami

Infinite Combinatorics and Forcing Theory, Kyoto, November 28 – December 1, 2016

RIMS Workshop on Infinite Combinatorics and Forcing Theory November 28 – December 1, 2016 at the Research Institute for Mathematical Sciences (RIMS), Kyoto University The workshop website: http://www.ipc.shizuoka.ac.jp/~styorio/rims16/index.html Tutorial speakers: Natasha Dobrinen (University of Denver), Ramsey theory in forcing Yinhe Peng (University of Toronto), Negative partition relations on $\omega_1$ Speakers: Jörg Brendle (Kobe University), Maximal trees Fabiana Castiblanco (Universität Münster), Preserving sharps by tree forcings David Chodounsky (Institute of Mathematics of the Czech Academy of Science), Mathias-Prikry forcing and generic ultrafilters Sakaé Fuchino (Kobe University), Reflection theorems on non-existence of orthonormal bases of pre-Hilbert spaces Daisuke Ikegami (Tokyo Denki University), Boolean valued second order logic Diego A. continue reading…

Daisuke Ikegami: On a class of maximality principles

Mathematical logic seminar – May 13 2016 Time:     12:30 – 13:30Room:     Wean Hall 8220 Speaker: Daisuke Ikegami Tokyo Denki University Japan Title:     On a class of maximality principles Abstract: The Maximality Principle (MP) states that for any first-order sentence φ in the language of set theory, if it is forced by a set forcing that φ is true in any further set generic extension, then φ must be true. continue reading…

Large Cardinals and Strong Logics: September 5 through December 16

Dear colleague, We would like to inform you about the forthcoming CRM Intensive Research Program on Large Cardinals and Strong Logics, to be held from September 5 to December 16, 2016. continue reading…

P.O.I workshop in Pure and Descriptive Set Theory, Turin, September 25-26th, 2015

The logic group in Turin is pleased to announce a two-day workshop on Pure and Descriptive Set Theory. This workshop concludes the San Paolo junior PI grant “New Perspectives On the nature of Infinity”. continue reading…

Infinitary Combinatorics in Set Theory and Its Applications, November 10-13, 2014

RIMS Set Theory Workshop 2014 Infinitary Combinatorics in Set Theory and Its Applications November 10 – 13, 2014 Kyoto, Japan   Overview Infinitary Combinatorics is a classical and main topic of axiomatic set theory. continue reading…

Inner and Outer Model Theory, July 6-7, 2014

Inner and Outer Model Theory This workshop will take place at the University of Bristol on July 6th and 7th, 2014. It will focus on the structure of forcing extensions, in particular fine structure-like properties, as well as inner model theory. continue reading…

INFTY Final Conference, March 4-7 2014

The INFTY Final Conference marks the conclusion of the European Science Foundation Research Networking Programme INFTY – New frontiers of infinity: mathematical, philosophical, and computational prospects. The INFTY network is devoted to the study of a wide range of aspects of Infinity. continue reading…

Logic Colloquium 2014, July 14-19, 2014

Logic Colloquium 2014 will take place during the Vienna Summer of Logic. The Program Committee members are: Z. Adamowicz, J. Avigad (Chair), M. Bezem, S. Friedman, J. Koenigsman, K. Lodaya, P. continue reading…

Daisuke Ikegami: Boolean-valued second-order logic

Thursday, February 7, 2013, 14.15 Seminar room 1.007, Mathematical Institute, University of Bonn Speaker: Daisuke Ikegami (Berkeley) Title: Boolean-valued second-order logic continue reading…

Arctic Set Theory Workshop, February 1-5, 2013

This international workshop on the latest developments in set theory, including set theoretic model theory and constructive set theory, will be held in the Kilpisjärvi Research Center of the University of Helsinki, during February 1-5, 2013. continue reading…