Axiomatic approaches to forcing techniques in set theory (13w5026)


Matthew Foreman (University of California, Irvine)

Justin Moore (Cornell Univsersity)

Stevo Todorcevic (University of Toronto)


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).