The Banff International Research Station will host the “Axiomatic approaches to forcing techniques in set theory” workshop from November 3rd to November 8th, 2013.
The focus of this program is on forcing axioms and their applications within mathematics. Forcing Axioms are strong Baire category assumptions which are not provable or refutable from the commonly accepted axioms of mathematics and which serve as a unified framework for settling the status of problems arising in other areas of mathematics. In conjunction with assumptions such as the Continuum Hypothesis and Godel’s Axiom of Constructability, they can be used to establish many if not most of the current independence results. The program will bring senior leaders in the field together with students and junior researchers to study further applications of these methods.