Announcements
Henryk Kotlarski (1949-2008) and Zygmunt Ratajczyk (1949-1994) represented some of the best traditions of the Polish School of Mathematical Logic. They both combined technical mastery with keen interest in fundamental issues in mathematical logic. They both shared interest in model theory of first-order and second order arithmetic. They worked together on the analysis of independence combinatorial statements in strong fragments of arithmetic. Kotlarski's work provided motivation for further developments in model theory of recursively saturated models of arithmetic and, in particular in the study of their automorphism groups. His last published work was devoted to model theoretic approach to incompleteness phenomena in arithmetic.
The meeting will be devoted to many aspects of investigations related to first and second order arithmetic.
Particular topics will include:
1. Classification results in model theory of first-order arithmetic and its fragments
2. Model theoretic techniques in proof theory
3. Models of second order arithmetic
4. Ordinal analysis of the incompleteness phenomena in arithmetic
5. Nonstandard satisfaction classes
6. Recursively saturated, resplendent, and saturated models of arithmetic
7. Automorphisms and automorphism groups of models of arithmetic