The
International Conference

METHODS OF LOGIC IN MATHEMATICS V

June 1 - 7, 2008
Saint-Petersburg, Russia

Programme

Sunday, **June 1**

14:3015:30 Registration

15:3015:40 Opening

15:4016:40 *S. Friedman*
"Research at the Goödel Center" (tutorial)

1. The Hyperuniverse and Go"del Maximality

16:4017:00 Coffee break

17:0017:50 *M. Arslanov* "Degree structures in the difference
hierarchy"

17:5018:05 Coffee break

18:0518:50 *M. Arslanov* Generalized truth-table reducibilities in
the difference hierarchy

19:0019:55 movie "Julia Robinson
and Hilbert's tenth problem"

20:00 WELCOME PARTY

Monday, **June 2**

10:0011:00 *S. Friedman*
"Research at the Gödel Center" (tutorial)

2. The Internal Consistency and Outer Model
programmes

11:0011:20 Coffee break

11:2012:20 *A. Rybalov* "Generic complexity of first-order
theories"

12:3014:00 Lunch

14:3015:20 *F.Petrov, A.Vershik* A. "How to define invarinat statistics
on the set of universal objects of model theory"

15:2015:40 Coffee break

15:4016:30 *B. Kastermans* Stability and Posets

16:3016:55 *V. Vasilyev, M. Vsemirnov* "On (2,3)-generation of group
Sp(8,Z)"

16:5517:20 *D. Smelyanskiy* "Uniqe expressibility and definitions
in second order logic"

Tuesday, **June 3**

10:0011:00 *S. Friedman*
"Research at the Go"del Center" (tutorial)

3. Model Theory and Computation Theory from a set-theoretic
perspective

11:0011:20 Coffee break

11:2012:20 *S. Goncharov *"Turing
Complexity of Models of Uncountably Categorical Theories"

12:3014:00 Lunch

14:3015:30 *Yu. Matiyasevich*
"Hilbert's tenth Problem I" (tutorial)

15:3016:20 *B. Poonen* "Rational solutions to polynomial
equations"

16:2016:40 Coffee break

16:4017:30 *M. Davis* "A Conjecture Concerning Poonen's Large
Subring of Q"

17:3018:20 *P. D'Aquino* "Exponential rings"

19:00 PARTY

Wednesday, **June 4**

10:3012:30 Visiting the State Hermitage

12:30 Free time

Thirsday, **June 5**

10:0011:00 *Yu. Matiyasevich*
"Hilbert's tenth Problem II" (tutorial)

11:0011:20 Coffee break

11:2012:20 *Yu. Nesterenko* "Roots
of polynomials in $p$-adic fields"

12:3014:00 Lunch

14:3015:20 *N. Durov* "Stacks as intuitionistic categories
I"

15:2015:40 Coffee break

15:4016:30 *A. Iwanow* "Zeta functions corresponding to
isometry groups of a rooted tree"

16:3016:55 *B. Moroz* "Diophantine equations and proof
theory" (in Russian with slides in English)

Friday, **June 6**

10:0011:00 *Yu. Matiyasevich*
"Hilbert's tenth Problem III" (tutorial)

11:0011:20 Coffee break

11:2012:20 *O. Belegradek* "Definable relations in the complex
field with reals and a subgroup of the unit circle"

12:30-14:00 Lunch

14:3015:20 *N. Durov* "Stacks
as intuitionistic categories II"

15:2015:40 Coffee break

15:4016:30 *A. Wigderson*
"Randomness -- a computational complexity view"

16:4017:30 *A. Bovykin* "Some old and new ideas in
unprovability theory"

17:30 General Discussion and Closing after.

Saturday, **June 7**

Free time