Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

1-6 August 2011, Set Theory and Higher-Order Logic: Foundational Issues and Mathematical Developments, London

Date: 1-6 August 2011
Location: London

This is 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 is to provide a forum in which set theorists and philosophers of mathematics -- as well as students of these disciplines-- can interact and discuss recent results and debates at the intersection of set-theory and higher-order logic. Topics to be represented at the summer school include but are not limited to: the semantics for higher-order logics, Omega-Logic, groundedness, set-theoretic geology, interpretability and incompleteness, predicativity, and formal theories of truth.

For more information, see http://www.bbk.ac.uk/philosophy/our-research/ppp/summer-school or contact Sean Walsh (Birkbeck) at .

Please note that this newsitem has been archived, and may contain outdated information or links.