CSLI Publications logo
new books
catalog
series
knuth books
contact
for authors
order
search
CSLI Publications
Facebook
 
Studies in Weak Arithmetics, Volume 3 cover

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 Paris-Est 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.

Contents

  • 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 Self-Embedding Theorem
    Keita Yokoyama

September 28, 2016

ISBN (Paperback): 9781575869537 (1575869535)

Add to Cart
View Cart

Check Out

Distributed by the
University of
Chicago Press

pubs @ csli.stanford.edu