Reconstruction of homogeneous relational structures
Seminar Room 1, Newton Institute
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.