Czech Winter School 2017

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 Jan 28 and Feb 4 2017 in Hejnice, Czech Republic.

Tutorial speakers for this year are:

David Asperó
Joan Bagaria
Christina Brech
Andrew Marks

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 received a grant from the Visegrad fund which allows us to waive/partially waive registration fees of participants with limited sources of funding.

Important deadlines are:

Dec 9th, 2015 fee waiver application deadline
Dec 31st, 2015 registration deadline

To get more information about the conference, about the fee waiver program and to register please visit our web page

If you have any questions please do not hesitate to contact us. Hope to see you in January

David Chodounsky, Jan Stary and Jonathan Verner

Set theory conference 2017 Münster

A conference on the occasion of Ronald B. Jensen’s 80th birthday

July 29–Aug 04, 2017

Institut für Mathematische Logik und Grundlagenforschung, WWU Münster

Organizers: Menachem Magidor (Jerusalem), Ralf Schindler (Münster), John Steel (Berkeley), W. Hugh Woodin (Harvard)

Tentative list of speakers (incomplete):
Gunter Fuchs (CUNY)
Moti Gitik (Tel Aviv University)
Menachem Magidor (Jerusalem)
Adrian Mathias (Reunion)
Itay Neeman (UCLA)
John Steel (Berkeley)
W. Hugh Woodin (Harvard)
Martin Zeman (UC Irvine)

For more information, please see

Very Informal Gathering of Logicians at UCLA

There will be a Very Informal Gathering of Logicians at UCLA, from Friday February 3 to Sunday February 5, 2017. The invited speakers are Itai Ben-Yaacov (Hjorth lecture), Philipp Hieronymi, Elaine Landry, Joseph Miller, Kobi Peterzil, Dima Sinapova, Simon Thomas, Todor Tsankov, and Ryan Williams. It is expected that travel grants will be available for graduate students and faculty in early career stages; to apply contact the organizers by December 1. For further information visit

Upcoming set theory conferences

September 26–30, 2016 Workshop on Set-theoretical Aspects of the Model Theory of Strong Logics Bellaterra, Catalonia, Spain 

November 14–18, 2016 Applications of Strong Logics in Other Areas of Mathematics Bellaterra, Catalonia, Spain 

November 28, 2016 Infinite Combinatorics and Forcing Theory, Kyoto, November 28 – December 1, 2016 

Dec 12–16, 2016 Current Trends in Descriptive Set TheoryWorkshop, Erwin Schrödinger Institute, Vienna 

January 5–7, 2017 Seventh Indian Conference on Logic and its Applications (ICLA) Kanpur, India 

January 6–7, 2017 ASL Winter Meeting (with Joint Mathematics Meetings) Atlanta, Georgia 

January 9–14, 2017 New Zealand Mathematical Research Institute Summer School 2017 Napier, New Zealand 

January 25-30, 2017 3rd Arctic Set Theory workshop

Jan 28–Feb 4, 2017 Winter School in Abstract Analysis, section Set Theory & Topology 

March 20–23, 2017 ASL North American Annual Meeting Boise, Idaho 

April 12–15, 2017 ASL Spring Meeting (with APA) Seattle, Washington 

July 3–7, 2017 6th European Set Theory Conference (6ESTC) of the European Set Theory Society, Budapest, Alfréd Rényi Institute of Mathematics of the Hungarian Academy of Sciences 

John Mayberry (1940-2016)

John Mayberry  passed away on 19th August. He spent his whole post-PhD career in the University of Bristol. He arrived in 1966 having taken a PhD under G. Takeuti at the University of Illinois at Urbana-Champaign. His work was always in the Foundations of Mathematics and particularly set theory. He said that he felt that he had done his best work in his 60’s and indeed most of his thinking culminated in his book “The Foundations of Mathematics in the theory of sets” (Cambridge Encyclopaedia of Mathematics series, CUP 2000).  He was interested in the concept of number and the axiomatic system he devised was a theory of strictly finite sets, but with limitations on the complexity of inductions possible.  This book was well received and sparked the most interest of his work in that community, particularly on the philosophical side. John’s work was developed considerably earlier than this final publication date, and although independently thought out, there were resonances between its axiomatic system and the influential work of Sam Buss in the mid-80’s and 90’s on weak sub-systems of the standard Peano system of axioms.

John was appointed Reader in 2000 and retired in 2005, having mentored up to 14 post graduate students.

András Hajnal (May 13, 1931 — July 30, 2016)

We are sad to report that András Hajnal, one of the Honorary Presidents of the European Set Theory Society, very unexpectedly died on 30 July 2016 after having a heart attack.

He started his work in axiomatic set theory, in fact he was the first to introduce and study relative constructibility, extending the work of Gödel. However, he is more widely known for his ground breaking work in combinatorial set theory, as one of the founders, in collaboration with Erdős and Rado, of the theory of set mappings and, most of all, the partition calculus. His celebrated joint result with Galvin on cardinal exponentiation initiated Shelah to create PCF theory. He also published more than 30 papers on set theoretic topology and so played an essential role in the introduction of the tools and methods of modern set theory to problems of general topology.

In addition to his work in set theory, he has made significant contributions to finite combinatorics as well. Perhaps the best known of these is the Hajnal–Szemerédi theorem on equitable coloring of graphs that proved a conjecture of Erdős.

Solomon Feferman (December 13, 1928 — July 26, 2016)

We are sad to report that Solomon Feferman died on 26 July 2016 following a stroke. Sol is widely known among mathematicians, philosophers, and computer scientists for his contributions to many areas in mathematical logic and the philosophy of logic and mathematics. He provided the foundations for generalizations of the Gödel incompleteness theorems and the arithmetization and formalisation of metamathematics in general. He shaped modern proof theory; in particular in ordinal analysis he determined the proof-theoretic ordinal of the predicative subsystem, known as the Schütte–Feferman ordinal. Building on earlier work by Turing, he proved results on iterated additions of proof-theoretic reflection principles to arithmetic. Sol’s work on axiomatic theories of truth and, in particular, the Kripke-Feferman system has been highly influential.