# Research Seminar

in

Finite Model Theory

## General information

This research seminar in
FMT
is a joint seminar of the
Department of Mathematics
at the
University of Helsinki
and the
Department
of Mathematics, Statistics and Philosophy
at the
University of Tampere.
The gatherings are held every second Friday at 13-15
so that in principle every second gathering is held in Helsinki and every
second in Tampere - see the weekly schedule
below.
The possible changes in timetables and the titles are announced on this
page before each gathering. The gatherings are open to everyone
interested
in the field or the current topic.

## Contents during the academic year 2005-2006

The theme of the seminar during the academic year 2005-2006 is
"Connections of Finite Model Theory with Classical
Model Theory and Combinatorics."
### Supervisors:

### Meeting time and place:

- 13 - 15, Pinni A3098 (Tampere)
- 13 - 15, Exactum B322 (Helsinki)

- Fri 27.1.2006, Tampere, Pinni A3098

Ville Nurmi: *Characterizing logical consequence in a fragment of IF-logic*
- Fri 10.2.2006, Helsinki, Exactum B322

Hannu Niemistö: *Strictness of ESO arity hierarchy or
FO variable number hierarchy on finite ordered structures*
- Fri 24.2.2006, Tampere, Pinni A3098

Kerkko Luosto: *Ordering random graphs by divisibility quantifiers*
- Fri 10.3.2006, Helsinki, Exactum B322

Jarmo Kontinen: *Zero-one law and generalized quantifiers*
- Fri 24.3.2006, Tampere, Pinni A3098

Juha Kontinen: *On leaf languages*

(Leaf Languages Homepage)
- Fri 7.4.2006, Helsinki, Exactum B322

Petteri Kaski: *Computational methods in combinatorics---
Classifying up to isomorphism the Steiner triple systems of order 19*

Transparencies
- Fri 21.4.2006, Tampere, Pinni A3098

Miguel Couceiro: * Characterizations of finitely
definable Boolean function classes in terms of a quasi-ordering*
- Fri 5.5.2006, Helsinki, Exactum B322

Hannu Niemistö: *0-1-law and definability of linear order*
- Fri 19.5.2006, Tampere, Pinni A3098

TBA

## Program in previous years

The seminar has been active also