The Role of the Higher Infinite in Mathematics and Other Disciplines
Isaac Newton Institute for Mathematical Sciences
14 to 18 December 2015
Deadline for registration: 27 September 2015
Traditional set theory has been rather inwards-looking for many decades, dealing with the difficult and rewarding technical problems that the field provided. This has changed in the last decade, and set theorists have been eager to see the connections between their work and what is done in other fields of mathematics as well as outside of mathematics. Examples are the study of infinite games in the social sciences and theoretical computer science, the use of strong logics in data base theory, and the use of ideas from infinite combinatorial set theory in the design and analysis of efficient computer algorithms.
The workshop is the closing workshop of the research programme “Mathematical, Foundational and Computational Aspects of the Higher Infinite” at the Isaac Newton Institute and is open to all interested researchers. It will highlight this network of applications of the higher infinite in mathematics and beyond.
As part of this meeting, we are also celebrating the 50th birthday of one of the three programme organisers, Mirna Dzamonja. During one afternoon of the workshop (organised together with Jouko Väänänen), we shall have a number of talks concerned with her work.
Invited speakers: Dana Bartosova (Sao Paulo), Nathan Bowler (Hamburg), Andrew Brooke-Taylor (Bristol), Catrin Campbell-Moore (Cambridge), Merlin Carl (Konstanz), Johannes Carmesin (Cambridge), Olivier Finkel (Paris), Martin Hyland (Cambridge), Imre Leader (Cambridge), Jordi Lopez-Abad (Madrid), Bob Lubarsky (Boca Raton FL), Andrew Marks (Pasadena CA), Benjamin Miller (Vienna), Michael Rathjen (Leeds), Jiri Rosicky (Brno), Philippe Schnoebelen (Cachan).
Dzamonja afternoon speakers: István Juhasz (Budapest), Jean Larson (Gainesville FL), Menachem Magidor (Jerusalem).
If you are interested in participation, please register via the webpage
https://www.newton.ac.uk/event/hifw03/ (click on “Apply now”). During the registration process, you can also
(1) indicate whether you’d like to give short presentation;
(2) apply for funding (we expect to be able to grant approximately ten participants covering the ‘accommodation package’, i.e., registration fee and accommodation at Robinson College).