Corrigendum & Addendum to "Categoricity-like Properties in the First Order Realm"

Ce corrigendum et addendum complète l'article « Categoricity-like properties in the first order realm » en apportant des précisions sur les propriétés de catégoricité dans le cadre de la logique du premier ordre.

L'essentiel

Imaginez que vous êtes un architecte qui a construit une immense cathédrale mathématique appelée « Théorie des Ensembles ». Cette cathédrale est si complexe qu'elle contient des milliers de pièces, de règles et de fondations. En 2026, deux architectes, Ali Enayat et Mateusz Łełyk, publient une note importante pour dire : « Attendez, il y a quelques fissures dans nos plans originaux, et nous devons les réparer. »

Ce document est ce qu'on appelle un Corrigendum et Addendum. C'est comme une lettre de correction officielle envoyée à tous les lecteurs de leur livre précédent.

Voici ce qu'ils disent, traduit en langage simple avec des images :

1. La Réparation de la Fondations (Le Corrigendum)

Le problème :
Dans leur livre précédent, ils avaient prouvé une règle importante (le Théorème 39) qui disait essentiellement : « Si vous construisez votre cathédrale avec certaines règles strictes, elle ne sera jamais parfaitement unique ou rigide. »
Leur preuve était correcte dans son idée, mais ils avaient utilisé un outil de construction un peu trop faible (une formule mathématique trop simple) pour tenir le poids de la preuve. C'est comme essayer de soulever un éléphant avec une pince à épiler : ça ne marche pas, il faut un treuil plus puissant.

La solution :
Ils ont remplacé cet outil faible par un outil plus robuste (le Théorème 3). Ils ont aussi corrigé une petite erreur sur la complexité des règles utilisées (passant de « niveau 2 » à « niveau 3 »).

• L'analogie : Imaginez que vous essayiez de prouver qu'un pont est solide. Vous aviez dit : « Il tient parce que les boulons sont serrés. » Mais en réalité, pour que le pont tienne, il faut aussi que le ciment soit d'une certaine qualité. Ils ont simplement précisé la recette du ciment pour que le pont (la preuve) tienne vraiment.

Le résultat :
Leur conclusion initiale reste vraie ! La cathédrale n'est pas aussi rigide qu'on le pensait, mais ils ont maintenant la preuve mathématique inébranlable pour le dire.

2. Le Retrait d'une Affirmation (Le Problème du Théorème 77)

Le problème :
Ils avaient aussi affirmé que certaines règles mathématiques rendaient la cathédrale « catégorique » (c'est-à-dire qu'il n'existe qu'une seule façon de la construire, comme un modèle unique de Lego).
Ils ont découvert que l'une des pièces de leur puzzle (un lemme, ou une petite règle intermédiaire) était fausse. C'est comme s'ils avaient utilisé une pièce de puzzle qui semblait aller, mais qui en réalité ne s'adapte pas.

La situation actuelle :
Ils disent : « Nous retirons cette affirmation. »

• L'analogie : Imaginez que vous disiez : « Tous les chats sont noirs. » Puis, quelqu'un vous montre un chat blanc. Vous ne pouvez plus dire « Tous les chats sont noirs ». Vous devez dire : « Attendez, je me suis trompé sur ma preuve, je ne sais plus si tous les chats sont noirs ou non pour l'instant. »
  Ils n'ont pas encore trouvé de contre-exemple (un chat blanc) pour prouver que leur affirmation est fausse, mais ils ne peuvent plus prouver qu'elle est vraie non plus. Ils sont dans l'attente.

3. Les Nouvelles Découvertes (L'Addendum)

En plus de réparer les erreurs, ils nous montrent ce qui se passe dans le monde de la mathématique depuis leur livre. C'est comme une mise à jour de l'actualité scientifique :

• De nouvelles méthodes : D'autres chercheurs ont trouvé des moyens plus simples et plus élégants de prouver certaines choses, sans avoir besoin de supposer l'existence de « monstres mathématiques » (des nombres si grands qu'on ne sait pas s'ils existent vraiment).
• De nouvelles frontières : Ils ont découvert que certaines règles de logique fonctionnent différemment selon le contexte. C'est comme découvrir que les règles du football changent si on joue sur la lune.
• L'importance de la « rigidité » : Ils expliquent que la notion de « solidité » (la capacité d'une théorie à ne pas avoir de versions alternatives) est cruciale pour comprendre les fondements de notre univers mathématique.

En résumé

Ce document est un acte d'honnêteté intellectuelle.

1. On a réparé une preuve importante en utilisant des outils plus solides.
2. On a annulé une affirmation douteuse en attendant de nouvelles preuves.
3. On a mis à jour la carte du territoire en montrant les nouvelles découvertes des autres chercheurs.

