More on setwise climbability properties

Dit artikel introduceert twee variaties van setwise climbability-eigenschappen, waarbij de eerste consistent is met de Proper Forcing Axioma (PFA) en de tweede, die kan worden gekarakteriseerd als Martin-achtige axioma's, onverenigbaar is met PFA.

De kern

Titel: De Klimmende Trappen en de Onbreekbare Regels: Een Verhaal over Wiskundige Spellen

Stel je voor dat de wiskunde, en dan specifiek de verzamelingenleer, een gigantisch bouwwerk is. In dit bouwwerk proberen wiskundigen te begrijpen hoe oneindig grote trappen (verzamelingen van getallen) met elkaar verbonden zijn. Soms zijn deze trappen zo groot dat ze de regels van de logica op hun kop zetten.

De auteurs van dit artikel, Bernhard König en Yasuo Yoshinobu, hebben twee nieuwe manieren bedacht om te kijken naar hoe je deze trappen kunt "beklimmen". Ze noemen dit setwise climbability (verzamelingsklimbaarheid). Laten we dit uitleggen alsof we een spelletje spelen.

1. Het Spel: De Klimpartij

Stel je een spel voor tussen twee spelers, Speler I (de uitdager) en Speler II (de klimmer).

• Speler I plaatst blokken (voorwaarden) op een trap.
• Speler II moet proberen die blokken te overwinnen door steeds sterkere blokken te kiezen, zodat ze uiteindelijk bovenop de hele trap kunnen staan.

In de wiskunde heet dit een Banach-Mazur spel. Als Speler II altijd een strategie heeft om te winnen, noemen we de trap "gesloten" of "klimbaar".

De auteurs kijken naar twee nieuwe variaties van dit spel:

Variatie A: De "Volledige" Klim (Full Variation)

Stel je voor dat je een trap beklimt en je moet zorgen dat je elk blokje dat ooit op die trap is geplaatst, ook echt hebt aangeraakt voordat je boven komt.

• Wat ze ontdekten: Deze nieuwe regels blijken eigenlijk gewoon oude, bekende regels te zijn in een nieuw jasje. Het is alsof je denkt dat je een nieuwe sport hebt uitgevonden, maar het blijkt gewoon voetbal te zijn met een andere bal.
• Het goede nieuws: Deze regels spelen goed samen met een heel sterke wiskundige wet die PFA (Proper Forcing Axiom) heet. Je kunt ze dus gebruiken zonder dat het hele wiskundige universum instort.

Variatie B: De "Eind-uitbreiding" Klim (End-extension Variation)

Dit is de spannende nieuwe ontdekking. Hierbij moet Speler II niet alleen blokken aanraken, maar moet elke nieuwe stap perfect aansluiten op de vorige, alsof je een LEGO-toren bouwt waarbij elk nieuw stukje precies in de gleuf van het vorige past. Er mag geen gat zijn.

• Het probleem: Deze regels zijn veel strenger. Ze zijn zo streng dat ze botsen met de grote wet PFA. Als je deze regels toepast, breekt PFA.
• De verrassing: Hoewel de regels van Variatie A en Variatie B op papier heel op elkaar lijken (het verschil zit hem in één kleine regel in het spel), hebben ze een enorm groot verschil in kracht. Variatie B is zo sterk dat het andere belangrijke wiskundige principes (zoals de "Approachability Property") dwingt.

2. De Twee Soorten "Onbreekbare" Trappen

De auteurs introduceerden ook twee nieuwe soorten "onbreekbaarheid" voor deze trappen, om te zien hoe sterk ze zijn:

1. Absoluut Onbreekbaar (Absolutely Proper): Deze trap is zo sterk dat hij niet breekt, zelfs niet als je er een andere, heel sterke trap tegenaan bouwt.
2. Onverwoestbaar Onbreekbaar (Indestructibly Proper): Deze trap is zo sterk dat hij niet breekt, zelfs niet als je er een andere trap onder bouwt.

De grote ontdekking:
Ze vonden dat de nieuwe "Eind-uitbreiding" regels (Variatie B) niet verenigbaar zijn met de "Onverwoestbaar Onbreekbare" wet.

• Analogie: Het is alsof je een huis bouwt dat bestand is tegen aardbevingen (Onverwoestbaar), maar als je een heel zware, nieuwe vloer legt (de nieuwe regels), stort het dak erin.
• Ze bewezen zelfs dat als je de "Onverwoestbaar Onbreekbare" wet accepteert, de nieuwe "Eind-uitbreiding" regels onmogelijk kunnen bestaan.

3. Waarom is dit belangrijk?

