Forcing, Large Cardinals and Descriptive Set Theory
Forcing, Large Cardinals and Descriptive Set Theory is a six-week Thematic Programme (invitation only) at the Erwin Schrödinger International Institute for Mathematical Physics (ESI).
- Committee:
- S. D. Friedman (U. Wien), M. Goldstern (TU Wien), A. Kechris (Caltech, USA), J. Kellner (U. Wien), W. H. Woodin (UC Berkeley, USA)
- Dates:
- September 9 - October 18, 2013
- Venue:
- Week 1: KGRC
- Weeks 2-6: ESI
Weeks 1-3 (Sep9-27) will concentrate on Forcing and Large Cardinals; weeks 4-6 (Sep30-Oct18) on Descriptive set theory. The Programme will include two workshops:
- FLC (Forcing and Large Cardinals) (week 3, September 23-27)
- DST (Descriptive Set Theory) (week 4, September 30 - October 4)
Contents
The field experienced dramatic developments in recent years.
A new approach to consistency lower bounds in set theory, which one might refer to as quasi lower bounds, emerged initially from work of Neeman and has been developed further by Friedman-Holy, Sakai and Velickovic and especially Viale-Weiß. Instead of showing that large cardinals are definitively required for set-theoretic properties, one shows that they are required to obtain those properties by the method of forcing, given certain hypotheses on the ground model and the type of forcing used.
A second development is in the application of descriptive set theory to the study of C*-algebras: Farah showed that it is consistent that all automorphisms of the Calkin algebra are inner, and further joint work of his with Toms, Törnquist and others has recently produced dramatic results regarding the unclassifiability of separable C*-algebras. A striking interaction of set theory with ergodic theory is Foreman-Weiss's recent anti-classification theorem for measure-preserving diffeomorphisms of the torus.
In pure descriptive set theory, the exciting ramifications of Ben Miller's recent work reducing numerous dichotomy theorems to variants of the Kechris-Solecki-Todorcevic graph dichotomy are still being worked out. And recently, Friedman-Hyttinen-Kulikov have discovered a connection between higher descriptive set theory and Shelah's classification of first-order theories; many interesting problems remain both on the set-theoretic and model-theoretic sides of this new theory.
The ESI Programme will bring together well established research leaders of the
field as well as young postdocs and PhD students to work on these (and other)
developments.
Sponsors
The principal contributor is the ESI.
We gratefully acknowledge additional support from the following sources:
- The Kurt Gödel Research Center
- New frontiers of infinity, an ESF Research Networking Programme
- Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG)
- Kulturabteilung (MA 7) der Stadt Wien for support via the Kurt Gödel Society