Stability Theoretic Methods in Unstable Theories (09w5113)
Organizers
Bradd Hart (McMaster University)
Alf Onshuus (Universidad de los Andes)
Anand Pillay (University of Leeds)
Thomas Scanlon (University of California, Berkeley)
Frank Wagner (Université Claude Bernard Lyon 1)
Description
Stability theory, in the sense of mathematical logic, consists of
a collection of technical methods first developed to address the
logical problem of classifying abstract models of mathematical
theories. Stability theory has proven to be applicable to other
mathematical problems ranging from understanding rational
solutions of algebraic equations to setting definite bounds in
learning processes in artificial intelligence.
It has recently been shown that the techniques and methods used
for the classification described above can be used in much more
general settings. Researchers at this meeting will study these
developments to extend the scope of stability theory to a wider
range of mathematical theories.
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 US National Science Foundation (NSF), Alberta's Advanced Education and Technology, and Mexico's Consejo Nacional de Ciencia y Tecnología (CONACYT).
