For the most up-to-date version of the program, please see:

http://kurt.scitec.kobe-u.ac.jp/~fuchino/rims2013/rims2013-program.html.

The expected speakers of the meeting are kindly requested to send the organizer (see the email address at the end of the program) titles (if not yet set), abstracts of their talks and/or any related material of thier talks which may be linked to this program.

If you do not find your planned talk in the program at all or else something about you or your talk is put incorrectly, this should simply be a silly mistake of the organizer. In this case, please forgive him send him an email pointing it out.

09:00--09:10 | Opening |

09:10--10:10 | James Cummings Large cardinals and forcing (mini course (1/4)) |

10:30--11:15 | David Asperó Forcing locally definable well-orders of the universe without the GCH [slides] |

11:25--12:10 | Laura Fontanella Large properties at small cardinals |

12:10--14:00 | Lunch Time |

14:00--14:45 | Michael Hrušák Generic existence of MAD families |

15:10--15:55 | Teruyuki Yorioka Side condition method and the preservation of a tower in ${\cal P}(\omega)$ |

16:10--16:55 | Aleksander Błaszczyk $P_\lambda$-filters and regular embeddings |

09:00--10:00 | James Cummings Large cardinals and forcing (mini course (2/4)) |

10:30--11:15 | Andrew Brooke-Taylor On cardinal characteristics of large cardinals |

11:25--12:10 | Diego Alejandro Mejía Guzmán Template iterations with non-definable posets |

12:10--13:50 | Lunch Time |

13:50--14:20 | Osvaldo Guzman Namba forcing and set theory of the reals |

14:30--15:00 | Arturo Antonio Martinez Canjar Ideals |

15:20--15:50 | Jonathan Cancino Manriquez Countable irresolvable spaces |

16:00--16:20 | Shohei Tajiri A remark on ``Can you take Solovay's inaccessible away?'' |

16:30--17:00 | David Chodounský Some combinatorics in ${\cal P}(\omega)$ [slides] |

09:00--10:00 | James Cummings Large cardinals and forcing (mini course (3/4)) |

10:30--12:00 | Stevo Todorčević; Combinatorial Reflection Principles |

12:00--13:40 | Lunch Time |

Short talks session: | |

13:40--14:00 | Vincenzo Dimonte Very Large Cardinals and the failure of GCH |

14:05--14:25 | Luz María García-Ávila A forcing notion related to Hindman's Theorem (new properties) |

14:30--14:50 | Sakaé Fuchino A proof of the Fodor-type Reflection Principle from the Rado Conjecture [slides] [notes] |

14:55--15:15 | Toshimichi Usuba Superdestructibility of superstrong and other large cardinals [preprint] |

15:20--15:40 | Hiroshi Sakai $n$-stationary sets and $\Pi^1_{n-1}$-indescribable cardinals [slides] |

09:00--10:00 | James Cummings Large cardinals and forcing (mini course (4/4)) |

10:20--11:05 | Masahiro Shioya A simplified approach to saturated ideals |

11:15--12:00 | Tadatoshi Miyamoto Matrices of isomorphic models and morass-like structures |

12:10--13:40 | Lunch Time |

13:40--14:25 | Ulises Ariet Ramos García Intersection numbers of families of ideals |

14:35--15:20 | Liuzhen Wu $\Delta_1$ definability of the full nonstationary ideal on cardinals |

15:20--15:30 | Closing |

Last modified: Thu Sep 26 16:22:56 +0900 2013