Recent and upcoming talks by Daisuke Ikegami

Generalised Baire Spaces, Amsterdam, August 22-24, 2018

KNAW Academy Colloquium Generalised Baire Spaces Amsterdam, The Netherlands Master Class: 22 August 2018 / Colloquium: 23–24 August 2018 Organisers. Lorenzo Galeotti, Benedikt Löwe, Philipp Lücke. Descriptive set theory and set theory of the reals traditional deal with well-known and well-studied topological spaces such as the real numbers, Cantor space, and Baire space. continue reading…

2nd Pan Pacific International Conference on Topology and Applications, November 13–17, 2017

The 2nd Pan Pacific International Conference on Topology and Applications (2nd PPICTA) had a special session in Set Theory, to which we now provide the slides. (50min. talks) 1. David Chodounsky (Institute of Mathematics CAS) Sacks indestructible ultrafilters and the HL property 2. continue reading…

Iterated Forcing Theory and Cardinal Invariants, Kyoto, November 6 – 9, 2017

RIMS Workshop on Iterated Forcing Theory and Cardinal Invariants November 6 – 9, 2017 at the Research Institute for Mathematical Sciences (RIMS), Kyoto University ORGANIZER: Jörg Brendle (Kobe) MINICOURSE: Diego Mejía (Shizuoka)  Recent (and not that recent) forcing techniques on finite support iterations SPEAKERS: David Asperó (Norwich) Few new reals Fabiana Castiblanco (Münster) David Chodounský (Praha) Monroe Eskew (Wien) Local saturation at every successor cardinal JiaLiang He (Chengdu) An elementary proof of p = t Daisuke Ikegami (Tokyo) On supercompactness of $\omega_1$ Hiromi Ishii (Tsukuba) Reflection Principle and construction of saturated ideals on $\mathcal P_{\omega_1}(\lambda)$ Yo Matsubara (Nagoya) On the existence of skinny stationary subsets Tadatoshi Miyamoto (Nagoya) No Suslin trees but a non-special Aronszajn tree exists by a side condition method Francesco Parente (Norwich) Keisler’s order via Boolean ultrapowers André Rodrigues (Kobe) Hiroshi Sakai (Kobe) On models generated by uncountable indiscernible sequences Dmitri Shakhmatov (Matsuyama) Compactness-like properties de ned by open-point games and maximal almost disjoint families Toshimichi Usuba (Tokyo) $G_\delta$ modification and large cardinals Teruyuki Yorioka (Shizuoka) Aspero-Mota’s finitely proper forcing axiom and k-entangled sets of reals Yasuo Yoshinobu (Nagoya) A further variation of the Banach-Mazur game and forcing axioms continue reading…

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…