St.Petersburg Department of Steklov Mathematical Institute
Euler International Mathematical Institute
Russian Academy of Sciences

Logic, Algebra and Geometry

St.Petersburg, June 1-7, 2004

Conference Program

Abstracts of the talks can be found here

Tuesday, June 1

10:00 - 14:00 Registration, coffee

14:00 - 14:10 Welcoming address by Anatoly Vershik

14:10 - 15:00 Yuri Ershov
Model Theory of multi valued fields

15:10 - 16:00 Greg Hjorth
An anti-Ramsey theorem

16:00 - 16:30 coffee

16:30 - 17:20 Andreas Blass
Powers of the Group of Integers

Wednesday, June 2

10:00 - 10:50 Su Gao
Classification Problems of Polish Metric Spaces 1

11:10 - 12:00 Boban Velickovic
Set theoretic aspects of the Control Measure Problem

12:00 - 14:00 LUNCH

14:10 - 15:00 Yuri Ershov
Nice extensions and global class field theory

15:10 - 16:00 Juris Steprans
Geometric Cardinal Invariants, Maximal Functions and a Measure Theoretic Pigeonhole Principle

16:00 - 16:30 coffee

16:30 - 17:20 Joerg Brendle
Van Douwen's diagram and its relatives

Thursday, June 3

10:00 - 10:50 Su Gao
Classification Problems of Polish Metric Spaces 2

11:10 - 12:00 Anatoly Vershik
Universality, Randomness, Complexity 1

12:00 - 14:00 LUNCH

14:10 - 15:00 Jaroslav Nesetril
Ramsey classes and homogeneous structures

15:10 - 16:00 Vladimir Kanovei
Fully saturated extensions of standard universe

16:00 - 16:30 coffee

16:30 - 17:20 Mauro di Nasso
A purely algebraic characterization of the hyperreals of nonstandard analysis

Friday. June 4

10:00 - 10:50 Su Gao
Classification Problems of Polish Metric Spaces 3

11:10 - 12:00 Anatoly Vershik
Universality, Randomness, Complexity 2

12:00 - 13:30 LUNCH


14:10 - 15:00 Peter Cameron
Isometries of Urysohn space

15:10 - 16:00 Nikolai Reshetikhin
The random geometry of the 6-vertex model


Saturday, June 5

10:30 A guided tour of the Hermitage Museum starts. There will be two simultaneous tours in English and one in Russian.

Sunday, June 6

Contributed Talks Session:

10:00 - 10:25 Petr Andreev An approximation of the hyperfinite world

10:30 - 10:55 Carlo Toffalori Minimalities and modules over group rings

11:15 - 11:40 Roman Wencel A generalization of o-minimality for expansions of Boolean algebras

11:45 - 12:10 Sergey Zyubin Conjugately dense subgroups of free products of groups

12:10 - 14:00 LUNCH

14:10 - 15:00 Evgeniy Gordon
A model-theoretic approach to approximation of topological algebraic systems by finite ones

15:10 - 16:00 Misha Gavrilovich
Aleph_1 categoricity of universal covering spaces of abelian varieties and Galois groups of their torsion points

16:00 - 16:30 coffee

16:30 - 17:20 Tapani Hyttinen
Local modularity in homogeneous structures

Monday, June 7

10:00 - 10:50 Monica VanDieren
Shelah's Categoricity Conjecture for tame abstract elementary classes

11:10 - 12:00 John Baldwin
0-1 laws for probability n^{-\alpha}

Logic, Algebra and Geometry

June 1-7, 2004
St.Petersburg, Russia


The meeting "Logic, Algebra and Geometry", June 1-7, 2004 will take place in St. Petersburg in the Euler Mathematical Institute. The meeting is endorsed by the Russian Academy of Sciences and the American Mathematical Society.

The main themes of the meeting include model theory, descriptive and combinatorial set theory, combinatorial group theory and the recently discovered connections of these areas with other areas of mathematics.

The meeting will consist of Invited Talks and Contributed Papers sessions. Also, there will be two tutorials given by A.Vershik (St.Petersburg Department of Steklov Institute) and Su Gao (North Texas).

We invite contributed talks. The deadline for sending abstracts of contributed talks is April 1, 2004. Abstracts of contributed talks have to be sent to the following electronic mail address:

Invited speakers of the conference include:

J. Baldwin (Illinois, Chicago)
A. Blass (Michigan, Ann Arbor)
J. Brendle (Kobe)
P. Cameron (London, QMC)
Yu.Ershov (Novosibirsk)
M. Di Nasso (Pisa)
Su Gao (North Texas)
M. Gavrilovich (Oxford)
E. Gordon (Eastern Illinois)
G. Hjorth (UCLA)
T. Hyttinen (Helsinki)
V. Kanovei (Moscow)
J. Nesetril (Praha)
P. Schupp (Illinois, Urbana-Champaign)
O. Spinas (Kiel)
J. Steprans (Toronto)
S. Thomas
S. Todorcevic (Paris 7, Toronto, Belgrade)
V. Tolstykh (Kemerovo)
M. VanDieren (Michigan, Ann Arbor)
B. Velickovic (Paris 7)
A. Vershik (St.Petersburg Department of Steklov Institute)
Yi Zhang (GuangZhou)

The Program Committee of the conference consists of:

M. Arslanov (Kazan)
A. Blass (Michigan, Ann Arbor)
A. Bovykin (Steklov Institute, St.Petersburg)
Su Gao (North Texas)
E. Griffor (CAI, Detroit/Michigan, Ann Arbor)
A. Kechris (CalTech)
J. Steprans (Toronto)
A. Vershik, co-chair (Steklov Institute, St.Petersburg)
Yu.Ershov (Novosibirsk)
Yi Zhang, co-chair (GuangZhou)
B. Zilber (Oxford)

The local Organizing Committee consists of Anatoly Vershik, Yi Zhang, Elena Novikova and Andrey Bovykin.

June is the most romantic time to visit St.Petersburg. Museums, theatres and concert halls, walking on the Neva embankment, the architechure and the scent of spring, and it never gets dark. The bridges open at night to let the boats pass into the Gulf of Finland. There are many cafes, restaurants and shops in the city centre. And there are the Botanical Gardens within 15 min. walk from the Euler Institute.

Among other things, we are planning to supplement the conference with a cultural programme.

You can register to take part in the conference at

The conference fee is 240 U.S. dollars. However, early registration (before April, 1) will make it 200 U.S. dollars. We strongly recommend to pay on-line. The procedure is described on the registration page above.

There are two hotels (the "Palace of Youth" and "Nord") within walking distance from the Euler Institute. The rooms have to be reserved well in advance to be sure of availability. Please mention it in your registration form if you need our help to reserve accommodation or contact Elena Novikova by email at

At the moment, citizens of many countries need a visa to enter Russia. There are many tourist agencies in every country readily selling tourist visas to Russia. There is also a possibility to obtain your visa invitation via the Euler Institute. The webpage is devoted to the visa procedure for participants of our conference. Please note that it may take some time to obtain a visa. Thus, we strongly recommend that you apply at least 2 months in advance.

If proved a success, we are planning to this meeting to grow into an annual series of meeting, under the title, say, Methods of Logic in Mathematics.

Organizing Committee of the Logic, Algebra and Geometry meeting