In de wiskunde proberen we te begrijpen wat er mogelijk is en wat niet.

• De "Volledige" regels zijn veilig: ze passen in het bestaande universum van PFA.
• De "Eind-uitbreiding" regels zijn gevaarlijk maar krachtig: ze dwingen nieuwe structuren af, maar ze vernietigen tegelijkertijd de oude, veilige structuur van PFA.

De auteurs hebben laten zien dat er een heel dunne lijn is tussen twee regels die op het eerste gezicht hetzelfde lijken, maar die leiden tot totaal verschillende werelden. Het is alsof je een deur op een kier zet: als je hem een beetje opendoet (Variatie A), komt er een briesje binnen. Als je hem een heel klein beetje anders opendoet (Variatie B), stort het hele huis in.

Samenvatting in één zin

De auteurs hebben twee nieuwe manieren bedacht om wiskundige trappen te beklimmen; de ene is een veilige variant van oude regels, terwijl de andere zo krachtig is dat hij de bestaande wetten van het universum breekt, wat ons leert hoe gevoelig de balans tussen wiskundige waarheden is.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "More on Setwise Climbability Properties" van Bernhard König en Yasuo Yoshinobu, geschreven in het Nederlands.

Titel: Meer over Setwise Climbing Eigenschappen

Auteurs: Bernhard König en Yasuo Yoshinobu
Taal: Nederlands (Samenvatting van het Engelstalige artikel)

---

1. Probleemstelling en Achtergrond