C'est la science en action : ce n'est pas une suite de vérités immuables, mais un processus constant de construction, de détection d'erreurs, de réparation et d'amélioration, un peu comme la rénovation perpétuelle d'une ville imaginaire où chaque brique compte.

Résumé technique

Voici un résumé technique détaillé du document « Corrigendum & Addendum to: Categoricity-like Properties in the First Order Realm » d'Ali Enayat et Mateusz Łełyk.

1. Problématique et Contexte

Ce document est une note de correction et d'ajout à l'article précédent [6] des mêmes auteurs, intitulé Categoricity-like Properties in the First Order Realm. L'objectif principal est de :

1. Corriger la preuve du Théorème 39 de l'article original, qui présentait des défauts techniques majeurs.
2. Retirer la validité du Théorème 77 de l'article original, car une de ses lemmes clés (Lemme 79) s'est avérée fausse, bien que la question de la véracité du théorème lui-même reste ouverte.
3. Mettre à jour le domaine en présentant des avancées récentes concernant les propriétés de « catégoricité » et de « solidité » dans la théorie des ensembles et l'arithmétique.

2. Méthodologie et Corrections Techniques

A. Correction du Théorème 39 (Section 2)

Le Théorème 39 original affirmait que pour tout $n \in \omega$, la théorie $ZF_{\Pi_n}$ (la restriction de ZF aux formules $\Pi_n$) n'est ni solide ni serrée (tight), sous l'hypothèse de la consistance de ZF. Bien que l'énoncé reste vrai, la preuve originale comportait deux défauts :

1. Complexité des axiomes : La complexité quantificationnelle des axiomes de la théorie KP (Kripke-Platek) utilisée était incorrectement identifiée comme $\Pi_2$. La correction établit qu'elle est en réalité $\Pi_3$ (à l'exception de certains schémas de collection).
2. Nécessité d'un résultat plus fort : La preuve originale reposait sur une version insuffisante du Lemme 40. Les auteurs introduisent un nouveau résultat central, le Théorème 3, qui sert d'analogue en théorie des ensembles à un résultat fondamental en théorie des modèles de l'arithmétique.

Le Théorème 3 (Nouveau résultat clé) :
Pour tout modèle $M \models ZF^- + V=L$ et $n \ge 3$ :

• (a) Le sous-modèle $K_n(M)$ (éléments définissables par une formule $\Sigma_n$) est élémentairement équivalent à $M$ au niveau $\Pi_n$ ($K_n(M) \prec_{\Pi_n} M$).
• (b) $K_n(K_n(M)) = K_n(M)$ (stabilité de la définissabilité).
• (c) $K_n(M)$ satisfait $ZF_{\Pi_{n+1}}$ mais échoue à satisfaire le schéma de collection $\text{Coll}(\Sigma_{n+1})$.

Preuve de la correction :
Les auteurs utilisent la théorie de la constructibilité de Gödel ($V=L$) et l'ordre bien-fondé canonique $<_L$. La preuve technique repose sur la démonstration que la relation d'ordre $<_L$ permet de définir des formules $\Sigma_n$ de manière à ce que la satisfaction de formules dans $K_n(M)$ puisse être capturée par des formules $\Sigma_n$ dans $M$. Ils montrent ensuite que l'existence d'une classe de satisfaction $\Sigma_n$ définissable dans $K_n(M)$ combinée à l'ordre $<_L$ permet de construire une fonction dont le domaine est un ensemble mais dont l'image est le modèle entier, violant ainsi le schéma de collection $\text{Coll}(\Sigma_{n+1})$.

En combinant ce résultat avec le fait que le diagramme élémentaire d'un modèle $M_0$ de $ZF + V=L + \neg \text{Con}_{ZF}$ est définissable dans l'arithmétique standard $\mathbb{N}$, ils établissent la bi-interprétabilité entre $\mathbb{N}$ et $K_n(M_0)$. Cela permet de conclure que $ZF_{\Pi_n}$ n'est ni solide ni serrée, car on peut trouver des modèles de complexité différente qui sont bi-interprétables.

B. Rétractation du Théorème 77 (Section 3)

Le Théorème 77 affirmait que le schéma $\tau_{Repl+Tarski}$ (incluant le schéma de remplacement et un prédicat de vérité de Tarski) était à la fois g-solide et fortement catégorique intérieurement.

