Aleksandra Kwiatkowska : The group of homeomorphisms of the Cantor set has ample generics

Posted by , part of the Logic Seminar.

At

April 12, 2011, 3 p.m.

In

SEO 612

Abstract

A topological group G has ample generics if for every m the diagonal conjugacy action of G on G^m has a comeager orbit. I will show that the group of homeomorphisms of the Cantor set has ample generics. This answers a question of Kechris and Rosendal. The main tool I use is the projective Fraisse theory, which is a dualization of the Fraisse theory from model theory.

Tea as usual at 2:30 in SEO 300.