Oberseminar Mathematische Logik

Organizer

Time and Place

Thursday 16:30-18:30 Beringstraße 4 SRA

Program

  1. October 19th, 2006: Bernhard Irrgang (Universität Bonn)
    Some News on Morasses and Forcing.
  2. October 26th, 2006: Jip Veldman (Universität Bonn)
    Some remarks on mutual stationarity properties.
  3. November 9th, 2006: Peter Koepke (Universität Bonn)
    Ordinal Computability and Fine Structure.
  4. November 30th, 2006: Ralf Schindler (Universität Münster)
    The strength of PFA.

    Abstract: We show that one of the following fails. (1) The K^c construction does not break down. (2) There is no subcompact cardinal in any inner model. (3) PFA. This is joint work with Jensen, Schimmerling, and Steel

Last changed Novermber 27 2006