2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/102333Let X be a definable sub-set of some o-minimal structure. We study the spectrum of X, in relation with the definability of types.Logic03C64; 14P10text