Home Sponsors Timetable Accommodation List of Participants Photo Album

42nd Weak Arithmetics Days 42ème Journées sur les Arithmétiques Faibles

September 25–27, 2023, Karlovassi, Greece

Co-organized by the Department of Mathematics of the University of the Aegean
the Department of Philosophy and History of Science of the University of Athens

Conference Programme
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