Erweiterte Suche

Oberseminar Mengenlehre im Sommersemester 2016


Dienstags, 16-18 Uhr, SR1D

Vortraege

  • 12.04.16 Farmer Schlutzenberg: Criteria for mice to satisfy V=HOD_X, part I
    Abstract: Let M be a mouse satisfying ZF^- + ``aleph_1 exists''. Then:
    (1) (The universe of) M satisfies ``V=HOD_X'' where X is the restriction of the extender sequence of M to aleph_1^M.
    (2) If M is tame then M satisifes ``V=HOD_X'' for some real X in M.
  • 19.04.16 Farmer Schlutzenberg: Criteria for mice to satisfy V=HOD_X, part II
  • 26.04.16
  • 03.05.16
  • 10.05.16
  • 24.05.16
  • 31.05.16


Ansprechpartner: Ralf Schindler. Please send your title and abstract to Sandra Uhlenbrock.

Impressum | © 2007 FB10 WWU Münster
Universität Münster
Schlossplatz 2 - 48149 Münster
Tel.: +49 (251) 83-0 - Fax: +49 (251) 83-3 20 90
E-Mail: