HOD Conjecture

Wednesdays, 16:15-18:15
Organized by Rahman Mohammadpour and Grigor Sargsyan

Updates:

  • This is an in-person seminar in room 6 at IMPAN in Warsaw
  • The first seminar on 08-10-2025
  • There are no seminars on October 15
  • The last seminar in 2025 will be on 10-12-2025


    • Resources:

  • The HOD Dichotomy by W. Hugh Woodin, Jacob Davis, and Daniel Rodríguez (arXiv)

    • Wednesday, 10-12-2025

    Dominik Bargieła

    • Title: TBA
    • Abstract: TBA

    Wednesday, 03-12-2025

    Umutcan Kaya

    • Title: Theorem 19
    • Abstract: Theorem 19, orollary 20

    Wednesday, 26-11-2025

    Olaf Kai Kołodziejski

    • Title: Solovay Set and Weak Extender Models
    • Abstract: We will prove a Solovay theorem, define an Weak Extender Model for supercompact cardinal and prove basic properties of it.

    Wednesday, 19-11-2025

    Jan Kostrzon

    • Title: Chapter 3 (HOD Conjecture) of the tutorials.
    • Abstract: TBA

    Wednesday, 12-11-2025

    Umutcan Kaya

    • Title: Vopenka algebra
    • Abstract: Vopenka algebra, Theorem 6, Corollary 7 and 8 (this is from the tutorial paper)

    Wednesday, 05-11-2025

    Rahman Mohammadpour

    • Title: Approximation and covering properties
    • Abstract:

    Wednesday, 29-10-2025

    Corentin Lagadec

    • Title: Theorem 5
    • Abstract: This theorem is on definability of an inner model under suitable covering and aprroximation properties

    Wednesday, 22-10-2025

    Dominik Bargieła and Noah Slavitch

    • Title: Kunen's inconsistency theorem I
    • Abstract: TBA

    Wednesday, 15-10-2025

    There is no seminar

    Wednesday, 08-10-2025

    Grigor Sargsyan

    • Title: An Introduction to the HOD Conjecture
    • Abstract: This introduction traces the historical development of the HOD conjecture up to 2025, emphasizing its significance for solving the Inner Model Problem and advancing the Inner Model Program.