Logic List Mailing Archive

Postdoctoral position (1y) on the Goedel hierarchy, Warsaw (Poland), Deadline: 28 Feb 2019

Dear Colleagues,

A 12-month postdoc position at the University of Warsaw is available 
within the research project "Provability, computation and combinatorics at 
the lower and intermediate levels of the Gödel hierarchy".

The project concerns axiomatic theories of first- and second-order 
arithmetic. The three main general topics are:

1. Separating hierarchies of relativized bounded arithmetic by means of 
combinatorial statements.

2. The strength of Ramsey-like theorems in second-order arithmetic, with 
an emphasis on problems concerning proof sizes.

3. The axiomatic strength required to prove classical decidability 
theorems, in particular decidability theorems for monadic second-order 
theories.

There is quite a bit of freedom to choose a specific topic to work on.

The position comes with no teaching duties. The application deadline is 
February 28, and the starting date of the position should be between 
October 2019 and February 2020. The official announcement may be found, 
for instance, at:

www.mimuw.edu.pl/~lak/gr5811-postdoc-Oct2019-EN.pdf

but please do not hesitate to contact me (lak@mimuw.edu.pl) if you have
further questions.

Best regards,
Leszek Ko?odziejczyk

--

Leszek Ko?odziejczyk
Institute of Mathematics
University of Warsaw

Banacha 2, 02-097 Warsaw, Poland
www.mimuw.edu.pl/~lak
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam