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

Dit artikel is een correctie en aanvulling op het eerdere werk "Categoricity-like properties in the first order realm" uit 2024.

De kern

Dit document is een soort "herstelbrief" en "update" voor een eerder wetenschappelijk artikel dat de schrijvers (Ali Enayat en Mateusz Łełyk) zelf hebben geschreven. Het gaat over de wiskundige logica, specifiek over hoe we wiskundige systemen (zoals de theorieën die de basis vormen van onze hele wiskunde) kunnen begrijpen en of ze "uniek" of "vaststaand" zijn.

Stel je voor dat wiskunde een gigantisch bouwwerk is, en deze auteurs zijn de architecten die controleren of de blauwdrukken kloppen. Hier is wat ze in dit document vertellen, vertaald naar alledaagse taal:

1. De "Reparatie" (De Corrigendum)

In hun vorige werk hadden ze een bewijs gemaakt voor een belangrijke stelling (Stelling 39). Het bleek dat de conclusie klopte, maar dat de weg die ze hadden afgelegd om daar te komen, twee fouten bevatte.

• Fout 1 (De te sterke bril): Ze hadden een hulpmiddel gebruikt dat te krachtig was voor de klus. Het was alsof ze een zware graafmachine gebruikten om een bloempot te verplaatsen. Ze moesten een nieuw, preciezer gereedschap (een nieuwe stelling) uitvinden om het werk netjes te doen.
• Fout 2 (De verkeerde maat): Ze hadden de "complexiteit" van hun regels verkeerd ingeschat. Het was alsof ze dachten dat een deur 2 meter hoog was, terwijl hij eigenlijk 3 meter was. Dit klinkt klein, maar in de logische wereld maakt dit een enorm verschil voor of een bewijs wel of niet werkt.

De oplossing: Ze hebben het bewijs volledig herschreven. Ze gebruiken nu een slimme truc waarbij ze kijken naar een heel specifiek soort wiskundige wereld (de "constructieve wereld" van Gödel) en laten zien dat je vanuit die wereld precies terug kunt reizen naar de standaard wiskunde. Het is alsof ze een nieuwe, waterdichte brug hebben gebouwd tussen twee eilanden, zodat je zeker weet dat je niet vastloopt in het water.

2. De "Terugtrekking" (De Addendum)

Hier komen ze met een lastig nieuws: een ander deel van hun vorige werk (Stelling 77) is waarschijnlijk onjuist.

• Het probleem: Ze hadden een stelling die zei: "Als je twee wiskundige systemen hebt die op elkaar lijken, dan zijn ze ofwel exact hetzelfde, ofwel is het ene een stukje van het andere."
• De tegenvoorbeeld: Ze hebben nu een voorbeeld gevonden (een "ultraproduct", wat je kunt zien als een heel specifiek soort spiegelbeeld) waar deze regel niet op gaat.
  • De analogie: Stel je voor dat je denkt dat elke kopie van een boek ofwel exact hetzelfde is als het origineel, ofwel een samenvatting ervan. Maar ze hebben nu een "kloon" gevonden die op een vreemde manier is samengesteld: hij ziet eruit als een boek, maar heeft een extra hoofdstuk dat in het origineel niet bestaat, en mist een pagina die wel in het origineel staat. Hij is dus niet hetzelfde, maar ook niet simpelweg een stukje ervan.
• De conclusie: Ze trekken hun claim in. Ze weten nog niet of de stelling helemaal fout is of dat er een nieuwe manier is om hem te bewijzen, maar voor nu is het bewijs niet geldig.

3. De "Update" (Recente Vooruitgang)

Het laatste deel van het document is een overzicht van wat er sinds hun oorspronkelijke artikel is gebeurd in de wereld van de logica. Het is als een "nieuwsbrief" voor andere onderzoekers:

• Nieuwe bewijzen: Anderen hebben hun resultaten op een simpelere manier bewezen, zonder zware apparatuur (zoals het bestaan van onberekenbare getallen) te hoeven gebruiken.
• Nieuwe inzichten: Er is ontdekt dat sommige wiskundige systemen een "globale lijn" hebben (een vaste volgorde) en andere niet. Dit helpt om te begrijpen waarom ze niet precies hetzelfde zijn.
• Meer nuances: Er wordt nu meer gekeken naar hoe de "regels van het spel" (de metatheorie) invloed hebben op of een systeem uniek is.
• Nieuwe gebieden: Er wordt gekeken naar de "multiversum-theorie" (een idee dat er meerdere universa van wiskunde kunnen zijn) en of die systemen ook vaststaand zijn.

