## [Teorema de Ryll‑Nardzewski](/es/node/60386) Definición 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 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 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 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 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 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 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 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 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.