Ramsey Theorems and the Property of Baire
En el párrafo 1 se describe el isomorfismo uniforme existente entre la compleción de Hausdorff de un espacio métrico y la compleción de Weil del espacio uniforme separado asociado al espacio métrico.En el párrafo 2 se construye la compleción reducida de un espacio seudométrico y se describe el isomorfismo uniforme existente entre la compleción reducida de un espacio seudométrico y la compleción reducida del espacio uniforme asociado al espacio seudométrico.Finalmente, a lo largo del párrafo 3, se...
We apply the work of Bourgain, Fremlin and Talagrand on compact subsets of the first Baire class to show new results about ϕ-types for ϕ NIP. In particular, we show that if M is a countable model, then an M-invariant ϕ-type is Borel-definable. Also, the space of M-invariant ϕ-types is a Rosenthal compactum, which implies a number of topological tameness properties.