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

Este documento es un corrigendum y addendum que complementa el artículo original "Propiedades tipo categoricidad en el ámbito de primer orden", publicado en el Journal for the Philosophy of Mathematics en 2024.

Lo esencial

¡Hola! Imagina que los matemáticos son como arquitectos que construyen edificios gigantescos llamados "Teorías". Estos edificios deben ser sólidos, seguros y no tener grietas. En este documento, dos arquitectos, Ali Enayat y Mateusz Łełyk, vienen a decirnos: "Oigan, revisamos nuestros planos antiguos y encontramos dos cosas: una grieta que debemos reparar y un error de cálculo que debemos corregir".

Aquí tienes la explicación de su nota, traducida a un lenguaje sencillo y con analogías:

1. El Contexto: ¿Qué es este documento?

Este texto es una "Nota de Corrección y Adición" a un artículo científico anterior que ellos mismos escribieron.

• La metáfora: Imagina que publicaron un libro de instrucciones para construir una casa perfecta. Ahora, años después, se dan cuenta de que en una de las páginas había un error en los cimientos y en otra página, una regla que usaron para probar que la casa era segura, en realidad no funcionaba.
• El objetivo: Arreglar esos errores y contarles a los lectores qué novedades hay en el mundo de la arquitectura matemática desde que publicaron su libro.

---

2. La Primera Corrección: Arreglando los Cimientos (Teorema 39)

En su artículo anterior, demostraron que cierto tipo de teoría matemática (llamada ZF) no era tan "sólida" como pensaban. La conclusión era correcta, pero el camino para llegar a ella tenía dos problemas:

• Problema A (El error de complejidad): Usaron una herramienta (una regla lógica) que era demasiado simple para el trabajo. Era como intentar levantar un muro de ladrillos con una cuchara de plástico. Necesitaban una cuchara de acero más fuerte. Han reescrito la demostración usando la herramienta correcta.
• Problema B (El error de Zachiri): Un colega llamado Zachiri les señaló que habían contado mal los pasos de la receta. Dijeron que una parte de la teoría era de un tipo "X", pero en realidad era de un tipo "Y" (un poco más compleja).

¿Qué hicieron?
Reescribieron toda la prueba desde cero. Usaron una analogía de "construcción":

• Imagina que tienes un modelo de un universo (un mundo matemático).
• Crearon un "sub-mundo" dentro de ese universo, hecho solo con las piezas que se pueden describir con una fórmula específica.
• Demostraron que este sub-mundo es tan parecido al mundo original que puedes traducir uno al otro perfectamente (como tener dos mapas de la misma ciudad, uno dibujado en papel y otro en una app, pero que se refieren exactamente a lo mismo).
• Con esto, confirmaron que su conclusión original (que la teoría no es "sólida") sigue siendo cierta, pero ahora la prueba es impecable.

---

3. La Segunda Corrección: Retirando una Pared Falsa (Teorema 77)

Aquí la noticia es más dramática. En su artículo anterior, dijeron: "¡Tenemos una prueba de que dos tipos de edificios son idénticos!" (esto se llama categoricidad).

• El error: Para probarlo, usaron una "regla de oro" (un lema) que creían que siempre funcionaba. Decía: "Si tienes dos mundos matemáticos, uno dentro del otro, y cumplen ciertas reglas, entonces o son idénticos, o uno es una copia exacta del otro, o uno es una versión más pequeña del otro".
• La realidad: ¡Falso! Han encontrado un ejemplo contrario (un contraejemplo).
• La analogía del viaje:
  • Imagina que tienes un mapa de una ciudad (el mundo K) que es perfecto y tiene calles numeradas del 1 al infinito (números estándar).
  • Luego, creas una copia de ese mapa (el mundo M) usando un truco matemático (un "ultrapoder").
  • En esta nueva copia, aparecen "números fantasma" que son más grandes que cualquier número real que exista en el mapa original.
  • Ambos mapas siguen las mismas reglas básicas, pero uno tiene números normales y el otro tiene números "locos" (no estándar).
  • El resultado: La regla que decían que los hacía idénticos o copias exactas falla. No son idénticos, ni copias, ni versiones pequeñas. Son simplemente diferentes.
• Conclusión: Han retirado la afirmación de que su teorema 77 es verdad. A día de hoy, no saben si el edificio original es seguro o no; simplemente saben que su prueba anterior estaba rota.

---

4. Las Novedades (Lo que ha pasado desde entonces)

Como un buen vecino que comparte noticias, los autores mencionan qué han hecho otros arquitectos recientemente:

