skip to content

Reconstruction of homogeneous relational structures

Presented by: 
S Barbina [Turin]
Thursday 7th April 2005 - 09:30 to 10:00
INI Seminar Room 1

Reconstruction results give conditions under which the automorphism group of a structure determines the structure up to bi-interpretability or bi-definability. Here we examine a large class of omega-categorical combinatorial structures, which was isolated by Herwig and contains K_n-free graps, k-hypergraphs and Henson digraphs. Using a Baire category approach we show how to obtain reconstruction for this class, proving that a reconstruction condition, developed by M. Rubin, holds. The method rests on the existence of a generic pair of automorphisms.

Presentation Material: 
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons