Journées sur les Arithmétiques Faibles 33
The 33rd meeting of JAF (Journées sur les Arithmétiques Faibles) was held in Gothenburg, Sweden, June 16-18 2014.
Programme
A detailed programme can be found here: JAF33 Programme.
Scope
- Provability and Definability in Arithmetics
- Model Theory and Arithmetics
- (Un)decidability of Arithmetics
- Modelling computations on Logical Theories
Invited speakers
- Lev Beklemishev (Steklov Institute) Arithmetic based on logic without contraction and Gödel’s second incompleteness theorem (abstract, slides)
- Paola D’Aquino (Seconda Universitá di Napoli) Recursive saturation from a valuation theoretic point of view (abstract, slides)
- Costas Dimitracopoulos (University of Athens) End extensions of models (joint work with V. Paschalis) (abstract, slides)
- Fernando Ferreira (University of Lisbon) Impredicativity and Fregean Arithmetic (abstract, slides)
- Leszek Kołodziejczyk (University of Warsaw) The problem of a model with no collection and no exponentiation (abstract, slides)
- James Schmerl (University of Connecticut) Submodel lattices of Nerode semirings (abstract, slides)
- Keita Yokoyama (Japan Advanced Institute of Science And Technology) Use of nonstandard models in reverse mathematics (abstract, slides)
Tutorial
Contributed talks
- Henri-Alex Esbelin (Blaise Pascal University) Counting in Δ0#N modulo matrices monoids (abstract, slides)
- Andrés Cordón-Franco and Francisco Félix Lara-Martín (University of Seville) Local induction axioms vs local induction rules (abstract, slides)
- Yoann Marquer (University Paris-Est Créteil) Algorithmic completeness of imperative languages (abstract, slides)
- Tin Lok Wong (Kurt Gödel Research Center) Understanding BΣ1 + exp via WKL0* (abstract, slides)
- Rasmus Blanck (University of Gothenburg) Flexible formulae of arithmetic (abstract, slides)
Organizing committee
Chair: Ali Enayat (University of Gothenburg)
Rasmus Blanck (University of Gothenburg)
Patrick Cégielski (University Paris Est Créteil-IUT)
Andrés Cordón-Franco (University of Seville)
Constantine Dimitracopoulos (University of Athens)
Fredrik Engström (University of Gothenburg)
Henri-Alex Esbelin (Blaise Pascal University)
Denis Richard (University Clermont1)
Konrad Zdanowski (Cardinal Stefan Wyszynski University in Warsaw)
Submissions
Abstracts of contributed talks, in PDF format, not exceeding one A4 (11pt) page, should be submitted by May 1, 2014 to: ali.enayat@gu.se Abstracts should be typeset following the format of a LaTeX style file.
Important dates
Submission of Contributed Talks Deadline: May 1, 2014
Notification of Acceptance: May 15, 2014
Final programme: May 22, 2014
Location
Department of Philosophy, Linguistics, and Theory Science, Olof Wijksgatan 6, Gothenburg, Sweden
Registration
There is no registration fee, but in order to register for the meeting all participants (except the invited speakers) should contact Rasmus Blanck.
For general inquiries contact:
Ali Enayat
Fredrik Engström
Rasmus Blanck