Document Actions

summer school

Set Theory and Higher-Order Logic: Foundational Issues and Mathematical Developments

London, August 1-6, 2011

Click here for the entire conference program and related practical information.

This was an interdisciplinary summer school, consisting of  four days of mini-courses (August 1-4) and a subsequent two-day conference (August 5-6), all hosted at the Institute of Philosophy in London. The goal of this summer school was to provide a forum in which set theorists and philosophers of mathematics -- as well as students of these disciplines-- could interact and discuss recent results and debates at the intersection of set-theory and higher-order logic. The speakers at these events, listed below, have graciously allowed us to post some of the materials from their talks:

Aldo Antonelli (UC Davis),

The Abstraction Mystique [Talk].

Joan Bagaria (Barcelona),

Introduction to Omega-Logic [Course],

Structural Reflection and Topologies on Ordinals [Talk].

Fernando Ferreira (Lisbon),

An overview of predicativity [Course],

A short note on Spector’s proof of consistency of analysis [Talk]‬.

Joel Hamkins (CUNY/NYU),

A tutorial in set-theoretic geology [Course],

The modal logic of forcing [Talk].

Leon Horsten (Bristol),

Truth and Paradox [Course],

Principles of Revision [Talk].

Luca Incurvati‬ (Cambridge),

Groundedness in Set Theory [Course, Joint with Leitgeb].

Hannes Leitgeb (Munich),

Semantic Groundedness [Course, Joint with Incurvati].

A.R.D. Mathias (Université de la Réunion),

Rudimentary recursion, provident sets and forcing [Talk, cf. handout, as well as manuscripts on Mathias depository].

Jouko Väänänen (Helsinki and Amsterdam),

Model theory of second-order logic: First, Second, Third Lecture [Course],

Second-order logic or set theory [Talk].

Albert Visser (Utrecht),

Interpretations: First, Second, Third Lecture [Course],

Coordinate Free Ways of Characterizing Consistency Statements 2 [Talk].

Philip Welch (Bristol),

Large Cardinals, Inner Models and Determinacy: First, Second, Third Lecture [Course].

Strong Reflection Principles [Talk]

This summer school was made possible through generous support provided by: the Plurals, Predicates, and Paradox Project (European Research Council),  the New Frontiers of Infinity Project (European Science Foundation), the Ideals of Proof Project (L’Agence nationale de la recherche), the Philosophy Department and Logic Group of the  University of Notre Dame, and the Munich Center for Mathematical Philosophy (Alexander von Humboldt Stiftung). This support also made it possible to offer ten 200 GBP student stipends to help defray costs for students.

Organized by: Michael Detlefsen (ANR and Notre Dame), Salvatore Florio (Birkbeck), Hannes Leitgeb (Munich Center for Mathematical Philosophy), Øystein Linnebo (Birkbeck), and Sean Walsh (Birkbeck).

Questions? Please contact Sean Walsh (Birkbeck)