INI Workshop: Independence Results in Mathematics and Challenges in Iterated Forcing (University of East Anglia, Norwich, UK), November 2–6, 2015
This is a satellite meeting of the Isaac Newton Institute scientific programme Mathematical, Foundational and Computational Aspects of the Higher Infinite (https://www.newton.ac.uk/event/hif).
Workshop theme: Independence Results in Mathematics and Challenges in Iterated Forcing
Forcing, and especially iterated forcing, is an extremely fruitful technique for proving that certain statements in mathematics are independent from ZFC, or some other base set theory. In recent years, several different lines of research in the area of iterated forcing have given rise to new methods and striking new results. Among those are recent iteration techniques that produce models with the continuum of large cardinality, iterations of proper forcing with side conditions of uncountable cardinality, Jensen’s subcomplete forcing iterations, etc.
The invited speakers include: A. Apter, O. Ben Neria, P. Borodulin-Nadzieja, T. Eisworth, M. Kojman, M. Magidor, D. Mejia, H. Mildenberger, J.T. Moore, I. Neeman, G. Plebanek, D. Soukup, S. Unger, B. Velickovic, M. Viale, L. Wu, T. Yorioka.
The organizers are D. Aspero, J. Bagaria, M. Dzamonja and B. Loewe.
For further information, visit https://www.newton.ac.uk/event/hifw02.
Registration deadline: 25 September 2015