Un rango transfinto (comúnmente escrito U o U-rank) asignado a tipos completos o fórmulas que generaliza el rango de Morley midiendo la profundidad de las cadenas de forking; valora cuántas extensiones sucesivas por forking admite un tipo.

Principio

Definido inductivamente vía forking: U(p) ≥ 0 para cualquier tipo no algebraico p; U(p) ≥ α+1 si existe una extensión por forking q de p con U(q) ≥ α; para un límite λ, U(p) ≥ λ si U(p) ≥ α para todo α < λ. El ordinal mínimo (o ∞) que niega la propiedad da U(p).

Demostración

En teorías superstables o ω-estables, el U-rank y el rango de Morley a menudo coinciden en tipos; por ejemplo, en una teoría fuertemente mínima todo tipo no algebraico tiene U-rank 1, y en muchos grupos estables el U-rank estratifica los tipos según la complejidad del forking.

Aplicación incorrecta

Intentar calcular o interpretar el U-rank en teorías inestables donde el forking no se comporta bien, confundir U-rank con rango de Morley sin comprobar superstabilidad, o tratar el U-rank como una dimensión simple sin referencia a las extensiones por forking.

Consecuencia

La finitud del U-rank para todos los tipos caracteriza la superstabilidad; el U-rank proporciona una medida cuantitativa de la profundidad de dividing y forking, apoya inducciones en pruebas de clasificación y guía la descomposición estructural de tipos y conjuntos definibles.

Inversión

U-rank bajo (finito) señala moderación y profundidad de forking acotada; U-rank infinito indica cadenas de forking descontroladas y apunta a inestabilidad o complejidad más allá de la superstabilidad.

Límite

Bien definido para tipos y fórmulas en contextos donde la teoría del forking está disponible (teorías estables y superstables); puede ser infinito, trivial o inútil en teorías de primer orden generales sin supuestos de estabilidad.

Tensión semántica

Tensión entre U-rank y rango de Morley: ambos son rangos ordinales pero U-rank está definido por la geometría del forking y puede divergir del rango de Morley en contextos no superstables; también entra en tensión con el rango de Lascar y otros refinamientos.

Síntesis

El U-rank es un rango transfinto basado en forking sobre tipos que generaliza nociones de rango geométrico midiendo la profundidad ordinal de extensiones sucesivas por forking, y sirve como herramienta central para detectar y trabajar la superstabilidad.