Scientific Committee
Comité scientifique
Vera Fisher (University of Vienna)
Menachen Magidor (The Hebrew University of Jerusalem)
Jouko Vaananen (University of Helsinky)
Hugh Woodin (Harvard University)
Organizing Committee
Comité d’organisation
Sandra Müller (TU Wien)
Lionel Nguyen Van The (Aix-Marseille Université)
Boban Velickovic (Université de Paris)
Matteo Viale (University of Turin)
IMPORTANT WARNING: Scam / Phishing / SMiShing ! Note that ill-intentioned people may be trying to contact some of participants by email or phone to get money and personal details, by pretending to be part of the staff of our conference center (CIRM). CIRM and the organizers will NEVER contact you by phone on this issue and will NEVER ask you to pay for accommodation/ board / possible registration fee in advance. Any due payment will be taken onsite at CIRM during your stay.
- Borel Combinatorics – this is an emerging area of research that makes a bridge between the study of finite combinatorial objects and their infinite counterparts. The subject has been developing rapidly with major advances such as the solution of the Borel version of Tarski’s circle squaring problem by A. Marks and U. Spencer. In addition to connecting set theory with combinatorics, topological dynamics and ergodic theory, it has opened new interactions with computer science, namely with the study of distributed algorithms.
- Descriptive Inner Model Theory – this is one of the foundational areas of set theory that brings together the study of Inner Model Theory and Determinacy Axioms. The connection between these two areas of study has been of vital importance to push the known lower bounds for the consistency strength of natural set theoretic hypotheses higher up. The recent monograph, A Comparison Process for Mouse Pairs, by J. Steel sets the stage for future developments of the subject. The current frontier of the theory is the construction of inner models of Woodin limits of Woodin cardinals and we plan to study the difficulties involved in going beyond this bound.
L’objectif de cette rencontre est de présenter les avancées récentes les plus importantes en théorie des ensembles et ses interactions avec d’autres domaines des mathématiques. Nous prévoyons de mettre l’accent sur les thèmes suivants :
- Combinatoire Borélienne – Il s’agit d’un nouveau domaine de recherche qui jette un pont entre l’étude des objets combinatoires finis et leurs équivalents infinis. Le sujet s’est développé rapidement avec des avancées majeures telles que la solution de la version de Borel du problème de la quadrature du cercle de Tarski par A. Marks et U. Spencer. En plus de relier la théorie des ensembles à la combinatoire, à la dynamique topologique et à la théorie ergodique, elle a ouvert de nouvelles interactions avec l’informatique, notamment avec l´étude des algorithmes distribués.
- Théorie descriptive des modèles intérieurs – Il s’agit de l’un des domaines fondamentaux de la théorie des ensembles qui regroupe l’étude de la théorie des modèles intérieurs et des axiomes de d´détermination. Le lien entre ces deux domaines d’étude a été d’une importance vitale pour repousser les limites inferieures connues de force de cohérence des hypothèses naturelle de la théorie des ensembles. La récente monographie, A Comparison Process for Mouse Pairs, de J. Steel, ouvre la voie aux d´développements futurs du sujet. La frontière actuelle de la théorie est la construction de modèles intérieurs des limites de Woodin des cardinaux de Woodin et nous prévoyons d’étudier les difficultés liées au dépassement de cette limite.
SPEAKERS
to be confirmed
SPONSORS
