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.

6th European Set Theory Conference 2017

We are pleased to announce that the 6th European Set Theory Conference (6ESTC) of the European Set Theory Society will be organized in Budapest, at the Alfréd Rényi Institute of Mathematics of the Hungarian Academy of Sciences, next year, July 3 – 7, 2017. (Date of arrival: July 2, date of departure: July 8.)

Local Organizing Committee:
L. Soukup (chair), M. Elekes (secretary), I. Juhász, V. Kiss, G. Sági, D. Sziráki, Z. Vidnyánszky.

Program Committee:
I. Juhász (chair, Budapest), T. Bartoszynski (Washington, DC), M. Džamonja (Norwich), S. D. Friedman (Vienna), W. Kubiś (Kielce and Prague), M. Magidor (TBC, Jerusalem), H. Mildenberger (Freiburg).

Homepage of the meeting:

If you are interested in attending this meeting, we kindly ask you to fill out the following very short form:

We also encourage you to forward this message to anyone who you think may be interested but left out from the mailing list, especially to potentially interested students and young set theorists.

With best regards,
The Organizers

Colloquium Logicum 2016 – Final call for abstracts

Final Call for Abstracts – COLLOQUIUM LOGICUM 2016

10-12 September 2016, Hamburg, Germany

Please note that there is only one week left until the deadline for submission of abstracts. If you want to give a talk at the LOGIC COLLOQUIUM 2016, please submit it as soon as possible via .

Submission deadline: 20 June, 2016

The Colloquium Logicum is organized every two years by the “Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften” (DVMLG).

In 2016 the colloquium is organized by the group “Mathematical Logic and Interdisciplinary Applications of Logic” of the University of Hamburg, Germany.

The conference will cover the whole range of mathematical logic and the foundations of the exact sciences, in particular, logic in philosophy, computer science and artificial intelligence.

Keynote Speakers.

* Dana Bartosova (São Paulo, Brazil)
* Elisabeth Bouscaren (Paris, France)
* Ekaterina Fokina (Vienna, Austria)
* Laura Fontanella (Jerusalem, Israel)
* Philipp Hieronymi (Urbana-Champaign, IL, USA)
* Rosalie Iemhoff (Utrecht, the Netherlands)
* Gyesik Lee (Anseong, South Korea)
* Norbert Preining (JAIST, Nomi, Ishikawa, Japan)
* Szymon Torunczyk (Warsaw, Poland)
* Charlotte Werndl (Salzburg, Austria and London, UK)

In addition to the keynote talks, there will be a “PhD Colloquium” with invited presentations of excellent recent PhD graduates.

The programme committee invites the submission of abstracts for talks in all fields of research covered by the DVMLG: mathematical logic and the foundations of the exact sciences (including logic in philosophy, computer science and artificial intelligence).

Abstracts should have between 100 and 500 words and are to be submitted via the easychair submission page

The submission deadline is

Monday, 20 June, 2016.

Authors will be notified about acceptance soon after that.

Additionally, registration for the conference is now open. Please go to for more information on how to register and the registration form.

Programme Committee

* Matthias Aschenbrenner (Los Angeles, USA)
* Arnold Beckmann (Swansea, USA)
* Manuel Bodirsky (Dresden, Germany)
* Martin Hils (Paris, France)
* Benedikt Löwe (Amsterdam, the Netherlands and Hamburg, Germany)
* Thomas Müller (Konstanz, Germany)
* Anca Muscholl (Bordeaux, France)
* Michael Rathjen (Leeds, UK)
* Olivier Roy (Bayreuth, Germany)
* Nicole Schweikardt (Berlin, Germany)
* Mariya Soskova (Sofia, Bulgaria)
* Martin Ziegler (Daejeon, South Korea)


The Colloquium Logicum 2016 is generously funded by the Deutsche Forschungsgemeinschaft (DFG-grant LO 834/14-1)

If you have any questions, please contact us by email at

Oberwolfach Prize 2016 – call for nominations

Oberwolfach Prize 2016 in Discrete Mathematics *Call for nominations*

The Board of Trustees of the ESTS is expecting suggestions for the nomination by August 1, to the President of the ESTS, István Juhász, at

Dear colleagues,

We would like to draw your attention to a call for nominations: The
Oberwolfach Foundation awards in cooperation with the Mathematisches
Forschungsinstitut Oberwolfach a prize for excellent achievements in
*Discrete Mathematics*. This also includes Logic and Theoretical Computer

The prize amounts to Euro 10.000. Candidates should be mathematicians with
Ph.D./Dr. degree received not more than 10 years ago and must be nominated.
Proposals should contain a description of the scientific achievements,
curriculum vitae and publication list of the candidate.

We request all senior scientists in Discrete Mathematics, Logic or
Theoretical Computer Science to make proposals before September 1st, 2016,
preferably by email to:
Prof. Dr. Gerhard Huisken
Mathematisches Forschungsinstitut Oberwolfach gGmbH
Schwarzwaldstrasse 9-11
77709 Oberwolfach-Walke

Thank you for your attention and cooperation.

Yours sincerely,
Stephan Klaus

Prof. Dr. Stephan Klaus
Scientific Administrator of the MFO
Mathematisches Forschungsinstitut Oberwolfach gGmbH (MFO)
Schwarzwaldstrasse 9-11
D-77709 Oberwolfach-Walke

Tel/Fax: +49 (0)7834 979 51/55