Modern Set Theory: Foundations & Applications
Workshop held at ESSLLI 2011
Ljubljana, Slovenia
1-5 August 2011

Workshop description.

This workshop is organized by the research networking programme INFTY: New frontiers of infinity: mathematical, philosophical, and computational prospects funded by the European Science Foundation (ESF).

INFTY aims (among other things) at embedding set theory in the wider scope of modern logic and its applications, as represented at the ESSLLI schools. At the moment, the connections between the set theory community and the Logic, Language and Information (LLI) community are sparse, and yet, plenty of points of (potential) research contact exist; to name but one: the theory of infinite games is a central topic in modern set theory and plays an important role in many subfields of the Logic & Computation area of the LLI community. This workshop is funded and organized by INFTY in order to:

  • Present the lively and active research area of set theory to a broader audience of logicians;
  • Allow junior members of the set-theory community to present their research at an ESSLLI school in order to encourage them to interact with the broader logic community;
  • Offer logic students an overview of the current research trends in set theory.

In order to make the workshop more accessible to a broad audience, we invited three tutorial lecturers who will give two-part mini-tutorials on key topics for the study of set theory.

At ESSLLI 2011, INFTY is also organizing a foundational course on the basics of set theory (taught by Benedikt Löwe and Grzegorz Plebanek).

Both the workshop Modern Set Theory: Foundations & Applications and the foundational course Ordinals and Cardinals: Basic set-theoretic techniques in logic are generously funded by the European Science Foundation in the research networking programme INFTY.