Une caractérisation des théories du premier ordre ℵ0‑catégoriques : pour un langage dénombrable, une théorie complète est ℵ0‑catégorique (a un seul modèle dénombrable à isomorphisme près) si et seulement si, pour chaque entier n, elle n'admet qu'un nombre fini de n‑types sur l'ensemble vide ; équivalemment, le groupe d'automorphismes de son modèle dénombrable est oligomorphe (n'a qu'un nombre fini d'orbites sur les n‑uplets pour chaque n).

Principe

Relier une finitude syntaxique des types à une forme de symétrie du groupe de permutations : le comportement fini des n‑types sur l'ensemble vide pour chaque n équivaut à une homogénéité globale forte du modèle dénombrable captée par l'oligomorphie du groupe d'automorphismes.

Démonstration

Le graphe aléatoire (de Rado) est ℵ0‑catégorique : dans son modèle dénombrable il n'existe pour chaque n qu'un nombre fini de n‑types sur l'ensemble vide, et son groupe d'automorphismes agit avec un nombre fini d'orbites sur les n‑uplets ; le théorème s'applique donc et certifie la catégoricité dénombrable et le lien étroit avec la structure de groupe de permutations.

Mauvaise application

Supposer que le théorème vaut dans des langages non dénombrables ou sans complétude ; les équivalences exigent un langage dénombrable et une théorie complète, et la condition de finitude doit être vérifiée pour toutes les arités n sur l'ensemble vide (pas seulement pour n=1).

Conséquence

Ryll‑Nardzewski fournit un pont puissant entre la catégoricité en dénombrable et la structure de groupe de permutations, permettant de transférer des techniques combinatoires et algébriques (analyse des orbites, énumération des relations définissables) et imposant de fortes contraintes sur les ensembles définissables dans les modèles dénombrables.

Inversion

La négation consiste à admettre une infinité de n‑types pour une certaine arité n sur l'ensemble vide, équivalente au fait que le groupe d'automorphismes a infiniment d'orbites sur les n‑uplets et donc à l'échec de la catégoricité dénombrable et à une complexité modèle‑théorique accrue.

Limite

S'applique aux théories complètes du premier ordre en langage dénombrable et caractérise la catégoricité dénombrable ; il n'aborde pas directement la catégoricité non dénombrable ni des langages de cardinalité supérieure, et ne remplace pas d'autres hypothèses nécessaires comme la complétude.

Tension sémantique

Le théorème met en tension deux perspectives : un point de vue syntaxique de comptage des types et un point de vue sémantique orienté symétrie via les groupes d'automorphismes ; la tension apparaît lorsqu'on tente de généraliser l'une ou l'autre des faces au‑delà du contexte premier‑ordres dénombrable.

Synthèse

Ryll‑Nardzewski condense la catégoricité dénombrable en une équivalence : finitude des n‑types sur l'ensemble vide pour tout n, action oligomorphe du groupe d'automorphismes et unicité du modèle dénombrable ; cette équivalence relie définissabilité, symétrie et comptage en une condition unique et opérationnelle.