Samenvatting in één zin

De auteurs zeggen: "We hebben een paar foutjes in onze blauwdrukken gerepareerd, een verkeerde aanname over een ander deel van het gebouw ingetrokken omdat er een krasje in zit, en we laten zien dat er in de tussentijd veel nieuwe, interessante bouwplannen zijn verschenen."

Het is een eerlijk en transparant proces van wetenschap: fouten toegeven, corrigeren en blijven leren.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Corrigendum & Addendum to: Categoricity-like Properties in the First Order Realm" van Ali Enayat en Mateusz Łełyk, geschreven in het Nederlands.

1. Probleemstelling

Dit artikel dient als een correctie en aanvulling op het eerdere werk [6] van dezelfde auteurs, getiteld Categoricity-like Properties in the First Order Realm. De hoofddoelen zijn:

1. Correctie van Theorema 39: De oorspronkelijke bewijsvoering voor Theorema 39 (betreffende de eigenschappen van "soliditeit" en "tightness" van theorieën zoals $ZF_{\Pi_n}$) bevatte twee fundamentele gebreken:
   • Het vereiste een sterkere versie van Lemma 40 uit het originele artikel.
   • Er was een fout in de kwantificatiercomplexiteit van de axioma's van de gebruikte Kripke-Platek (KP) verzamelingstheorie; de complexiteit is $\Pi_3$ en niet $\Pi_2$.
2. Terugtrekking van Theorema 77: De auteurs trekken hun claim terug dat het schema $\tau_{Repl+Tarski}$ zowel "g-solid" als "sterk intern categorisch" is. Een gebruikt lemma (Lemma 79) bleek onwaar te zijn, en er is op dit moment noch een alternatief bewijs, noch een tegenvoorbeeld gevonden dat de onwaarheid van het theorema zelf aantoont.
3. Aanvulling: Het artikel brengt recente ontwikkelingen op het gebied van categoriciteit en verwante eigenschappen in de eerste-orde logica onder de aandacht.

2. Methodologie

De auteurs gebruiken geavanceerde technieken uit de modeltheorie van verzamelingstheorie en rekenkunde, met name:

• Interpretatie en Bi-interpretatie: Het analyseren van de relatie tussen modellen van verzamelingstheorie (zoals $ZF + V=L$) en de standaardmodellen van rekenkunde ($\mathbb{N}$).
• Constructieve Universa: Het gebruik van de constructieve universum $L$ en de daarop gedefinieerde welordening $<_L$.
• Definieerbaarheid: Het bestuderen van submodellen $K_n(M)$ die bestaan uit elementen die definieerbaar zijn via $\Sigma_n$-formules.
• Ultraproducten: Het construeren van tegenvoorbeelden voor Claim 6 door middel van interne ultrapowers van modellen van $ZFC$ modulo een niet-principale ultrafilter.
• Complexiteit van Axioma's: Het zorgvuldig analyseren van de kwantificatiercomplexiteit ($\Pi_2$ vs $\Pi_3$) van axioma's in fragmenten van verzamelingstheorie (KP).

3. Belangrijkste Bijdragen en Resultaten

A. Correctie van Theorema 39 (Deel 2)

De auteurs presenteren een volledig herziene bewijsvoering voor Theorema 39, die stelt dat voor elke $n \in \omega$, als $ZF$ consistent is:

• $ZF_{\Pi_n}$ is niet solid (niet "vast" in de zin dat het niet uniek bepaald is door zijn $\Pi_n$-consequenties).
• $ZF_{\Pi_n}$ is niet tight (niet "strak" in de zin van interne categoriciteit).

Kern van het nieuwe bewijs:

• Theorema 3: Een cruciaal nieuw resultaat dat stelt dat voor een model $M \models ZF^- + V=L$ en $n \geq 3$, het submodel $K_n(M)$ (elementen definieerbaar door $\Sigma_n$-formules) voldoet aan:
  • $K_n(M) \prec_{\Pi_n} M$.
  • $K_n(M) \models ZF_{\Pi_{n+1}} + \neg Coll(\Sigma_{n+1})$ (de verzamelingsschema voor $\Sigma_{n+1}$ faalt).
  • Elke element in $K_n(M)$ is definieerbaar binnen $K_n(M)$ zelf.