1. Una prueba más simple: Otros matemáticos demostraron lo mismo que ellos, pero de una forma más fácil y sin necesitar suposiciones tan raras (como la existencia de "cielos inaccesibles" o números gigantes que nadie ha visto).
2. Nuevos ladrillos: Han creado teorías más pequeñas que funcionan bien por sí solas, respondiendo a preguntas que ellos mismos se habían hecho antes.
3. Mejores mapas: Han estudiado cómo la forma en que dibujamos los planos (usando parámetros o no) cambia si el edificio es único o no.
4. El Multiverso: Alguien ha aplicado estas ideas a la teoría del "Multiverso" (la idea de que hay muchos universos posibles, no solo uno).
5. Nuevos desafíos: Siguen discutiendo si ciertas partes de la teoría de conjuntos son lo suficientemente "sólidas" para ser la base de todo el conocimiento matemático.

En Resumen

Esta nota es un acto de honestidad intelectual. Los autores dicen: "Nos equivocamos en los detalles de cómo llegamos a una conclusión y en una regla que usamos. Aquí está la corrección para el primer error, y aquí admitimos que el segundo error no tiene solución todavía. Pero, ¡mirad! El campo sigue avanzando y otros han encontrado caminos más cortos y nuevos descubrimientos".

Es como si un equipo de ingenieros dijera: "El puente que diseñamos aguanta el tráfico (la conclusión es buena), pero el cálculo de la resistencia del acero estaba mal. Aquí está el cálculo nuevo. Además, el puente que diseñamos para el otro lado del río no se sostiene con la fórmula que usamos, así que lo borramos de los planos hasta que alguien encuentre una solución".

Resumen técnico

A continuación presento un resumen técnico detallado del documento "Corrigendum & Addendum to: Categoricity-like Properties in the First Order Realm" de Ali Enayat y Mateusz Łełyk.

1. Problema y Contexto

Este documento es una nota de corrección y adición a un artículo previo ([6]) de los mismos autores, que estudiaba propiedades análogas a la categoricidad en el ámbito de la lógica de primer orden, específicamente en teorías de conjuntos y aritmética.

El documento aborda dos problemas principales surgidos tras la publicación del trabajo original:

1. Defectos en la demostración del Teorema 39: La prueba original contenía errores técnicos relacionados con la complejidad de los cuantificadores en la teoría de conjuntos KP (Kripke-Platek) y requería un lema más fuerte del que se disponía.
2. Falsedad de un Lema en la demostración del Teorema 77: Un lema clave (Lema 79) utilizado para probar que un esquema específico ($\tau_{Repl+Tarski}$) es "g-sólido" y categórico internamente resultó ser falso.

2. Metodología

Los autores emplean técnicas avanzadas de teoría de modelos, teoría de conjuntos y lógica matemática, incluyendo:

• Teorema de Completitud Arimetizado: Para construir modelos contables de teorías de conjuntos dentro de modelos de aritmética.
• Submodelos Definibles: Análisis de submodelos $K_n(M)$ generados por elementos definibles mediante fórmulas $\Sigma_n$ dentro de un modelo $M$.
• Bi-interpretabilidad: Estudio de la relación de interpretabilidad mutua entre modelos de aritmética estándar ($\mathbb{N}$) y modelos de teoría de conjuntos.
• Ultrapotencias Internas: Construcción de contraejemplos utilizando ultrapotencias internas sobre ultrafiltros no principales dentro de modelos $\omega$-estándares.
• Análisis de Complejidad de Fórmulas: Revisión detallada de la jerarquía de fórmulas ($\Pi_n, \Sigma_n$) y esquemas de colección ($Coll$) en teorías de conjuntos débiles como KP y $ZF^-$.

3. Contribuciones Clave y Resultados

A. Corrección del Teorema 39 (Sección 2)

El Teorema 39 original afirmaba que, si ZF es consistente, entonces para cada $n \in \omega$, la teoría $ZF\Pi_n$ no es "sólida" (solid) ni "estrecha" (tight). Aunque la afirmación es correcta, la prueba original fallaba.

• Corrección de Complejidad: Se identifica que los axiomas de KP utilizados en la prueba original deben formularse como sentencias $\Pi_3$, no $\Pi_2$ como se creía inicialmente (salvo por el esquema de colección $\Delta_0$).
• Nuevo Teorema Central (Teorema 3): Se introduce un resultado más fuerte que sirve de base para la corrección. Para cualquier modelo $M \models ZF^- + V=L$ y $n \geq 3$:
  • (a) $K_n(M) \prec_{\Pi_n} M$ (es una extensión elemental $\Pi_n$).
  • (b) $K_n(K_n(M)) = K_n(M)$ (todos los elementos de $K_n(M)$ son definibles por fórmulas $\Sigma_n$ dentro de $K_n(M)$).
  • (c) $K_n(M) \models ZF\Pi_{n+1} + \neg Coll(\Sigma_{n+1})$.
