Abstract:
This conference is focused on Mathematical Logic, with connections to Theoretical Computer Science and the Philosophy/History of Set Theory. It will be an international meeting which will serve as the culmination of the Infinity Project, hosted at the CRM during 2009-2011. A unique feature of the Infinity Project and the proposed Conference is its explicit focus on interdisciplinarity in Mathematical Logic. 20 years ago the principal fields of Mathematical Logic (Set Theory, Model Theory, Proof Theory and Computation Theory) were closely related, but due to the subsequent dramatic developments in these fields, connections between them have been less common. Recent work however strongly suggests that time is now ripe for a concerted effort to forge deep new connections between these fields. Some examples are: the application of ideas from descriptive set theory to the computational complexity of isomorphism on finite structures, an analysis of classes of provably-recursive functions motivated by the theory of forcing, the development of connections between Shelah's classification theory and the descriptive set theory of isomorphism for uncountable models and the use of model-theoretic stability in the study of computable structures. The Infinity Conference will join the Infinity Project participants with other scholars to survey the achievements of the project and to point the way toward future interdisciplinary work in Mathematical Logic. The six specific themes of the meeting will be: Sets and Models, Sets and Proofs, Sets and Computations, Computations and Models, Computations and Proofs, and History/Philosophy of Set Theory.