40ème Journées sur les Arithmétiques Faibles - 40th Weak Arithmetics Days

Europe/Athens
Department of History & Philosophy of Science, National & Kapodistrian University of Athens

Department of History & Philosophy of Science, National & Kapodistrian University of Athens

GR-15771 Zografou, Athens, GREECE
Description

Weak Arithmetics play a fundamental role in several areas of philosophy, mathematics, and computer science by studying the nature and properties of natural numbers from a logical point of view. The aim of the conference is to provide a forum for researchers to present their results to members of communities who study or apply weak arithmetics in various fields and formalisms.

Steering and Program Committee. P. Cégielski (U. Paris XII), J. Cervelle (U. Paris XII), A. Cordón-Franco (U. Seville), C. Dimitracopoulos (U. Athens), A. Enayat (U. Göteborg), A. Esbelin (U. Clermont-Ferrand), N. Thapen (Czech A. Sciences, Prague)

Topics. Proofs in arithmetic with restricted systems of axioms. Non-standard models of such systems. Decidability, undecidability, and complexity of arithmetical theories. Definability in arithmetic structures. Machines, automata and words, related to arithmetic. Finite model theory.

Paper submission. Authors are invited to submit abstracts not exceeding three pages in the form of a pdf file to cdimitr@phs.uoa.gr. Submissions are to be received until August 30, 2021. Authors will be notified of acceptance until September 27, 2021.

Registration fee. There is no registration fee. We have obtained support for coffee breaks and lunch for all participants, but we might have to charge a fee for the official dinner (more details will be available soon).

Local Organizing Committee. C. Dimitracopoulos (U. Athens), C. Cornaros (U. Aegean)

JAF40 Poster

Location

Registration
Registration form
Contact - Costas Dimitracopoulos
The agenda of this meeting is empty