• Le problème : La preuve reposait sur le Lemme 79, qui prétendait classifier les relations entre deux modèles $K \subseteq M$ de ZF satisfaisant certaines conditions de définissabilité.
• Le contre-exemple : Les auteurs construisent un contre-exemple en utilisant un ultraproduit interne.
  • Soit $K$ un modèle $\omega$-standard de ZFC contenant un ultrafiltre non principal $U$ sur $\mathcal{P}(\omega)$.
  • Soit $M$ l'ultraproduit interne de $K$ modulo $U$.
  • $M$ est un extension élémentaire de $K$, mais $M$ est $\omega$-non-standard (contient des entiers non standards), tandis que $K$ est $\omega$-standard.
  • Cette configuration satisfait les hypothèses du Lemme 79, mais aucune des trois conclusions du lemme (isomorphisme avec un $V_\kappa$, isomorphisme avec $M$, ou embedding de $M$ dans un segment initial propre de $K$) ne tient, car les modèles ont des types d'entiers différents (standard vs non-standard).
• Statut actuel : Le Théorème 77 est retiré. Les auteurs ne possèdent ni une nouvelle preuve, ni un contre-exemple direct au théorème lui-même, seulement à son lemme de support. Ils notent que dans la théorie des classes GB (Gödel-Bernays), la catégoricité est prouvée, mais cela dépend de l'axiome de remplacement pour les classes dans la métathéorie.

3. Contributions Clés et Résultats

1. Théorème 1 (Corrigé) : Confirmation que pour tout $n$, $ZF_{\Pi_n}$ n'est ni solide ni serrée. La preuve repose désormais sur l'analyse fine des modèles $K_n(M)$ dans le cadre de $V=L$ et la complexité $\Pi_3$ de KP.
2. Théorème 3 (Nouveau) : Établissement des propriétés de préservation et de défaillance de la collection dans les sous-modèles définissables $\Sigma_n$ de modèles de $V=L$. C'est un résultat technique majeur reliant la théorie des modèles de la théorie des ensembles à celle de l'arithmétique.
3. Démolition du Lemme 79 : Fourniture d'un contre-exemple explicite utilisant les ultraproduits internes, montrant les limites des tentatives de classification des extensions élémentaires basées uniquement sur la définissabilité sans contrôle de la standardité des entiers.
4. Addendum sur les avancées récentes (Section 4) :
   • Meadows et Chen [4] : Nouvelle preuve plus simple de la non-équivalence définitionnelle entre $Z_2 + \Pi^1_\infty\text{-AC}$ et $ZF^- + \forall x |x| \le \aleph_0$, basée sur l'existence d'un ordre linéaire global définissable.
   • Gruza, Kołodziejczyk, Łełyk [8] : Séparation de notions de catégoricité dans des sous-théories de l'arithmétique de Peano (PA), répondant positivement à la Question B de [6] pour $T=PA$.
   • Gruza et Łełyk [9] : Développement de la catégoricité « jusqu'à une hauteur d'ordre », montrant que les moyens suffisants pour l'arithmétique d'ordre supérieur ne le sont pas pour ZF.
   • Glazer [7] : Esquisse d'une preuve de solidité pour $ZCR$ (Zermelo + Choix + Axiome des rangs), bien que la solidité de $ZR$ reste ouverte.

4. Signification et Impact

Ce document est crucial pour la rigueur de la recherche en logique mathématique sur les propriétés de catégoricité en première ordre.

• Rigueur technique : Il corrige des erreurs subtiles mais fondamentales concernant la complexité des axiomes et la structure des modèles, rétablissant la validité des résultats négatifs sur la solidité de $ZF_{\Pi_n}$.
• Limites de la catégoricité : En retirant le Théorème 77, les auteurs soulignent la difficulté de prouver la catégoricité forte pour des théories riches comme ZF avec un prédicat de vérité, surtout lorsque la métathéorie n'est pas suffisamment puissante (comme dans le cas de ZF seul vs GB).
• Outils nouveaux : L'introduction du Théorème 3 fournit un nouvel outil puissant pour analyser la relation entre les modèles de la théorie des ensembles et leurs sous-modèles définissables, en exploitant la structure de l'univers constructible $L$.
• État de l'art : La section d'addendum positionne le travail des auteurs dans le paysage actuel, montrant une collaboration dynamique (avec Meadows, Barton, Glazer, etc.) pour affiner les notions de solidité, de serrure (tightness) et de catégoricité interne, qui sont devenues centrales dans les débats sur les fondements de la théorie des ensembles.

En résumé, ce corrigendum transforme un article potentiellement erroné en une base solide pour de futures recherches, tout en clarifiant les frontières entre ce qui est prouvé, ce qui est faux, et ce qui reste une question ouverte dans l'étude des propriétés de catégoricité des théories du premier ordre.