© Gregor Schindler 2016

4th Münster conference on

inner model theory

Institut für Mathematische Logik, WWU Münster,

July 17 -- Aug 01, 2017

Organizers: Ralf Schindler (Münster), John Steel (Berkeley)

This conference will be a sequel to the 1st Conference on the core model induction and hod mice that was held in Münster (FRB), July 19 -- August 06, 2010, to the 2nd Conference on the core model induction and hod mice that was held in Münster (FRG), August 08 -- 19, 2011, to the AIM Workshop on Descriptive Inner Model Theory, held in Palo Alto (CA), June 02 -- 06, 2014, to the Conference on Descriptive Inner Model Theory, held in Berkeley (CA) June 09 -- 13, 2014 to the 3rd Münster Conference on inner moel theory, the core model induction, and hod mice that was held in Münster (FRG), July 20 -- 31, 2015, as well as to the 1st Irvine conference on descriptive inner model theory and hod mice that was held in Irvine (CA), July 18 -- 29, 2016.

Once more, this conference will draw together researchers and advanced students with an interest in inner model theory, in order to communicate and further explore this recent work. There will be courses and single talks.

We will meet Monday--Friday, with 2 hours of lecture in the morning and 2 hours of lecture in the early afternoon. This will leave ample time for problem sessions, informal seminars, and other interactions in the late afternoons and evenings.

The conference will take place at the Department of Mathematics and Computer Science, Univ. of Muenster, Seminar room N2 (1st week) and lecture hall M6 (2nd and 3rd week).

The conference organizers gratefully acknowledge financial support from the American NSF (through Grigor Sargsyan and John Steel), from the Marianne and Dr. Horst Kiesow-Stiftung, Frankfurt a.M., and from the German logic society, DVMLG.

Tentative schedule:

Mon, July 17 Tue, July 18 Wed, July 19 Thu, July 20 Fri, July 21
9:30--10:45 Schlutzenberg: Tutorial I part 1 Wilson: Tutorial II part 1Zhu: Tutorial I part 3Zeman: Tutorial IV part 1Steel: Tutorial III part 1
11:15--12:30 Schlutzenberg: Tutorial I part 2 Wilson: Tutorial II part 2Zhu: Tutorial I part 4Zeman: Tutorial IV part 2 Steel: Tutorial III part 2
14:30--15:45 -- Ben-Neria 1Wilson: Tutorial II part 3 Schindler 1 ?
16:15--17:30 (Student seminar 16:15-17:45: Beriashvili) Ben-Neria 2 Miedzianowski Schindler 2 ?
17:30--∞ -- Problems and Discussions -- Problems and Discussionsfree

Mon, July 24 Tue, July 25 Wed, July 26 Thu, July 27 Fri, July 28
9:30--10:45 Steel: Tutorial III part 3 Trang: Tutorial IV part 3 Jackson Castiblanco ?
11:15--12:30 Steel: Tutorial III part 4 Trang: Tutorial IV part 4 -- ? ?
14:30--15:45 Adolf 1 Uhlenbrock Goldberg 1 Aguilera ?
16:15--17:30 Adolf 2 Fernandes Goldberg 2 -- ?
17:30--∞ Problems and Discussions Problems and DiscussionsProblems and DiskussionsProblems and Discussionsfree

Mon, July 31 Tue, Aug 01
9:30--10:45 ? ?
11:15--12:30 ? ?
14:30--15:45 ? ?
16:45--17:30 ? ?
17:30--∞ Problems and Discussions Problems and Discussions