• Theorema 2: Het bewijst dat voor $n \geq 3$, het standaardmodel van rekenkunde $\mathbb{N}$ en het model $K_n(M_0)$ bi-interpreteerbaar zijn. Dit betekent dat ze structureel equivalent zijn binnen de logica.
• Correctie van KP: De auteurs verduidelijken dat de axioma's van hun versie van KP (Kripke-Platek) $\Pi_3$-complexiteit hebben, wat essentieel is voor het bewijs dat $K_n(M)$ voldoet aan de vereiste theorieën.

B. Terugtrekking van Theorema 77 (Deel 3)

• Claim 6 (Onjuist): Het originele lemma stelde dat als $K$ een submodel is van $M$ en bepaalde definieerbaarheidsvoorwaarden voldoet, dan moet er een specifieke isomorfie of inbedding zijn (bijv. $K \cong V_\kappa$ of $K \cong M$).
• Tegenvoorbeeld: De auteurs construeren een tegenvoorbeeld waarbij:
  • $K$ een $\omega$-standaard model van $ZFC$ is.
  • $M$ de interne ultrapower is van $K$ modulo een niet-principale ultrafilter $U \in K$.
  • $K$ is een conservatieve elementaire uitbreiding van $M$, maar $M$ is $\omega$-niet-standaard.
  • Omdat $K$ en $M$ verschillen in hun standaardnatuurlijke getallen, kan er geen van de drie mogelijke isomorfieën uit Claim 6 bestaan. Dit weerlegt het lemma.
• Conclusie: De bewering dat $\tau_{Repl+Tarski}$ categorisch is, wordt ingetrokken. Wel wordt opgemerkt dat in de meta-theorie van Gödel-Bernays (GB) theorie, categoriciteit wel bewezen kan worden door het vervangen van het axioma voor klassefuncties.

C. Recent Vooruitgang (Deel 4)

Het artikel vat recente literatuur samen die relevant is voor de thema's van het originele artikel:

• Meadows & Chen [4]: Leverden een conceptueel eenvoudiger bewijs dat $Z_2 + \Pi^1_\infty$-AC en $ZF^- + \forall x |x| \leq \aleph_0$ niet definitorisch equivalent zijn, zonder gebruik te maken van de consistentie van onbereikbare cardinaalgetallen.
• Gruza, Kołodziejczyk & Łełyk [8]: Construeerden subtheorieën van Peano Axioma's (PA) die "solid" zijn maar waarin PA niet interpreteerbaar is, wat een positief antwoord geeft op een vraag uit het originele artikel.
• Gruza & Łełyk [9]: Onderzochten "categoriciteit tot een ordinaal hoogte" en de afhankelijkheid van de meta-theorie.
• Andere bijdragen: Werk van Barton, Meadows, en Glazer over de "tightness" van verzamelingstheorie en de soliditeit van fragmenten zoals $ZCR$ (Zermelo met keuze en rangaxioma).

4. Significantie

Dit corrigendum en addendum zijn van groot belang voor de fundamentele logica en de modeltheorie van verzamelingstheorie:

1. Robuustheid van Resultaten: Het corrigeert een technisch defect in een belangrijk bewijs (Theorema 39) en versterkt het resultaat door een nauwkeuriger analyse van de complexiteit van axioma's en de constructie van bi-interpretabele modellen.
2. Integriteit van Claims: Door Theorema 77 en het onderliggende Lemma 79 in te trekken, voorkomen de auteurs dat de wetenschappelijke gemeenschap verder bouwt op een onjuiste stelling. Het benadrukt de subtiliteit van categoriciteit in de eerste-orde realm en de noodzaak van sterke meta-theoretische aannames (zoals GB in plaats van ZF).
3. Nieuwe Richtingen: Door recente werken te synthetiseren, biedt het artikel een overzicht van de huidige stand van zaken rondom categoriciteit, soliditeit en tightness, en identificeert het open problemen (zoals de soliditeit van $ZR$).

Kortom, het artikel herdefinieert de grenzen van wat we kunnen zeggen over de categoriciteit van verzamelingstheoretische theorieën in de eerste-orde logica en corrigeert de methodologische basis waarop deze conclusies rusten.