Axiomatic approaches to forcing techniques in set theory

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 G"odel'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.

The Banff International Research Station for Mathematical Innovation and Discovery (BIRS) is a collaborative Canada-US-Mexico venture that provides an environment for creative interaction as well as the exchange of ideas, knowledge, and methods within the Mathematical Sciences, with related disciplines and with industry. The research station is located at The Banff Centre in Alberta and is supported by Canada's Natural Science and Engineering Research Council (NSERC), the U.S. National Science Foundation (NSF), Alberta's Advanced Education and Technology, and Mexico's Consejo Nacional de Ciencia y Tecnología (CONACYT).

BIRS Scientific Director, Nassif Ghoussoub
E-mail: birs-director[@]birs.ca
http://www.birs.ca/~nassif