June 24-26, 2013

DIMITRACOPOULOS Costas
(University of Athens) &
Alla SIROKOFSKICH
(University of Crete) -
**Versions of the MRDP Theorem in IΔ _{0}+Ω_{1}**

DIMITRACOPOULOS Costas
(University of Athens) -
**Discernibilty in Philosophy and Arithmetic**

ENAYAT Ali
(University of Gothenburg, Sweden) -
**Self-embeddings of models of arithmetic: from Vaught to Tanaka**
long version published in proceedings

ENAYAT Ali
(University of Gothenburg, Sweden) -
**Self-embeddings of models of arithmetic: some recent results**

ESBELIN Henri-Alex
(University Blaise Pascal, Clermont-Ferrand, France) -
**Reciprocity laws and Δ _{0}-definability**

GARLÍK Michal
(Charles University, Prague) -
**On Ajtai's completeness theorem for nonstandard finite structures**
published paper

MACINTYRE Angus
(Queen Mary College, London) -
**My current knowledge on primes in fragments of arithmetic**

MACINTYRE Angus
(Queen Mary College, London) -
**Henselizations of p-adic valuations, for p a prime in
IΔ _{0}+Ω_{1}**
long version published in proceedings

MOSCHOVAKIS Yiannis
(UCLA, USA) -
**Intrinsic complexity in arithmetic (and algebra)**

PHEIDAS Thanases
&
Alla SIROKOFSKICH
(University of Crete, Greece) -
**On extensions of the additive structure of polynomials over
a finite field**

PICH Ján
(Charles University, Prague) -
**Circuit lower bounds in Bounded Arithmetic**

WONG Tin Lok
(University of Ghent, Belgium) -
**End-extensions of models of second-order arithmetic**

WONG Tin Lok
(University of Ghent, Belgium) -
**The generic choice of a cut**