Tuesdays, 16:00-18:00
Organized by Rahman Mohammadpour and Grigor Sargsyan

Updates:

  • This is an in-person seminar in room 106 at IMPAN in Warsaw


    • Tuesday, 10-03-2026

    Corentin Lagadec

    • Title: The strong Chang's conjecture in \(\mathbb{P}_{\textsf{max}}\) models
    • Abstract: I will present a proof that an improved version of the strong Chang's conjecture can be forced with \(\mathbb{P}_{\textsf{max}}\) over a model of determinacy.

    Tuesday, 17-03-2026

    Nam Trang (University of North Texas)

    • Title: TBA
    • Abstract: TBA

    Tuesday, 24-03-2026

    Jouko Vaananen (University of Helsinki)

    • Title: New inner models from second order logics
    • Abstract: TBA

    Tuesday, 31-03-2026

    Otto Rajala

    • Title: TBA
    • Abstract: TBA

    Tuesday, 07-04-2026

    Iljas Farah (York University)

    • Title: TBA
    • Abstract: TBA

    Tuesday, 10-02-2026

    Grigor Sargsyan

    • Title: An Introduction to Nairian Models
    • Abstract: No abstract

    Tuesday, 24-02-2026

    Lukas Koschat (TU Wien)

    • Title: Full models of \(\textsf{LSA}\)
    • Abstract: The main topic of the talk is the following recent result: assuming large cardinals in the region of three supercompact cardinals and letting \(\kappa\) be the least supercompact cardinal, in each forcing extension where \(\kappa\) is countable, the minimal inner model containing all universally Baire sets, \(L(uB)\), contains an full model of \(\textsf{LSA}\) (Largest Suslin Axiom). The Largest Suslin Axiom is a determinacy axiom of high consistency strength, and hence the result implies that in the given context \(L(uB)\) satisfies very strong determinacy axioms. The result is part of joint work with Sandra Müller and Grigor Sargsyan. The talk is aimed at a general set theory audience and thus a major part of the talk will be dedicated to introducing the relevant concepts, and explainingtheir importance to the study of consistency strength, as well as their connections to recent developments in the endeavour of forcing failures of square principles over models of determinacy.