2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/142489A trichotomy theorem for countable, stable, unsuperstable theories is offered. We develop the notion of a `regular ideal' of formulas and study types that are minimal with respect to such an ideal.LogicKarp height of models of stable theoriestext