Talks and abstracts:

  1. Dominik Adolf: A derived model satisfying Θ ≥ θω2. Abstract: See title. This is joint work with G. Sargsyan.
  2. Juan Aguilera: Making Δ1 Determined Again. Abstract: We prove some results on games of length ω1 that strengthen provably-Δ1 determinacy. This is joint work with Douglas Blue.
  3. Omer Ben-Neria: The failure of diamond principle at large cardinals.
  4. Fabiana Castiblanco: The ordinal u2 and a thin Δ13 equivalence relation.
  5. Gabriel Fernandes: Cardinal arithmetic and Woodin cardinals. Abstract: If ω_3 < cf (κ) < κ, for all α < κ we have beth_α (α) ∈ κ and S = {α < κ | 2^α > α+ } is stationary and co stainary, then there is a mouse M such that M∩OR = κ and M |= ∀α∃δ > α(δ is a Woodin cardinal). This is joint work with Ralf Schindler
  6. Gabriel Goldberg: Supercompact cardinals and the Mitchell order. Abstract: We introduce a general comparison principle for ultrafilters, the Ultrapower Axiom, that along with GCH implies that the Mitchell order is linear on supercompactness measures. For example, the result applies to the Woodin and Neeman-Steel models at the finite levels of supercompactness, even though in these models many supercompactness measures, and even normal measures, do not appear on the sequence.
  7. Steve Jackson: Some new partition and non-partition results from AD. Abstract: Assuming AD, we identify the exact exponent partition properties the successor and double successor of regular limit Suslin cardinals have, and some related questions. This is joint work with Apter, Blass, and Lowe.
  8. Menachem Magidor: t.b.a.
  9. Stefan Miedzianowski: Inner Model Theoretic Geology. Abstract: We analyze the set theoretic mantle of an extender model with a unique strong cardinal.
  10. Ralf Schindler: Varsovian models with more Woodin cardinals. We report on joint work with Grigor Sargsyan. Varsovian models, II
  11. Farmer Schlutzenberg and Yizheng Zhu: Tutorial I on the derived model theorem.
  12. John Steel: Tutorial III on hod mice.
  13. Nam Trang and Martin Zeman: Tutorial IV on ◻κ in hod mice and long extender models.
  14. Sandra Uhlenbrock: HOD in inner models with finitely many Woodin cardinals Abstract: We analyze HOD in the inner model Mn(x,g) for reals x of sufficiently high Turing degree and a suitable generic g. This is joint work with Grigor Sargsyan.
  15. Trevor Wilson: Tutorial II on Suslin cardinals and Env(Γ)


Dominik Adolf (Münster) ?₰ ?
Juan P. Aguilera (TU Vienna)?₰ ?
Rachid Atmai (Vienna)?₰ ?
Omer Ben-Neria (UCLA)?₰ ?
Mariam Beriashvili (Tbilisi)July 16--?Germania Campus
Douglas Blue (Harvard)?₰ ?
Fabiana Castiblanco (Münster)
Andrés Caicedo (AMS) ?₰ ?
Justin Cavitt (Harvard) ?₰ ?
Gabriel Fernandes (Münster)
Elliot Glazer (Rutgers)?₰ ?
Gabriel Goldberg (Harvard)July 16--Aug 05 (exact dates tbc)?
Steve Jackson (Texas)July 23--Aug 01Handwerkskammer
Ronald Jensen (Berlin)July 29--Aug 06Hotel am Schloßpark
Martin Köberl (Rutgers)??
Stefan Miedzianowski (Münster)
Bill Mitchell (Gainesville) July 17 -- Aug 05 Hotel am Schloßpark (?)
Dan Saattrup Nielsen (Bristol)?₰ ?
Menachem Magidor (Jerusalem)July 16--Aug 05 (exact dates tbc)Europa Haus
Grigor Sargsyan (Rutgers)?Germania Campus
Ralf Schindler (Münster)
Farmer Schlutzenberg (Münster)
Benjamin Siskind (Berkeley)?₰ ?
John Steel (Berkeley) July 14--Aug 08Humboldt Haus
Nam Trang (UC Irvine)?Germania Campus
Sandra Uhlenbrock (Vienna)??
Trevor Wilson (Miami Univ., Oxford OH)??
Shi Xianghui (Beijing)??
Yizheng Zhu (Münster)
Martin Zeman (UC Irvine) July 16--Aug 05 (exact dates tbc)Germania Campus

Housing information:

  • airbnb
  • Barbara's bed and breakfast, she has rooms for 25 -- 68 EUR. This is the only one not within walking distance, so you'd need a bike; but it's nice and cheap.
  • Nordstern hostel, rooms for 29 EUR.
  • My bed and breakfast, rooms for 49 -- 69 EUR.
  • Handwerkskammer Münster. They have very nice rooms for less than 100 € per week. See here. A highly recommended option! Contact: Frau Iris Weverinck-Friedrichs,, phone no. +49-251-705-1305.
  • Haus Niemann, rooms for 59,50 EUR.
  • Factory Hotel.
  • Hotel am Schlosspark.
  • Hotel Jellentrup.

  • Travel information:

    Münster has an airport, IATA code: FMO. You may e.g. fly there with Lufthansa (or, United, operated by Lufthansa 😊) via Frankfurt or Munich. A cab from FMO to the center is about 50 €, but there are shuttle buses for about 7 €. Another good option to reach Münster is to fly to Düsseldorf, IATA code: DUS, and take a train from there, which takes about 1 1/2 hours.

    Tourist information:

    The fifth Sculpture Projects Münster, see here, will take place in 2017: Skulptur Projekte.