{{Menu ESI|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: : [/~sdf/ S. D. Friedman] (U. Wien), [http://info.tuwien.ac.at/goldstern/ M. Goldstern] (TU Wien), [http://www.math.caltech.edu/people/kechris.html A. Kechris] (Caltech, USA), [/~kellner/ J. Kellner] (U. Wien), [http://math.berkeley.edu/~woodin/ W. H. Woodin] (UC Berkeley, USA) ; Dates: : September 9 - October 18, 2013 ; Venue: : Week 1: [/ KGRC] : Weeks 2-6: [http://www.esi.ac.at/info-for-guests 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: * '''[/2013/ESI/LCF FLC]''' ''(Forcing and Large Cardinals)'' (week 3, September 23-27) * '''[/2013/ESI/DST 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 [http://www.logic.univie.ac.at/ Kurt Gödel Research Center] * [http://www.inftynet.net/ New frontiers of infinity], an [http://www.esf.org/ ESF] Research Networking Programme * [http://www.dvmlg.de/ Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG)] * [http://www.wien.gv.at/kultur/abteilung/ Kulturabteilung (MA 7) der Stadt Wien] for support via the [http://kgs.logic.at/ Kurt Gödel Society]