Logic Seminar
Title: The Core Model Induction
Speaker: Dominik Adolf
Abstract:
The aim of this talk is to give a short and, we hope, comprehensible introduction to a method that is of great importance to a central part of set theory, i.e. that which is concerned with the relative consistency of mathematical theories. One half in (almost) any proof of relative consistency goes through the study of canonical models of set theory, Goedel's L being the ur-example. In its early days the approach of inner model theorists was to build a ``core model, a model that is essentially L-like but remains close to the real mathematical universe. Unfortunately, this simple approach runs into a steep wall even in mildly large universes. The core model induction is a method developed by W. H. Woodin that transcends these limitations. It does so by utilizing a surprisingly deep connection between canonical models and descriptive set theory past the Borel level.
Time: 11.22，14:00-15:00
Location: Mingde Building B201-1
Online：
https://zoom.us/j/94920610343?pwd=R4WJaY87rXpYMKzvmVbbPKSogjCGBa.1
Meeting ID: 949 2061 0343
Passcode: cohen
