Independence Results in Mathematics and Challenges in Iterated Forcing, Norwich, November 2-6 2015

Satellite Workshop 2nd November 2015 to 6th November 2015 Held at the University of East Anglia Norwich, UK Organisers: David Aspero (University of East Anglia), Joan Bagaria (Universitat de Barcelona), Mirna Dzamonja (University of East Anglia), Benedikt Loewe (Universität Hamburg) 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. continue reading…