Un rango con valores ordinales asignado a un conjunto definible en una teoría completa de primer orden que mide su complejidad mediante inducción transfinitas; se emplea para clasificar y analizar teorías estables.

Principio

Definido por inducción transfinitas: RM(X) ≥ 0 si y solo si X ≠ ∅; RM(X) ≥ α+1 si X puede particionarse en infinitas subconjuntos definibles dos a dos disjuntos, cada uno de rango ≥ α; para un límite λ, RM(X) ≥ λ si RM(X) ≥ α para todo α < λ.

Demostración

En un cuerpo algebraicamente cerrado, los conjuntos cerrados de Zariski tienen rango de Morley finito igual a su dimensión de Zariski: un conjunto finito tiene rango 0, una curva irreducible rango 1, y los productos cartesianos suman rangos, de modo que el rango de Morley refleja la dimensión geométrica en esta teoría ω-estable.

Aplicación incorrecta

Aplicar el rango de Morley a conjuntos no definibles, a teorías incompletas sin fijar parámetros, o asumir que siempre es un ordinal finito en teorías inestables; confundir el rango con la cardinalidad o con el grado de Morley.

Consecuencia

Aplicado correctamente a conjuntos definibles en una teoría completa, el rango de Morley da lugar a una estratificación de conjuntos definibles en niveles bien comportados, detecta ω-estabilidad cuando todos los conjuntos definibles tienen rango finito y permite descomposiciones canónicas empleadas en clasificación.

Inversión

Invertir la noción conduce a comparar conjuntos de rango mínimo (rango 0) con conjuntos de rango alto o infinito; rango bajo indica rigidez y moderación, rango alto/ infinito señala complejidad combinatoria o inestabilidad.

Límite

Pertinente solo para conjuntos (o tipos) definibles en lenguajes de primer orden y más útil en teorías completas y estables; en muchos contextos inestables o incompletos el rango es infinito, no está definido o resulta poco informativo.

Tensión semántica

Existe tensión entre el rango de Morley como invariante combinatorio transfinto y las nociones geométricas de dimensión (p. ej., dimensión de Krull/Zariski); también compite con rangos más finos (U-rank, rango de Lascar) que captan forking o distinciones de tipos fuertes.

Síntesis

El rango de Morley es un invariante ordinal definido por inducción transfinitas para conjuntos definibles en teorías completas de primer orden que abstrae la dimensión geométrica en una herramienta para clasificar estabilidad y organizar la estructura definible.