Beginning of stability theory for Polish Spaces

We consider stability theory for Polish spaces and more generally for definable structures. We succeed to prove existence of indiscernibles under reasonable conditions

Covering the Baire space by families which are not finitely dominating

It is consistent (relative to ZFC) that the union of max{b,g} many families in the Baire space which are not finitely dominating is not dominating. In particular, it is consistent that for each nonprincipal ultrafilter U, the cofinality of the reduced ultrapower w^w/U is greater than max{b,g}. The model is constructed by oracle chain condition forcing, to which we give a self-contained introduction.Comment: Small update

A strong polarized relation

We prove the consistency of a strong polarized relation for a cardinal and its successor, using pcf and forcingComment: 14 page

Distal and non-distal NIP theories

We study one way in which stable phenomena can exist in an NIP theory. We start by defining a notion of 'pure instability' that we call 'distality' in which no such phenomenon occurs. O-minimal theories and the p-adics for example are distal. Next, we try to understand what happens when distality fails. Given a type p over a sufficiently saturated model, we extract, in some sense, the stable part of p and define a notion of stable-independence which is implied by non-forking and has bounded weight. As an application, we show that the expansion of a model by traces of externally definable sets from some adequate indiscernible sequence eliminates quantifiers