The role of the higher infinite in mathematics and other disciplines
HIFW03
14 December 2015 to 18 December 2015
Workshop theme
The objective of the programme Mathematical, Foundational and Computational Aspects of the Higher Infinite is to stimulate the exchange of ideas among researchers pursuing different approaches to infinity: mathematical, foundational, and computational.
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.
Our final workshop 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 Bartošova (São 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 López-Abad (Madrid)
Bob Lubarsky (Boca Raton FL)
Andrew Marks (Pasadena CA)
Benjamin Miller (Vienna)
Michael Rathjen (Leeds)
Jiří Rosický (Brno)
Philippe Schnoebelen (Cachan)
Dzamonja afternoon speakers:
István Juhász (Budapest)
Jean Larson (Gainesville FL)
Menachem Magidor (Jerusalem)
Applications for this workshop are now closed
The Institute kindly requests that any papers published as a result of this programme’s activities are credited as such. Please acknowledge the support of the Institute in your paper using the following text:
The author(s) would like to thank the Isaac Newton Institute for Mathematical Sciences, Cambridge, for support and hospitality during the programme The role of the higher infinite in mathematics and other disciplines, where work on this paper was undertaken. This work was supported by EPSRC grant EP/K032208/1.
Timetable
| Monday 14th December 2015 | |||
|---|---|---|---|
| 09:30 to 09:50 | No Room Required | ||
| 09:50 to 10:00 | No Room Required | ||
| 10:00 to 11:00 | Room 1 | 
|
|
| 11:00 to 11:30 | No Room Required | ||
| 11:30 to 12:00 | Room 1 |
|
|
| 12:00 to 13:30 | No Room Required | ||
| 13:30 to 14:30 | Room 1 |
|
|
| 14:30 to 15:00 | No Room Required | ||
| 15:00 to 15:30 | Room 1 |
|
|
| 15:30 to 16:00 | No Room Required | ||
| 16:00 to 17:00 | Room 1 |
|
|
| 17:00 to 18:00 | No Room Required | ||
| Tuesday 15th December 2015 | |||
|---|---|---|---|
| 10:00 to 11:00 | Room 1 |
|
|
| 10:00 to 11:00 | Room 1 |
|
|
| 11:00 to 11:30 | No Room Required | ||
| 11:30 to 12:30 | Room 1 |
|
|
| 12:30 to 13:30 | No Room Required | ||
| 13:30 to 14:30 | Room 1 |
|
|
| 14:30 to 14:45 | No Room Required | ||
| 14:45 to 15:45 | Room 1 |
|
|
| 15:45 to 16:00 | No Room Required | ||
| 16:00 to 17:00 | Room 1 |
|
|
| 18:00 to 19:00 |
Cambridge University Press Wine Reception CUP Book Shop, 1 Trinity Street |
No Room Required | |
| Wednesday 16th December 2015 | |||
|---|---|---|---|
| 10:00 to 11:00 |
Well-quasi-orderings for progam analysis and computational complextiy |
Room 1 |
|
| 10:00 to 11:00 |
Well-quasi-orderings for progam analysis and computational complextiy |
Room 1 |
|
| 11:00 to 11:30 | No Room Required | ||
| 11:30 to 12:00 | Room 1 |
|
|
| 12:00 to 12:30 | Room 1 |
|
|
| 12:30 to 13:30 | No Room Required | ||
| 13:30 to 14:30 |
Computing beyond Constructibility: The Recognizability Strength of Ordinal Time Machines |
Room 1 |
|
| 14:30 to 15:00 | No Room Required | ||
| 15:00 to 16:00 |
Long and short recursive constructions---cardinal invariants and parametrized diamonds |
Room 1 |
|
| Thursday 17th December 2015 | |||
|---|---|---|---|
| 10:00 to 11:00 | Room 1 | ||
| 11:00 to 11:30 | No Room Required | ||
| 11:30 to 12:30 |
Context-Dependent Deterministic Parallel Feedback Turing Computability |
Room 1 |
|
| 12:30 to 13:30 | No Room Required | ||
| 13:30 to 14:30 | Room 1 |
|
|
| 14:30 to 14:45 | No Room Required | ||
| 14:45 to 15:45 | Room 1 |
|
|
| 15:45 to 16:00 | No Room Required | ||
| 16:00 to 17:00 | Room 1 |
|
|
| 19:00 to 22:00 | No Room Required | ||
| Friday 18th December 2015 | |||
|---|---|---|---|
| 10:00 to 11:00 | Room 1 |
|
|
| 11:00 to 11:30 | No Room Required | ||
| 11:30 to 12:30 | Room 1 |
|
|
| 12:30 to 13:30 | No Room Required | ||
| 13:30 to 14:30 | Room 1 |
|
|
| 13:30 to 14:30 | Room 1 |
|
|
| 14:30 to 17:00 | No Room Required | ||
Organisers
- Joan Bagaria ICREA and Universitat Autonoma de Barcelona
- Benedikt Löwe Universiteit van Amsterdam; Universität Hamburg
Supported By
