Una caracterización de teorías de primer orden ω‑categoricas: para un lenguaje contable, una teoría completa es ω‑categórica (tiene un único modelo contable a isomorfismo) si y solo si para cada natural n tiene solo finitamente muchos n‑tipos sobre el conjunto vacío; equivalentemente, el grupo de automorfismos de su modelo contable es oligomórfico (tiene finitas órbitas sobre n‑tuplas para cada n).

Principio

Conectar una finitud sintáctica de tipos con una forma de simetría del grupo de permutaciones: el comportamiento finito de n‑tipos sobre el vacío para cada n equivale a una fuerte homogeneidad global del modelo contable capturada por la oligomorfía del grupo de automorfismos.

Demostración

El grafo aleatorio (de Rado) es ω‑categórico: en su modelo contable hay finitos n‑tipos sobre el vacío para cada n, y su grupo de automorfismos actúa con finitas órbitas sobre n‑tuplas, de modo que el teorema certifica la categoricidad contable y el vínculo con la estructura del grupo de permutaciones.

Aplicación incorrecta

Suponer que el teorema vale en lenguajes no contables o sin completitud; las equivalencias requieren un lenguaje contable y una teoría completa, y la condición de finitud debe comprobarse para todas las aridades n sobre el vacío (no solo para n=1).

Consecuencia

Ryll‑Nardzewski proporciona un puente potente entre la categoricidad contable y la teoría de grupos de permutaciones, permitiendo transferir técnicas combinatorias y algebraicas (análisis de órbitas, enumeración de relaciones definibles) y imponiendo fuertes restricciones sobre los conjuntos definibles en modelos contables.

Inversión

La negación es tener infinitos n‑tipos para alguna aridad n sobre el vacío, equivalente a que el grupo de automorfismos tenga infinitas órbitas sobre n‑tuplas y por tanto al fracaso de la categoricidad contable y a una mayor complejidad modelo‑teórica.

Límite

Se aplica a teorías completas de primer orden en un lenguaje contable y caracteriza la categoricidad contable; no trata directamente la categoricidad no contable ni lenguajes de mayor cardinalidad, ni sustituye otras hipótesis necesarias como la completitud.

Tensión semántica

El teorema pone en tensión dos perspectivas: una sintáctica de recuento de tipos y otra semántica orientada a la simetría vía grupos de automorfismos; la tensión aparece al intentar generalizar cualquiera de los dos lados fuera del marco primero‑orden contable.

Síntesis

Ryll‑Nardzewski condensa la categoricidad contable en una equivalencia: finitud de los n‑tipos sobre el vacío para todo n, acción oligomórfica del grupo de automorfismos y unicidad del modelo contable; esta equivalencia une definibilidad, simetría y conteo en una condición operativa.