• Demostración de la No-Solidez: Utilizando el Teorema 3, se demuestra que $\mathbb{N}$ es bi-interpretable con un modelo de $ZF\Pi_n + \neg Coll(\Sigma_{n+1})$. Dado que $Coll(\Sigma_n)$ tiene complejidad $\Pi_{n+3}$, al elegir un $k$ suficientemente grande, se muestra que $ZF\Pi_n$ no puede capturar todas las consecuencias de teorías más fuertes, probando así que no es sólida.

B. Corrección del Teorema 77 y Refutación del Lema 79 (Sección 3)

El Teorema 77 original afirmaba que el esquema $\tau_{Repl+Tarski}$ es g-sólido y categórico internamente fuerte.

• Retracción: Los autores retiran la validez del Teorema 77 porque su prueba dependía del Lema 79, que resulta ser falso.
• El Lema Falso (Claim 6): El lema afirmaba que si $K \subseteq M$ son modelos de ZF y $K$ satisface ZF con respecto a subconjuntos definibles de $M$, entonces debe haber una isomorfía definible entre $K$ y un segmento inicial de $M$ (o viceversa), o una inmersión de rango.
• Contraejemplo: Se construye un contraejemplo utilizando una ultrapotencia interna:
  1. Sea $K$ un modelo $\omega$-estándar de ZFC.
  2. Sea $U \in K$ un ultrafiltro no principal sobre $\mathcal{P}(\omega)$ (existente dentro de $K$).
  3. Sea $M$ la ultrapotencia interna de $K$ módulo $U$.
  4. $M$ es una extensión elemental conservativa de $K$ y satisface las hipótesis del lema.
  5. Sin embargo, $K$ es $\omega$-estándar mientras que $M$ es $\omega$-no estándar (contiene números no estándar). Por lo tanto, no pueden ser isomorfos ni tener la relación de segmento inicial de rango requerida, violando las tres condiciones del lema.
• Nota sobre Categoricidad: Se menciona que la teoría de clases GB (Gödel-Bernays) sí prueba que dos modelos completos de $\tau_{Repl+Tarski}$ son isomorfos, pero esto requiere asumir el axioma de reemplazo para todas las funciones de clase en la metateoría, lo cual evita el problema encontrado en el contexto de primer orden puro.

C. Avances Recientes (Sección 4)

El documento actualiza el estado del arte en el campo:

• Equivalencia Definicional: Meadows y Chen [4] dieron una prueba más simple de que $Z_2 + \Pi^1_\infty\text{-AC}$ y $ZF^- + \forall x |x| \leq \aleph_0$ no son definicionalmente equivalentes, basándose en la existencia de órdenes lineales globales definibles.
• Teorías Sólidas de PA: Gruza, Kołodziejczyk y Łełyk [8] construyeron subteorías sólidas de la Aritmética de Peano (PA) que extienden $I\Sigma_n$ donde PA no es interpretable, respondiendo positivamente a una pregunta abierta.
• Categoricidad Interna: Gruza y Łełyk [9] formalizaron la "categoricidad hasta una altura ordinal" y mostraron que los medios suficientes para la aritmética de orden superior no bastan para ZF.
• Nuevos Resultados de Solidez: Se mencionan trabajos recientes sobre la solidez de fragmentos de ZF (como ZCR con el axioma de rangos) y la teoría de clases de Kelley-Morse.

4. Significancia

Este documento es crucial para la comunidad de lógica matemática por las siguientes razones:

1. Rigor Técnico: Corrige errores sutiles pero fundamentales en la complejidad de los axiomas y la estructura de los modelos, asegurando que las conclusiones sobre la "solidez" y "estrechez" de las teorías de conjuntos sean correctas.
2. Clarificación Conceptual: Al refutar el Lema 79, evita conclusiones erróneas sobre la categoricidad interna en contextos de primer orden, destacando la diferencia crítica entre modelos $\omega$-estándar y no estándar en construcciones de ultrapotencias.
3. Mapa del Campo: La sección de adenda proporciona un panorama actualizado de las investigaciones más recientes, conectando la solidez, la categoricidad interna y la interpretabilidad en teorías de conjuntos y aritmética, guiando futuras investigaciones sobre los límites de la categoricidad en la lógica de primer orden.

En resumen, el artículo no solo repara la base lógica de resultados previos, sino que también redefine los límites de lo que se puede probar sobre la categoricidad en teorías de primer orden, utilizando herramientas sofisticadas de teoría de modelos para distinguir entre propiedades que parecen similares pero son estructuralmente distintas.