New Studies in Weak Arithmetics

The field of weak arithmetics is an application of logical methods to number theory that was developed by mathematicians, philosophers, and theoretical computer scientists. New Studies in Weak Arithmetics is dedicated to late Australian mathematician Alan Robert Woods (1953-2011), whose seminal thesis is published here for the first time. This volume also contains the unpublished but significant thesis of Hamid Lesan (1951-2006) as well as other original papers on topics addressed in Woods’s thesis and life’s work that were first presented at the 31st Journees sur les Arithmetiques Faibles meeting held in Samos, Greece, in 2012.

Patrick Cegielski is professor in the Departement Informatique at Universite Paris-Est Creteil. Charalampos Cornaros is assistant professor of mathematics at the University of the Aegean, Greece. Costas Dimitracopoulos is professor in the Faculty of Philosophy and History of Science at the National and Kapodistrian University of Athens, Greece.