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 http://www.zuv.uni-freiburg.de/formulare/bewerbungsbogen_englisch.pdf. 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 dekanat@mathphys.uni-freiburg.de 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 heike.mildenberger@math.uni-freiburg.de.

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

http://www.zuv.uni-freiburg.de/formulare/berufungsleitfaden-en.pdf.

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

Upcoming conferences in set theory

May 30-May 31, 2015 A conference in honour of Arthur Apter and Moti Gitik’s 60th birthdays Pittsburgh

June 1-June 6, 2015 2nd Workshop on Vaught’s Conjecture Berkeley

June 8-June 12, 2015 BLAST 2015 Denton

June 15-June 3 17, 2015 22nd Boise Extravaganza in Set Theory Boise

July 6-July 17, 2015 Graduate Summer School in Set Theory Irvine

July 20-July 24, 2015 Münster conference on fine structure and inner model theory Münster

August 3- August 8, 2015 Logic Colloquium 2015 Helsinki

August 24-August 28, 2015 5th European Set Theory Conference Cambridge

August 24-August 26, 2015 International Conference on Set-Theoretic Topology and its Applications Yokohama

September 2-September 4 2014 British Logic Colloquium 2015 Cambridge

September 16-September 18, 2015 RIMS Set Theory Workshop Japan

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

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

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, 2015 Mathematical, Foundational and Computational Aspects of the Higher Infinite — Final workshop Cambridge

January 6-January 9, 2015 ASL Winter Meeting Seattle

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

Young Set Theory Workshop in Jerusalem, October 25-30, 2015

On behalf of the organizers, I am happy to announce that the 8th Young Set Theory Workshop will take place October 25-30 2015, at the Israel Institute of Advanced Studies in Jerusalem.

The aims of the “Young Set Theory” workshops are to bring together young researchers in the domain of set theory and give them the opportunity to learn from each other and from experts in a friendly environment.

A long-term objective of this series of workshops is to create and maintain a network of young set theorists and senior researchers, so as to establish working contacts and help disseminate knowledge in the field.

Minicourses:
Péter Komjáth (Eötvös)
Menachem Magidor (HUJI)
W. Hugh Woodin (Harvard)
Martin Zeman (UCI)

Invited talks:
Laura Fontanella (HUJI)
Andrew Marks (UCLA)
Diego A. Mejia (TU Wien)
Diana Ojeda-Aristizabal (University of Toronto)
Yizheng Zhu (Münster)

*The first minicourse lecture will be given on Sunday afternoon, and the last minicourse lecture will be given on Thursday’s evening.

We are happy to announce that there is no registration fee, and for most visitors, we will be able to arrange and cover the cost of accommodation (two in a room).
We are also likely to be able to offer travel support of 300-600 USD for some of the students.

To insure the availability of hotel rooms, please register as early as possible, at the following address: http://www.as.huji.ac.il/schools/math19/application

Assaf Rinot

Postdoc position in Torino

There is an opportunity to apply for a 2-years fellowship in Torino University Mathematics Department in the field of Mathematical Logic with a focus in Descriptive Set Theory (to be meant with the broadest possible meaning). The details on the application can be found at:
http://www.train2move.unito.it/data/T2M_Callforproposals_2015.pdf
and the website on which one can gather all infomations is:
http://www.train2move.unito.it/login.html.

The deadline is 5th of may 2015. Those interested to apply can contact one of the following members of the logic group of the mathematics department in Torino:

matteo.viale@unito.it
alessandro.andretta@unito.it
luca.mottoros@unito.it

Best regards, Matteo Viale

Mathematical logic in Torino

The group in mathematical logic at the University of Torino has a new website with information about the activity of the group and seminar announcements:

http://www.personalweb.unito.it/luca.mottoros/web-turinlogicgroup/indexeng.html

Follow

Get every new post delivered to your Inbox.