JAF32


Athens - Greece
June 24-26, 2013

DIMITRACOPOULOS Costas (University of Athens) & Alla SIROKOFSKICH (University of Crete) - Versions of the MRDP Theorem in IΔ01

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Δ01 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


JAF32 Website