Logic List Mailing Archive

Descriptive Set Theory

9 May 2014
Lausanne, Switzerland

****************************************************************************************************

The Swiss Graduate Society of Logic and Philosophy of Science (SGSLPS) 
organises a one-day conference on Descriptive Set Theory on May 9 in 
Lausanne (Switzerland).

The origination of Descriptive Set Theory can be traced back to the work 
of Borel, Baire and Lebesgue at the turn of the twentieth century, as they 
were beginning to understand the abstract notion of a function introduced 
by Dirichlet and Riemann. Descriptive Set Theory is the study of the sets 
of reals that can be explicitly defined or constructed, and so can be 
expected to have certain properties, such as Lebesgue Measurability, not 
enjoyed by arbitrary sets. It is a central part of contemporary Set Theory 
and therefore dealing with major logical concepts, such as definability 
and undecidability. Moreover its results and methods are used in diverse 
fields of mathematics among which Topology, Real Analysis, Ergodic Theory 
and Functional Analysis.

Prof. Andretta will provide the audience with a gentle introduction to 
Descriptive Set Theory and its interactions with other parts of 
mathematics. Prof. Duparc will then focus on infinite games, a major 
technique in this field.

Invited Speakers:
Prof. Alessandro Andretta (Universita di Torino)
Prof. Jacques Duparc (Université de Lausanne)

Please find a full program on www.sgslps.ch. All are welcome!

The SGSLPS is swiss association of advanced undergraduate and graduate 
students concerned with logic and/or philosophy of science. Its aim is to 
promote logic among young scientists of a wide range of disciplines 
including, but not restricted to, mathematics, philosophy and computer 
science. It presents high level introductory events on chosen topics from 
the field of logic to all those with an interest in this domain.

For the SGSLPS,
Marion Haemmerli (Lausanne), Kevin Fournier (Lausanne) and  Yann Pequignot (Lausanne)

****************************************************************************************************