O-minimal spectrum

Abstract

Let X be a definable sub-set of some o-minimal structure. We study the spectrum of X, in relation with the definability of types.