Menachem Magidor 70th Birthday Conference

A conference for the occasion of Menachem Magidor’s 70th birthday will take place at the Hebrew University of Jerusalem, February 17-19, 2016.

Please see the conference website for more information, including registration.

Invited speakers:

Artur Apter (CUNY)
Joan Bagaria (ICREA & UB)
James Cummings (CMU)
Mirna Dzamonja (UEA)
Ilijas Farah (York)
Matthew Foreman (UCI)
Moti Gitik (TAU)
Juliette Kennedy (Helsinki)
Peter Koepke (Bonn)
Jean Larson (Florida)
Bill Mitchell (Florida)
Ralf Schindler (Münster)
Saharon Shelah (HUJI)
Dima Sinapova (UIC)
John Steel (Berkeley)
Jouko Väänänen (Helsinki & ILLC)
Boban Velickovic (Paris 7)
Matteo Viale (Torino)
Philip Welch (Bristol)
Hugh Woodin (Harvard)


Laura Fontanella
Asaf Karagila
Assaf Rinot



Workshop in Torino: Perspectives on Infinity

The Perspectives on Infinity (P.O.I.) workshop in Pure and Descriptive Set Theory will take place as announced on september 25th and 26th in Turin. An updated program is available on the webpage of the workshop:

We can provide accomodation to students attending the workshop. The students interested can send an email to raphael dot carroy at unito dot it before the end of the week.

See you soon in Turin!

Alessandro Andretta, Raphaël Carroy, Luca Motto Ros, and Matteo Viale

The Role of the Higher Infinite in Mathematics and Other Disciplines

The Role of the Higher Infinite in Mathematics and Other Disciplines
Isaac Newton Institute for Mathematical Sciences
Cambridge, England
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 (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).

Workshop in Norwich: Challenges in Iterated Forcing

INI Workshop: Independence Results in Mathematics and Challenges in Iterated Forcing (University of East Anglia, Norwich, UK), November 2–6, 2015

This is a satellite meeting of the Isaac Newton Institute scientific programme Mathematical, Foundational and Computational Aspects of the Higher Infinite (

Workshop theme: Independence Results in Mathematics and Challenges in Iterated Forcing

Forcing, and especially iterated forcing, is an extremely fruitful technique for proving that certain statements in mathematics are independent from ZFC, or some other base set theory. In recent years, several different lines of research in the area of iterated forcing have given rise to new methods and striking new results. Among those are recent iteration techniques that produce models with the continuum of large cardinality, iterations of proper forcing with side conditions of uncountable cardinality, Jensen’s subcomplete forcing iterations, etc.

The invited speakers include: A. Apter, O. Ben Neria, P. Borodulin-Nadzieja, T. Eisworth, M. Kojman, M. Magidor, D. Mejia, H. Mildenberger, J.T. Moore, I. Neeman, G. Plebanek, D. Soukup, S. Unger, B. Velickovic, M. Viale, L. Wu, T. Yorioka.

The organizers are D. Aspero, J. Bagaria, M. Dzamonja and B. Loewe.

For further information, visit

Registration deadline: 25 September 2015

Honorary Presidents of the ESTS

The Board of Trustees of the European Set Theory Society decided at its recent meeting in Cambridge that it would be appropriate to honour one or more set theorists with the title of Honorary President of the Society.

The intention was to designate a set theorist or theorists whose work has particularly distinguished the field and contributed to its significant advancement over their career.

The Board unanimously voiced its approval of the suggestion that

András Hajnal (Budapest), Ronald Jensen (Berlin), and Azriel Lévy (Jerusalem)

be approached and asked if they accept this honour. We are delighted to inform the members of the Society that all the three of them have accepted our offer.

Full Professorship (W3) for Mathematical Logic and Foundations of Mathematics, Freiburg

The Faculty of Mathematics and Physics of the University of Freiburg invites applications for a

Full Professorship (W3) for Mathematical Logic and Foundations of Mathematics

(Succession to Prof. Martin Ziegler)

in the Department of Mathematics to be filled by October 2016.

She or he is a person with an established research record in a branch of mathematical logic. Furthermore she or he will be expected to bear an appropriate share of the teaching duties of the Institute of Mathematics as well as of the academic self-administration (government).

Prerequisites for the employment of Professors are a university degree, an outstanding dissertation and an excellent publication record. Substantial achievements and experience in academic research and teaching, at the level of a Habilitation according to the German academic system, are expected. This professorship is also suited as a starting position for highly qualified early career researchers.

The University of Freiburg seeks to increase the number of female scientific faculty members and therefore strongly encourages qualified women to apply for the position. The university is committed to providing a family-friendly workplace.

Applicants with disabilities (Schwerbehinderte) will be given preferential consideration in case of equal qualification.

The following application documents are to be submitted:

In addition, we require the complete application form provided at Submit this form together with the above-mentioned supporting documents stating the reference number 9409 by 30 October 2015 at the latest either as a pdf-file to or via mail to the Dean of the Faculty of Mathematics and Physics, University of Freiburg, Eckerstr. 1, 79104 Freiburg, Germany.

For further information, please contact Prof. Dr. Heike Mildenberger under Tel. +49 (0)761 203 5603 or E-Mail

Further information on the appointment procedure can be found in the Code for Practice for professorial appointments, available under

Hausdorff medal 2015

The second Hausdorff medal was awarded by the European Set Theory Society on August 26, 2015, at the fifth European Set Theory Conference, held at the Isaac Newton Institute in Cambridge, to Ronald Jensen (Humboldt University, Berlin) and John Steel (UC Berkeley) for their work K without the measurable.

Statement read by the president of the European Set Theory Society, Istvan Juhasz, at the award ceremony:

Ladies and gentlemen, dear friends and colleagues!

It is my pleasure and privilege, as president of the European Set Theory Society, to announce the winner of the Hausdorff medal. This is awarded by the Board of Trustees of the European Set Theory Society at the biennial European Set Theory Conference for the most influential published work in set theory in the last five years.

Nominations for the Hausdorff medal 2015 were solicited from the members of the Society last fall. Five very worthy nominations were deliberated by the prize committee which consisted of the Board of Trustees augmented with the winner of the previous medal, Hugh Woodin.

After long and serious discussion the unanimous decision was reached that the second Hausdorff medal is awarded to the paper

K without the measurable, The Journal of Symbolic Logic, Volume 78, Issue 3 (2013), 708-734

by Ronald Jensen and John Steel.

Before handing over the medals and the diplomas that go with them to the winners, please allow me to briefly review the winning work.

The construction of core models originates in the seminal work of Dodd and Jensen of just about 40 years ago. Since that time the constructions have been vastly developed and the machinery in its various incarnations is the main tool for showing the necessity of large cardinals for independence proofs. Even more striking is the use of core model methods to prove outright implications of, for example, of determinacy.

Despite all this progress, an absolutely fundamental question remained unresolved. What is the strongest core model which can be constructed just in ZFC? More precisely, suppose there is no inner model with a Woodin cardinal; does then K exist? Jensen and Steel solved this problem in the paper K without the measurable.

The Jensen-Steel construction of K is best possible (having been done just within ZFC) and is therefore a seminal milestone in the entire subject of core models and inner model theory. It marks in some sense the conclusion of a line of investigation which began with Jensen’s Covering Lemma.

It already has many applications, for example as a corollary of their construction, one obtains the equiconsistency of ‘ZFC + There is a saturated ideal on \omega_1’ with ‘ZFC + There is a Woodin cardinal’.

Photo by Hugo Nobrega
John Steel (left), Istvan Juhasz (centre), Ronald Jensen (right), photo by Hugo Nobrega