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


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

Upcoming set theory conferences

September 2-September 4 British Logic Colloquium 2015 Cambridge

September 16-September 18 RIMS Set theory workshop 2015: Recent Developments in Axiomatic Set Theory RIMS, Kyoto

September 20-September 21 Hamburg Workshop on Set Theory 2015, Generalized Baire Space Hamburg

September 21-September 23 2015 Symposia on the foundations of mathematics III and the hyperuniverse program Vienna

September 21-September 25 Annual Meeting of the Deutsche Mathematiker-Vereinigung, mini-symposium in Set Theory Hamburg

September 25-September 26 Workshop in Pure and Descriptive Set Theory Torino

October 12-October 16 Set theory and model theory Tehran

October 2 Appalachian Set Theory Workshop: Countable abelian group actions Carnegie Mellon University, Pittsburgh

October 25-October 30, 2015 8th Young Set Theory Workshop

November 2-November 6, 2015 New challenges in iterated forcing Norwich

December 14-December 18 Mathematical, Foundational and Computational Aspects of the Higher Infinite — Final workshop Cambridge

January 6-January 9, 2016 ASL Winter Meeting Seattle

January 30-February 6, 2016 Czech Winter School 2016 Hejnice

Winter School in Abstract Analysis, Section Set Theory and Topology, Hejnice (Czech Republic), 25 Jan – 1 Feb 2014

We are pleased to announce that registration for the Winter School in Abstract Analysis, section Set Theory & Topology is now open. The conference will take place between January 25th and February 1st 2014 in Hejnice, Czech Republic.
Tutorial speakers for this year are:

Antonio Aviles
Jaroslav Nesetril
Dilip Raghavan
Matteo Viale

The conference fee is 300 EUR and covers all expenses including the bus from Prague to Hejnice and back. Accommodation will be in double rooms.

We have a limited amount of money to support students and researchers without other sources of funding.

Important deadlines are:

                 Dec 11th    financial support application
                 Dec 31st    registration

To get more information about the conference, about the financial support and to REGISTER please visit our web page

If you have any questions please do not hesitate to contact us.

We would also like to ask you to help us spread this news among other people (especially students) who might be interested in this conference but are out of our reach.

Hope to see you in January

David Chodounsky, Jan Stary and Jonathan Verner

Upcoming Conferences

June 10-14: 6th Young Set Theory Workshop, Oropa, Piemonte, Italy

June 10-15 Model Theory 2013, Ravello, Italy

June 10-21: Workshop on Sofic and Hyperlinear Groups and the Connes Embedding Conjecture, Florianopolis, Brazil

June 15-16: 2013 Australasian Association for Logic Conference, Melbourne, Australia

June 16-19: 20th Boise Extravaganza in Set Theory, Las Vegas, United States

July 1-5: Erdős Centennial, Budapest, Hungary

July 1-5: Computability in Europe CiE 2013: The Nature of Computation: Logic, Algorithm, Applications, Milan, Italy

July 15-18: 4th European Set Theory Conference, Mon St Benet, Spain

July 22-27: Logic Colloquium 2013, Evora, Portugal

July 23-26: 28th Summer Conference on Topology and its Applications, North Bay, Canada

July 28- August 1: Topology, algebra and Categories in Logic (TACL), Nashville, United States

August 5-9: BLAST 2013, Orange, United States

August 5-16: Twenty-fifth European Summer School in Logic, Language and Information (ESSLLI-2013), Dusseldorf, Germany

August 12-16: Brazilian Conference on General Topology and Set Theory, Sao Sebastiao, Sao Paulo, Brazil

August 20-23: Twentieth Workshop on Logic, Language, Information and Computation (WoLLIC’2013), Darmstadt, Germany

September 1- October 25: Forcing, Large Cardinals and Descriptive Set Theory, Vienna, Austria

September 2-6: International Conference on Topology and Geometry, Matsue City, Japan

September 9-12: Reflection principles and set theory of large cardinals, Kyoto, Japan

September 16-20: The 13th Asian Logic Conference (ALC 2013), Guangzhou, China

September 23-27: Large Cardinals and Forcing, Vienna, Austria

September 30–October 4: Descriptive Set Theory, Vienna, Austria

October 11-13: Mostowski 100: Andrzej Mostowski Centenary Conference, Warsaw, Poland

January 15-18, 2014: 2013-14 ASL Winter Meeting (with Joint Mathematics Meetings), Baltimore, United States

January 25-Feb 1, 2014 : 2014 Winter School in Set Theory, Hejnice, Czech Republic

May 14–May 17, 2014: 2014 ASL North American Annual Meeting, Boulder, Colorado

RIMS meeting on Reflection principles and set theory of large cardinals and TopGeo 2013

The RIMS meeting “Reflection principles and set theory of large cardinals” will take place from Sept. 9 till Sept. 12 at the Research Institute for Mathematical Sciences, Kyoto University, Japan. this meeting is organized by Sakae Fuchino. there is no webpage yet. People interested in attending should contact Sakae Fuchino at (note that this meeting is right after TopGeo 2013 and right before the 13th ALC in Guangzhou, China, Here is a list of RIMS meetings:
The International Conference on Topology and Geometry 2013 (joint with JAMEX 6) will take place from Sept. 2 till Sept. 6 at Shimane University in Matsue, Japan. the chairs of the organizing committee are Salvador Garcia-Ferreira, Yasunao Hattori, and Akio Kawauchi. there will be a special session on set theory organized by Michael Hrusak and Joerg Brendle. for details see Note that the deadline for registration is June 16.

Mostowski Centenary conference

The Andrzej Mostowski Centenary Conference will take place at the University of Warsaw on 11-13 October 2013. 

The list of speakers includes (so far) the plenary speakers in the Heritage track: Mikołaj Bojańczyk, Harvey Friedman,Thomas Jech, Menachem Magidor, Yiannis Moschovakis, Jouko Väänänen, Jan Woleński, W. Hugh Woodin, as well as the invited speakers in the Perspectives track: Mirna Džamonja, Leszek Kołodziejczyk, Krzysztof Krupiński, Angus Macintyre, Ludomir Newelski, Anand Pillay, Christian Rosendal, Zlil Sela and Sławomir Solecki. 

More information about the conference is available at