Appalachian set theory, 2006-2012

Description

Content: Contributors Introduction 1. An introduction to Pmax forcing Paul B. Larson, Peter Lumsdaine and Yimu Yin 2. Countable Borel equivalence relations Simon Thomas and Scott Schneider 3. Set theory and operator algebras Ilijas Farah and Eric Wofsey 4. Set mapping reflection Justin Moore and David Milovich 5. An introduction to hyperlinear and sofic groups Vladimir G. Pestov and Aleksandra Kwiatkowska 6. Aronszajn trees and the SCH Itay Neeman and Spencer Unger 7. Iterated forcing and the continuum hypothesis Todd Eisworth, Justin Tatch Moore and David Milovich 8. Short extender forcing Moti Gitik and Spencer Unger 9. The complexity of classification problems in ergodic theory Alexander S. Kechris and Robin D. Tucker-Drob 10. On the strengths and weaknesses of weak squares Menachem Magidor and Chris Lambie-Hanson 11. Proper forcing remastered Boban Velickovic and Giorgio Venturi 12. Set theory and von Neumann algebras Asger Tornquist and Martino Lupini 13. The HOD dichotomy W. Hugh Woodin, Jacob Davis and Daniel Rodriguez.