Logic Seminar

In each dimension d, there exists a canonical compact, second countable space, called the d-dimensional Menger space, with certain universality and homogeneity properties. For d = 0, it is the Cantor set, for d = infinity, it is the Hilbert cube. I will concentrate on the 1-dimensional Menger space. I will prove that it a quotient of a projective Fraisse limit. I will show how a model theoretic property of projective Fraisse limits, called the projective extension property, can be used to prove high homogeneity of the 1-dimensional Menger space.  

This is a joint work with Aristotelis Panagiotopoulos.