Studies in Weak Arithmetics, Volume 3
Edited by Patrick Cégielski, Ali Enayat, and Roman Kossak
The field of Weak Arithmetics concerns the application of logical methods to Number Theory, developed by mathematicians, philosophers, and theoretical computer scientists.
This third volume in this collection contains nine substantive papers based on lectures delivered during two last meetings of the conference series JAF (Journées sur les Arithmétiques Faibles) which took place in 2014 at the University of Gothenburg, Sweden and in 2015 at the CUNY Graduate Center, New York, USA.
Patrick Cégielski is Professor at the University ParisEst Créteil
IUT Sénart Fontainebleau, France. Ali Enayat is Professor at the University of Gothenburg, Sweden. Roman Kossak is Professor at the City University of New York, USA.
 Contributors
 Introduction
Patrick Cégielski, Ali Enayat, Roman Kossak
 1 Flexibility in Fragments of Peano Arithmetic
Rasmus Blanck
 2 On the Diaphantine Complexity of the Set of Prime Numbers
Pietro Corvaja, Eugenio Omodeo, Luca Vallata
 3 Δ_{0–Definability of Dedekind Sums}
Henri‐Alex Esbelin
 4 Characterizations of Interpretability in Bounded Arithmetic
Joost J. Joosten
 5 An Imperative Language Characterizing PTIME Algorithms
Yoann Marquer and Pierre Valarcher
 6 Near‐Linearity and Open Induction
Mojtaba Moniri
 7 Submodel Lattices of Existentially Closed Models of Arithmetic
James H. Schmerl
 8 Towards an Effective Theory of Absolutely Continuous Measures
Henry Towsner
 9 Notes on Various Versions of Friedman's SelfEmbedding Theorem
Keita Yokoyama
September 28, 2016
ISBN (Paperback): 9781575869537 (1575869535)

Distributed by the University of Chicago Press
