逻辑学研讨班
题目： The Core Model Induction
报告人：Dominik Adolf
摘要： 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.
时间：11月22日，14:00-15:00
地点：明德楼B201-1 报告厅
Online：
https://zoom.us/j/94920610343?pwd=R4WJaY87rXpYMKzvmVbbPKSogjCGBa.1
Meeting ID: 949 2061 0343
Passcode: cohen
