When cardinals determine the power set: inner models and strong definability logicsOberseminar Logik

by Philip Welch (MPIM/Bristol)

Monday May 26, 2025, 5:00 PM → 6:00 PM Europe/Berlin

Endenicher Allee 60/N0.003 - Seminarraum (Mathezentrum)

In joint work with Jouko Väänänen we discuss the relationship between the predicate representing the class of all infinite Cardinals, and that of the graph of the power set function. This work relates to the notion of inner models defined à la Gödel but using definability in languages stronger than first order which determined, L, the constructible sets.