Het artikel onderzoekt de relatie tussen combinatorische principes (fragmenten van Jensen's square principles, zoals $\square_{\omega_1}$) en forcing-axioma's, specifiek de Proper Forcing Axiom (PFA).

Eerdere studies hebben aangetoond dat fragmenten van Jensen's square principes geïnterpreteerd kunnen worden als Martin-type axioma's ($MA_\lambda$) voor bepaalde klassen van posets (partieel geordende verzamelingen) die specifieke "game closure" eigenschappen bezit. Deze eigenschappen worden gedefinieerd via variaties van de veralgemeende Banach-Mazur spellen.

De auteurs bouwen voort op eerder werk (vooral van Yoshinobu) waarin de eigenschappen SCL en SCL$^-$ werden geïntroduceerd. Deze zijn equivalent aan $MA_{\omega_2}$ voor posets die gesloten zijn onder de zogenaamde $*$-variation van het Banach-Mazur spel. Een cruciale observatie uit eerdere literatuur is dat forcing met posets die $*$-gesloten zijn, de PFA behoudt.

Het centrale probleem in dit artikel is het introduceren en analyseren van twee nieuwe variaties van deze climbability-eigenschappen:

1. De "full" variaties (SCL$^-_f$ en SCL$_f$).
2. De "end-extension" variaties (SCL$^-_e$ en SCLe).

De vraag is hoe deze nieuwe principes zich verhouden tot bestaande principes, of ze consistent zijn met PFA, en welke nieuwe varianten van de Banach-Mazur spellen nodig zijn om ze te karakteriseren.

2. Methodologie

De auteurs gebruiken een combinatie van methoden uit de verzamelingenleer en forcing-theorie:

• Definitie van Combinatorische Principes: Ze definiëren nieuwe systemen van verzamelingen (SCL$^-_f$, SCL$_f$, SCL$^-_e$, SCLe) die variëren op de eisen van "volledigheid" (fullness) en "einduitbreiding" (end-extension) van de ketens in de systemen.
• Speltheoretische Karakterisering: Ze introduceren een nieuwe variant van het Banach-Mazur spel, genaamd de $**$-variation (of $**$-variation). In dit spel moet Speler I bij elke zet een verzameling van eerdere zetten kiezen die een nieuwe, sterkere voorwaarde bevat. Dit staat in contrast met de $*$-variation.
• Forcing en Axioma's: Ze analyseren de consistentie van deze principes met PFA en fragmenten daarvan (zoals $MA_{\omega_1}$ voor absoluut proper of onvernietigbaar proper posets).
• Reflectieprincipes: Voor de onmogelijkheidsresultaten maken ze gebruik van het Mapping Reflection Principle (MRP), dat volgt uit PFA en sterkere axioma's.

3. Belangrijkste Bijdragen en Resultaten

A. De "Full" Variaties (SCL$^-_f$ en SCL$_f$)

• Definitie: Deze variaties voegen een "fullness" conditie toe: de vereniging van de keten moet gelijk zijn aan het limietordinaal ($\bigcup C_\alpha = \beta$).
• Resultaat: De auteurs bewijzen dat deze variaties equivalent zijn aan bestaande combinaties van principes:
  • SCL$^-_f$ is equivalent aan SCL$^-$ + CL$_{\omega_1}$.
  • SCL$_f$ is equivalent aan SCL.
• Consistentie: Omdat SCL consistent is met PFA (zoals eerder bewezen), zijn ook deze "full" variaties consistent met PFA.

B. De "End-Extension" Variaties (SCL$^-_e$ en SCLe)

• Definitie: Hier wordt vereist dat de keten niet alleen stijgend is, maar ook end-extending (elk nieuw element is een echte uitbreiding van het vorige, niet alleen een subset).
• Speltheoretische Karakterisering: Deze principes corresponderen met de $**$-variation van het Banach-Mazur spel. Posets die gesloten zijn onder dit spel worden $**$-operationally closed of $**$-tactically closed genoemd.
• Relatie met PFA:
  • In tegenstelling tot de $*$-gesloten posets, behouden $**$-gesloten posets de PFA niet noodzakelijk.
  • De auteurs bewijzen dat SCL$^-_e$ AP$_{\omega_1}$ impliceert. Omdat PFA AP$_{\omega_1}$ ontkent (volgens Foreman en Todorcevic), volgt hieruit dat SCL$^-_e$ onverenigbaar is met PFA.
• Equivalentie: Een verrassend resultaat is dat SCL$^-_e$ en SCLe equivalent zijn aan elkaar (Theorema 3.11), ondanks dat ze aanvankelijk lijken te verschillen.

C. Versterkingen van Properness en Fragmenten van PFA

Om de precieze consistentie van deze principes te begrijpen, introduceren de auteurs twee versterkingen van properness:

1. Absoluut Proper: Proper in elke uitbreiding door een $\sigma$-gesloten forcing.
2. Onvernietigbaar Proper (Indestructibly Proper): Proper in de product forcing met elke $\sigma$-gesloten poset.

Resultaten:

• Theorema 4.3: Als PFA geldt, dan behoudt forcing met een $**$-tactically closed poset het fragment $MA_{\omega_1}(\text{absoluut proper})$. Dit betekent dat SCL$^-_e$ consistent is met dit sterke fragment van PFA, hoewel het niet consistent is met de volledige PFA.
• Theorema 4.12: $MA_{\omega_1}(\text{onvernietigbaar proper})$ ontkent SCL$^-_e$. Dit wordt bewezen met behulp van het Mapping Reflection Principle (MRP).
• Theorema 4.16: Forcing met $(\omega_1+1)$-sterk strategisch gesloten posets behoudt daarentegen wel $MA_{\omega_1}(\text{onvernietigbaar proper})$.

Dit creëert een scherpe scheiding:

• $(\omega_1+1)$-sterk strategisch gesloten $\implies$ behoudt onvernietigbaar proper $\implies$ onverenigbaar met SCL$^-_e$.
• $**$-tactisch gesloten $\implies$ behoudt absoluut proper $\implies$ consistent met SCL$^-_e$.

4. Significatie en Conclusie

De bijdrage van dit artikel is fundamenteel voor het begrip van de hiërarchie van forcing-axioma's en combinatorische principes:

1. Scheiding van Axioma's: Het artikel toont aan dat er een subtiel, maar cruciaal verschil bestaat tussen de $*$- en $**$-variaties van Banach-Mazur spellen. Hoewel de spelregels lijken te verschillen, leiden ze tot fundamenteel verschillende forcing-eigenschappen wat betreft de behouding van PFA.
2. Nieuwe Fragmenten: Het introduceert en karakteriseert nieuwe fragmenten van PFA (zoals $MA_{\omega_1}(\text{absoluut proper})$) en plaatst ze in de consistentiehiërarchie ten opzichte van square-principes.
3. Onverenigbaarheid: Het bewijst dat bepaalde natuurlijke uitbreidingen van climbability-eigenschappen (SCL$^-_e$) onverenigbaar zijn met de volledige PFA, maar wel consistent zijn met sterke fragmenten daarvan.
4. Open Vragen: Het artikel eindigt met open vragen, zoals of $**$-operationally closed posets ook $**$-tactically closed zijn, en of er een directe implicatie is tussen $(\omega_1+1)$-sterk strategische geslotenheid en $**$-tactische geslotenheid.

Kortom, dit werk verfijnt ons inzicht in hoe combinatorische principes van Jensen's square zich verhouden tot de kracht van forcing-axioma's, en laat zien hoe kleine wijzigingen in spelregels (en de daaruit voortvloeiende poset-eigenschappen) leiden tot grote verschillen in de consistentiestructuur van de verzamelingenleer.