Mathematical, Foundational and Computational Aspects of the Higher Infinite: Recent Episodes
Cambridge University
The goals of set theory are the analysis of the structure of the Higher Infinite, i.e. Cantor's set-theoretic universe and the elucidation of the nature of infinite mathematical objects and their role in foundational issues underlying mathematics. Moreover, the current standard system of set theory, the Zermelo-Fraenkel axioms with the Axiom of Choice (ZFC), is the usual framework for a large part of mathematics.
Current set-theoretic research on infinity focuses on the following three broad areas: large Cardinals and inner model theory, descriptive set-theoretic methods and classification problems, and infinite combinatorics.
The programme HIF will connect these three main strands of set-theoretic research and other fields of set theory to the wider scope of mathematics, to research in the foundations of mathematics, including some philosophical issues, and to research on computational issues of infinity, e.g. in theoretical computer science and constructive mathematics.
The following topics are a non-exclusive list of important examples of relevant fields for the research done in the programme HIF: 1.The structure of definable subsets of the continuum 2.Infinite combinatorics, forcing, and large cardinals 3.Inner models of large cardinals and aspects of determinacy 4.Applications of set theory to other areas of mathematics 5.Constructive set theory and new models of computation 6.Set theory and the foundations of mathematics
Three workshops are planned during the programme: The first one (24-28 August 2015) will be the 5th European Set Theory Conference. The second workshop, entitled "New challenges in iterated forcing" will be a Satellite Meeting held at the University of East Anglia in Norwich (2-6 November 2015). A final workshop will take place on 14-18 December 2015.
Marks, A [CALTECH (California Institute of Technology)] Friday 18th December 2015 - 11:30 to 12:30
Hrusak, M [Universidad Nacional Autónoma de México (UNAM)] Wednesday 16th December 2015 - 15:00 to 16:00
Schnoebelen, P [CNRS (Centre national de la recherche scientifique)] Wednesday 16th December 2015 - 10:00 to 11:00
Magidor, M (Hebrew University of Jerusalem) Tuesday 15th December 2015 - 16:00 to 17:00
Juhasz, I (Alfréd Rényi Institute of Mathematics,Hungarian Academy of Sciences) Tuesday 15th December 2015 - 13:30 to 14:30
Campbell Moore, CJ (Ludwig-Maximilians-Universität München) Monday 14th December 2015 - 16:00 to 17:00
Wojciechowski, J (West Virginia University) Wednesday 16th December 2015 - 11:30 to 12:00
Lopez-Abad, J (Consejo Superior de Investigaciones Cientificas) Monday 14th December 2015 - 13:30 to 14:30
Sanders, S (Ludwig-Maximilians-Universität München) Monday 14th December 2015 - 15:00 to 15:30
Torres-Perez, V (Technische Universität Wien) Monday 14th December 2015 - 11:30 to 12:00
de Rancourt, N (Université Paris 7 - Denis-Diderot) Wednesday 28th October 2015 - 11:00 to 12:00
Elekes, M (Alfréd Rényi Institute of Mathematics,Hungarian Academy of Sciences) Tuesday 27th October 2015 - 16:00 to 17:00
Todorcevic, S (CNRS, Paris and University of Toronto) Tuesday 27th October 2015 - 15:00 to 16:00
Rivello, E (Università degli Studi di Torino) Wednesday 2nd September 2015 - 14:40 to 15:10
Vidnyánszky, Z (Alfréd Rényi Institute of Mathematics) Friday 28 August 2015, 14:00-14:30
Kimchi, YM (Technion - Israel Institute of Technology) Wednesday 26 August 2015, 14:00-14:30
Mota Gaytán, M A (Instituto Tecnológico Autónomo de México) Tuesday 25 August 2015, 15:00-16:00