Monday, Sept. 25 | ||
---|---|---|
09.00–09.15 | Welcome and opening | |
09.15–10.00 | R. Kossak | Absolute undefinability in arithmetic |
10.00–10.45 | E. Nurkhaidarov | On Automorphisms of Short Models of PA |
10.45–11.15 | Coffee break | |
11.15–12.00 | S. Hetzl & J. Vierling | Arithmetical theories and the automation of induction |
12.00–12.45 | Ch. Cornaros & C. Dimitracopoulos | On End Extensions of models of Open Induction |
12.45–13.30 | Light lunch | |
13.30–14.15 | M. R. Starchak | Existential Definability with Addition and k-Regular Predicates |
14.15–15.00 | B. Wcisło | Satisfaction classes with the full collection scheme |
15.00–15.30 | Coffee break | |
15.30–16.30 | Business meeting | |
Tuesday, Sept. 26 | ||
09.00–13.30 | Excursion (including light lunch) | |
13.30–14.30 | Free time | |
14.30–15.15 | Mengzhou Sun | Non-elementary cofinal extensions of models of fragments of Peano arithmetic |
15.15–16.00 | A. Zapryagaev | On interpretations in Buchi Arithmetics |
16.00–16.30 | Coffee break | |
16.30–17.15 | F. Achammer & S. Hetzl | Decidability of Diophantine equations in theories close to IOpen |
17.15–18.00 | H.-A. Esbelin | Bounded recursion and ∆0 Definability |
18.30–21.30 | Official dinner | |
Wednesday, Sept. 27 | ||
08.30–09.15 | A. Enayat | Indiscernibles and Satisfaction Classes in Arithmetic |
09.15–10.00 | J. Cervelle | The Reverse Mathematics of CAC for trees |
10.00–10.10 | Closing | |
10.10–11.00 | Coffee & Light lunch | |
11.00- | Walk to Potami falls |