Monotonicité de la fonction nombre d'ultrafiltres

Informations de base

• ID de l'article : 2501.14988
• Titre : Monotonicity of the ultrafilter number function
• Auteur : Toshimichi Usuba (Université Waseda)
• Classification : math.LO (Logique mathématique)
• Date de publication : Janvier 2025 (prépublication arXiv v4, mise à jour 20 novembre 2025)
• Lien de l'article : https://arxiv.org/abs/2501.14988

Résumé

Cet article étudie si la fonction nombre d'ultrafiltres $\kappa \mapsto u(\kappa)$ est monotone sur les cardinaux, c'est-à-dire si pour tous les cardinaux $\lambda < \kappa$, on a toujours $u(\lambda) \leq u(\kappa)$. L'auteur démontre que la monotonicité peut échouer, mais cet échec possède une force de grand cardinal. D'autre part, l'article prouve que l'échec de la monotonicité est soumis à de nombreuses restrictions. Par exemple, si $\kappa$ est un cardinal singulier à cofinalité dénombrable ou un cardinal singulier limite forte, alors $u(\kappa) \leq u(\kappa^+)$ est vérifiée.

Contexte et motivation de la recherche

Problème central

Pour un cardinal $\kappa$, le nombre d'ultrafiltres $u(\kappa)$ est défini comme la cardinalité minimale d'une base d'ultrafiltres uniformes sur $\kappa$. Le problème central étudié dans cet article est : La fonction nombre d'ultrafiltres $\kappa \mapsto u(\kappa)$ est-elle monotone ?

Importance du problème

1. Extension naturelle de l'étude des invariants cardinaux : Les recherches traditionnelles se concentrent sur la comparaison du nombre d'ultrafiltres en un cardinal donné avec d'autres invariants cardinaux (comme la relation entre $u(\kappa)$ et $2^\kappa$). Cet article étudie le nombre d'ultrafiltres du point de vue du comportement fonctionnel, ouvrant une nouvelle perspective.
2. Contraste avec l'hypothèse du continu généralisée : Sous l'hypothèse du continu généralisée (GCH), $u(\kappa) = 2^\kappa = \kappa^+$, donc la fonction nombre d'ultrafiltres est strictement croissante. Mais dans un environnement non-GCH, la question de savoir si la monotonicité est préservée est naturelle.
3. Connexion avec la topologie ensembliste : Hart et van Mill ont également posé une question similaire dans le contexte de la topologie ensembliste (Question 63 dans 12).

Limitations des approches existantes

• Pour certains invariants cardinaux (comme le nombre de domination $d(\kappa)$), l'échec de la monotonicité est facile à construire, mais ces méthodes ne s'appliquent pas au nombre d'ultrafiltres.
• Raghavan et Shelah ont prouvé la cohérence de $u(\omega_{\omega+1}) < 2^{\omega_{\omega+1}}$, mais n'ont pas abordé la question de la monotonicité.
• Pour le nombre d'ultrafiltres aux cardinaux successeurs, peu de résultats sont connus.

Motivation de la recherche

Cet article vise à étudier systématiquement la monotonicité de la fonction nombre d'ultrafiltres, révélant la cohérence de son échec, sa force de grand cardinal et ses restrictions en ZFC.

Contributions principales

Les principales contributions de cet article incluent :

1. Résultats de cohérence de l'échec de la monotonicité (Théorème 1.2) :
   • Sous des hypothèses de grand cardinal appropriées, il existe des cardinaux $\kappa, \lambda$ tels que $\lambda < \kappa$ mais $u(\kappa) < u(\lambda)$
   • En particulier, $u(\omega_{\omega+1}) < u(\omega_1)$ est cohérent
   • Il existe un cardinal singulier $\kappa$ tel que $u(\kappa^+) < u(\kappa)$ soit cohérent
2. Restrictions ZFC de l'échec de la monotonicité (Théorème 1.3) :
   • $u(\omega) \leq u(\kappa)$ pour tous les cardinaux $\kappa$
   • Si $\lambda$ est régulier et $u(\kappa) < u(\lambda)$, alors $\lambda^{+\omega} \leq \kappa$
   • Si $\kappa$ est un cardinal singulier à cofinalité dénombrable ou un cardinal singulier limite forte, alors $u(\kappa) \leq u(\kappa^+)$
   • Si $u(\kappa^+) < u(\kappa)$, alors $\{\lambda < \kappa \mid \lambda \text{ régulier}, u(\lambda) > u(\kappa^+)\}$ est borné dans $\kappa$
3. Nouveaux résultats sur les ultrafiltres indécomposables (Théorème 1.4) :
   • Si $\kappa$ est singulier, $U$ est un ultrafiltre $\kappa^+$-décomposable et $\text{cf}(\kappa)$-décomposable, alors $U$ est aussi $\kappa$-décomposable
   • Améliore les résultats de Kunen-Prikry et Lipparini
4. Résultats de force de cohérence (Théorèmes 1.5, 1.6) :
   • « Il existe $\lambda < \kappa$ tel que $u(\kappa) < u(\lambda)$ » est cohérent avec « il existe un cardinal mesurable »
   • Si $u(\kappa^+) < u(\lambda)$ pour certains $\lambda \leq \kappa$, alors il existe un modèle interne avec une classe propre de cardinaux forts

Explication détaillée des méthodes

Cadre technique principal

La méthodologie de cet article repose sur trois piliers techniques :

1. Théorie des ultrafiltres indécomposables

Définition : Un ultrafiltre $U$ est $\lambda$-décomposable s'il existe une fonction $f: S \to \lambda$ telle que pour tous les $X \in [\lambda]^{<\lambda}$, $f^{-1}(X) \notin U$.

Connexions clés (Lemme 5.1 et Corollaire 5.2) :

• Si $\lambda < \kappa$ et $U$ est un ultrafiltre $\lambda$-décomposable, alors $u(\lambda) \leq \chi(U)$
• Si $u(\kappa) < u(\lambda)$, alors chaque ultrafiltre uniforme sur $\kappa$ de caractère $u(\kappa)$ est $\lambda$-indécomposable

Ceci établit un lien direct entre l'échec de la monotonicité et l'existence d'ultrafiltres indécomposables.

2. Généralisation du théorème de Raghavan-Shelah

Théorème 3.1 (Théorème de construction principal) : Soient $\kappa, \mu$ des cardinaux non dénombrables satisfaisant :

• $\text{cf}(\mu) < \kappa < \mu$
• $\nu^\kappa < \mu$ pour tous les $\nu < \mu$
• $\kappa$ possède un ultrafiltre uniforme $\text{cf}(\mu)$-indécomposable $U$

Si le poset $P$ a la $\text{cf}(\mu)$-c.c. et $|P| \leq \mu$, alors $P$ force $u(\kappa) \leq \mu$.

Esquisse de la preuve :

1. Pour chaque nom $P$ $\dot{B} \subseteq \check{\kappa}$, utiliser l'indécomposabilité $\text{cf}(\mu)$ pour trouver $D \in U$ et $\gamma < \mu$ tels que $\dot{B} \cap \check{D}$ soit représenté par des noms $\gamma$-nice
2. Dans l'extension générique, étendre $U$ à un ultrafiltre $V$, prouver que la famille $\mathcal{G}$ générée par les noms nice est une base pour $V$
3. $|\mathcal{G}| \leq \mu$, donc $u(\kappa) \leq \mu$

3. Application de la théorie PCF aux cardinaux singuliers

Théorème 7.3 (Théorème technique clé) : Soit $\kappa$ singulier, $U$ un ultrafiltre. Si $U$ est $\kappa^+$-décomposable et $\text{cf}(\kappa)$-décomposable, alors $U$ est aussi $\kappa$-décomposable.

Cœur de la preuve :

1. Utiliser le théorème de Kanamori, $U$ est $(\kappa, \kappa^+)$-régulier
2. Utiliser la théorie des échelles de Shelah, il existe une échelle de longueur $\kappa^+$ : $\langle f_i \mid i < \kappa^+ \rangle$
3. Construire une fonction $h: S \to \kappa$, pour chaque $s$, choisir $h(s)$ plus grand que tous les $f_i(\xi_s)$ (pour $i \in x_s$)
4. Prouver que $h$ témoigne de la $\kappa$-décomposabilité

Construction de modèles avec échec de la monotonicité

Proposition 4.4 (Construction fondamentale) : Soit $\kappa$ un cardinal, $\mu > \kappa$ un cardinal singulier limite forte, $\omega_1 \leq \text{cf}(\mu) < \kappa$. Soit $\lambda < \kappa$ satisfaisant $\text{cf}(\lambda) = \text{cf}(\mu)$. Si $\kappa$ possède un ultrafiltre uniforme $\text{cf}(\lambda)$-indécomposable, alors $\text{Add}(\omega, \mu)$ force $u(\kappa) < u(\lambda)$.

Exemples d'application :

• Théorème 4.5 : Si $\kappa$ est mesurable, $\mu > \kappa$ est singulier limite forte et $\text{cf}(\mu) = \omega_1$, alors $\text{Add}(\omega, \mu)$ force $u(\kappa) < u(\omega_1)$
• Théorème 4.7 : Sous des hypothèses de grand cardinal appropriées, $u(\omega_{\omega+1}) < u(\omega_1)$ est cohérent

Construction de modèles avec $u(\kappa) < u(\omega_\omega)$

Proposition 6.2 (Échec de la réflexion diagonale) : Soit $\kappa$ un cardinal singulier à cofinalité dénombrable, $\lambda < \kappa_0$ régulier. S'il existe une suite $\langle \kappa_n, S_n \mid n < \omega \rangle$ satisfaisant certaines conditions d'ensembles de points stationnaires non-réfléchis, alors $\kappa$ ne possède pas d'ultrafiltre uniforme $\lambda$-indécomposable.

Proposition 6.8 (Construction par forçage) : Sous GCH, il existe un poset $P$ (construction de limite inverse) ajoutant une suite satisfaisant les conditions de la Proposition 6.2.

Théorème 6.11 : Si $\omega_\omega$ ne possède pas d'ultrafiltre uniforme $\omega_1$-indécomposable, $\kappa$ est mesurable, $\mu > \kappa$ est singulier limite forte et $\text{cf}(\mu) = \omega_1$, alors $\text{Add}(\omega, \mu)$ force $u(\kappa) < u(\omega_\omega)$.

Configuration expérimentale

Cet article est une recherche théorique en mathématiques pures et n'implique pas d'expériences ou d'ensembles de données. Tous les résultats sont établis par des preuves mathématiques rigoureuses.

Résultats principaux

Cohérence de l'échec de la monotonicité

Énoncé complet du Théorème 1.2 : Sous des hypothèses de grand cardinal appropriées, les énoncés suivants sont cohérents :

1. Il existe $\kappa, \lambda$ tels que $\lambda < \kappa$ mais $u(\kappa) < u(\lambda)$
2. $u(\omega_{\omega+1}) < u(\omega_1)$
3. Il existe un cardinal singulier $\kappa$ à cofinalité $\omega_1$ tel que $u(\kappa^+) < u(\kappa)$
4. Il existe un cardinal régulier $\kappa$ tel que $u(\kappa^+) < u(\omega_1)$
5. Il existe un cardinal $\kappa > \omega_\omega$ tel que $u(\kappa) < u(\omega_\omega)$
6. Il existe un cardinal $\kappa$ tel que $u(\kappa^{+\omega_1}) < u(\omega_\omega)$

Restrictions ZFC de la monotonicité

Énoncé complet du Théorème 1.3 :

1. Proposition 5.3 : $u(\omega) \leq u(\kappa)$ pour tous les cardinaux $\kappa$
   • Preuve : Sinon, $\kappa$ possède un ultrafiltre $\omega$-décomposable, c'est-à-dire un ultrafiltre $\sigma$-complet, donc il existe un cardinal mesurable $\lambda \leq \kappa$, mais $u(\omega) \leq 2^\omega < \lambda \leq u(\kappa)$, contradiction.
2. Proposition 5.4 : Si $\lambda$ est régulier, $\lambda < \kappa$, mais $u(\kappa) < u(\lambda)$, alors $\lambda^{+\omega} \leq \kappa$
   • Preuve : Par la Proposition 5.4(1), $u(\lambda) \leq u(\lambda^+) \leq u(\lambda^{++}) \leq \cdots$
3. Corollaire 7.5 : Si $\kappa$ est un cardinal singulier à cofinalité dénombrable, alors $u(\kappa) \leq u(\kappa^+)$
   • Preuve : Utiliser le Théorème 7.3, si $u(\kappa^+) < u(\kappa)$, alors il existe un ultrafiltre non $\sigma$-complet mais $\kappa$-décomposable, contradiction.
4. Théorème 7.9 : Si $\kappa$ est un cardinal singulier limite forte, alors $u(\kappa) \leq u(\kappa^+)$
   • Preuve : Utiliser la Proposition 7.8, si $u(\kappa^+) < u(\kappa)$, alors $2^\kappa = \kappa^+$, mais $u(\kappa) \leq 2^\kappa$, contradiction.
5. Théorème 7.15 : Si $\kappa$ est singulier et $u(\kappa^+) < u(\kappa)$, alors il existe $\lambda < \kappa$ tel que pour tous les $\mu$ réguliers dans $(\lambda, \kappa)$, $u(\mu) \leq u(\kappa^+)$
   • Preuve : Utiliser la Proposition 7.12, l'ultrafiltre sur $\kappa^+$ de caractère $u(\kappa^+)$ est presque $<\kappa$-décomposable.

Force de cohérence

Théorème 8.4 (Équicohérence) : Les théories suivantes sont équicohérentes :

1. ZFC + « il existe un cardinal mesurable »
2. ZFC + « il existe $\lambda < \kappa$ tel que $u(\kappa) < u(\lambda)$ »
3. ZFC + « il existe un cardinal faiblement inaccessible $\kappa$ et $\lambda < \kappa$ tel que $u(\kappa) < u(\lambda)$ »
4. ZFC + « il existe un cardinal singulier $\kappa$ et $\lambda < \kappa$ tel que $u(\kappa) < u(\lambda)$ »
5. ZFC + « il existe $\lambda < \kappa$ tel que $\kappa$ possède un ultrafiltre uniforme $\lambda$-indécomposable »

Théorème 8.16 (Borne inférieure) : S'il existe $\lambda \leq \kappa$ tel que $u(\kappa^+) < u(\lambda)$, alors il existe un modèle interne avec une classe propre de cardinaux forts.

Esquisse de la preuve :

• Utiliser le Corollaire 8.13, $\square(\kappa)$ et $\square(\kappa^+)$ échouent tous deux
• Utiliser le Théorème 8.8 de Schimmerling, il existe un modèle interne avec une classe propre de cardinaux forts

Connexion avec le principe du carré

Corollaire 8.13 :

1. Si $\kappa$ est régulier et il existe $\lambda < \kappa$ tel que $u(\kappa) < u(\lambda)$, alors $\square(\kappa)$ échoue
2. S'il existe $\lambda \leq \kappa$ tel que $u(\kappa^+) < u(\lambda)$, alors $\square_\kappa$ échoue

Proposition 8.14 : Si $\kappa$ est régulier et il existe $\lambda \leq \kappa$ tel que $u(\kappa^+) < u(\lambda)$, alors $\square(\kappa)$ et $\square(\kappa^+)$ échouent tous deux.

Travaux connexes

Recherche classique sur le nombre d'ultrafiltres

1. Brendle et Shelah 5 : Prouvent $u(\kappa) \geq \kappa^+$ et $\text{cf}(u(\kappa)) > \omega$
2. Garti et Shelah 8 : Étudient le nombre d'ultrafiltres aux cardinaux singuliers
3. Raghavan et Shelah 21 : Prouvent que $u(\omega_{\omega+1}) < 2^{\omega_{\omega+1}}$ est cohérent sous des hypothèses de grand cardinal

Ultrafiltres indécomposables

1. Prikry et Silver 20 : L'existence d'ultrafiltres uniformes $\kappa$-indécomposables implique la réflexion de points stationnaires, avec force de grand cardinal
2. Kunen et Prikry 17 : Étudient les ultrafiltres descendamment incomplets
3. Lipparini 19 : Caractérisation des ultrafiltres presque $<\kappa$-décomposables
4. Ben-David et Magidor 2 : Construction d'ultrafiltres indécomposables sur $\omega_{\omega+1}$ sous GCH

Principe du carré et grands cardinaux

1. Schimmerling 22 : L'échec du principe du carré implique un modèle interne avec cardinaux forts
2. Lambie-Hanson et Rinot 18, Inamdar et Rinot 14 : Connexion entre ultrafiltres indécomposables et réflexion de points stationnaires

Théorie PCF

1. Shelah 23 : Fondements de la théorie PCF, existence d'échelles
2. Kanamori 15 : Ultrafiltres faiblement normaux et résultats de régularité

Innovations de cet article

• Première étude systématique de la monotonicité de la fonction nombre d'ultrafiltres
• Établissement d'un lien direct entre l'échec de la monotonicité et les ultrafiltres indécomposables
• Amélioration des résultats de Kunen-Prikry et Lipparini sur la décomposabilité
• Détermination de la force de cohérence précise de l'échec de la monotonicité

Conclusions et discussion

Conclusions principales

1. La monotonicité peut échouer : Sous des hypothèses de grand cardinal appropriées, la fonction nombre d'ultrafiltres peut être non-monotone, et même $u(\omega_{\omega+1}) < u(\omega_1)$ est possible
2. L'échec possède une force de grand cardinal : L'échec de la monotonicité est équivalent à l'existence d'un cardinal mesurable ; si $u(\kappa^+) < u(\lambda)$ pour certains $\lambda \leq \kappa$, alors il existe un modèle interne avec une classe propre de cardinaux forts
3. Les restrictions ZFC sont omniprésentes :
   • $u(\omega)$ est toujours minimal
   • La monotonicité vaut toujours aux cardinaux réguliers
   • La monotonicité vaut aux cardinaux singuliers à cofinalité dénombrable ou limites fortes
   • Quand la monotonicité échoue, il doit y avoir une distance suffisante entre les points d'échec
4. L'indécomposabilité est clé : L'échec de la monotonicité est équivalent à l'existence d'ultrafiltres indécomposables, ce qui est l'intuition centrale de cet article

Limitations

1. Nécessité des hypothèses de grand cardinal : Bien que l'article prouve que l'échec de la monotonicité nécessite des grands cardinaux, la construction de modèles d'échec nécessite aussi des hypothèses de grand cardinal. La force précise de ces hypothèses (particulièrement pour $u(\omega_{\omega+1}) < u(\omega_1)$) reste incertaine
2. Certains cas non résolus :
   • Existe-t-il $\lambda < \kappa$ tel que $2^{<\lambda} = \lambda$ et $u(\kappa) < u(\lambda)$ ?
   • La monotonicité peut-elle échouer en trois ou plus de cardinaux ?
3. Limitations techniques :
   • Pour le cas de cofinalité $\omega$, une construction spéciale est nécessaire (Propositions 6.2-6.8)
   • Impossible de remplacer directement $\omega_1$ par $\omega$ dans certains résultats

Directions futures

L'auteur propose dans la Question 8.17 :

1. Force de cohérence précise : Quelle est la force de cohérence précise de $u(\kappa^+) < u(\lambda)$ (pour certains $\lambda \leq \kappa$) ? On sait actuellement qu'un modèle interne avec une classe propre de cardinaux forts est nécessaire, mais la borne supérieure pourrait être plus faible.
2. Cas de $2^{<\lambda} = \lambda$ : Est-il cohérent qu'il existe $\lambda < \kappa$ tel que $2^{<\lambda} = \lambda$ et $u(\kappa) < u(\lambda)$ ?
3. Échecs multiples : Existe-t-il trois cardinaux $\kappa_0 < \kappa_1 < \kappa_2$ tels que :
   • $u(\kappa_2) < u(\kappa_1) < u(\kappa_0)$ ?
   • $u(\kappa_1) < u(\kappa_2) < u(\kappa_0)$ ?
   • $u(\kappa_2) < u(\kappa_0) < u(\kappa_1)$ ?
4. Autres invariants cardinaux : Existe-t-il d'autres fonctions d'invariants cardinaux $k(\kappa)$ dont l'échec de la monotonicité possède aussi une force de grand cardinal ?

Évaluation approfondie

Points forts

1. Travail fondateur : Première étude systématique du comportement global de la fonction nombre d'ultrafiltres, ouvrant une nouvelle direction de recherche
2. Profondeur technique :
   • Combinaison ingénieuse du forçage, des grands cardinaux, de la théorie PCF et de la théorie des ultrafiltres indécomposables
   • Le Théorème 7.3 améliore le résultat classique de Kunen-Prikry et possède une valeur indépendante
   • La construction de $u(\kappa) < u(\omega_\omega)$ (Section 6) est techniquement difficile
3. Résultats complets :
   • Preuves à la fois de résultats de cohérence et de restrictions ZFC
   • Bornes à la fois supérieures (Théorème 8.16) et inférieures (Théorème 8.4)
   • Couverture de divers cas : réguliers, singuliers, cofinalité dénombrable, cofinalité non dénombrable
4. Structure claire :
   • Organisation logique du simple au complexe
   • Le Théorème 3.1 de la Section 3 généralisant Raghavan-Shelah fournit un cadre unifié pour les constructions ultérieures
   • La Section 7 développe systématiquement la théorie des ultrafiltres indécomposables avec valeur indépendante
5. Connexions larges : Relie le nombre d'ultrafiltres au principe du carré, à la réflexion de points stationnaires et à la théorie des modèles internes

Insuffisances

1. Complétude de certaines preuves :
   • La preuve du Lemme 4.2, bien que techniquement forte, est reconnue par l'auteur dans la Remarque 4.3 comme potentiellement inutile si on pouvait prouver $\text{cf}(u(\kappa)) \neq \text{cf}(\kappa)$ (problème ouvert de Garti-Shelah)
   • Certains résultats dépendent d'« hypothèses de grand cardinal appropriées » sans préciser exactement lesquelles
2. Complexité des constructions :
   • La construction de la Section 6 pour $u(\kappa) < u(\omega_\omega)$ implique un forçage de limite inverse complexe et des opérations sur des ensembles de points stationnaires, avec lisibilité réduite
   • La condition (3) de la Proposition 6.2 est très technique, difficile à comprendre intuitivement
3. Nombreux problèmes ouverts : Bien que des progrès importants aient été réalisés, la Question 8.17 montre que de nombreuses questions fondamentales restent non résolues
4. Applications limitées : En tant que recherche théorique pure, aucune application dans d'autres domaines mathématiques n'est encore visible

Impact

1. Contributions théoriques :
   • Fournit une nouvelle perspective pour l'étude des invariants cardinaux (comportement fonctionnel plutôt que valeurs ponctuelles)
   • Les résultats techniques comme le Théorème 7.3 seront cités dans les recherches ultérieures
   • Établit un lien profond entre l'échec de la monotonicité et les grands cardinaux
2. Valeur méthodologique :
   • Démontre comment combiner le forçage, les grands cardinaux et la théorie PCF
   • La technique de construction diagonale de la Proposition 6.2 peut s'appliquer à d'autres problèmes
3. Directions de recherche ultérieure :
   • La Question 8.17 fournit des directions de recherche explicites
   • Peut inspirer l'étude de la monotonicité d'autres fonctions d'invariants cardinaux
   • La connexion avec le principe du carré et la théorie des modèles internes peut produire de nouveaux résultats
4. Reproductibilité : En tant que preuve mathématique pure, les résultats sont complètement vérifiables, mais certaines constructions (notamment la Section 6) nécessitent une profonde expertise en théorie des ensembles

Domaines d'application

1. Recherche en théorie des ensembles :
   • Théorie des invariants cardinaux
   • Théorie des grands cardinaux
   • Théorie du forçage
   • Théorie PCF
2. Domaines connexes :
   • Topologie ensembliste (applications des ultrafiltres à la compactification de Stone-Čech)
   • Théorie des modèles (construction d'ultraproduits)
   • Combinatoire infinie
3. Valeur pédagogique :
   • Démontre l'application synthétique de plusieurs techniques de théorie des ensembles moderne
   • Peut servir d'étude de cas pour des cours avancés de théorie des ensembles

Références bibliographiques (références clés)

2 S. Ben-David, M. Magidor. The weak □∗ is really weaker than the full □. J. Symb. Log. 51(4), 1029–1033 (1986).

5 J. Brendle, S. Shelah, Ultrafilters on ω–their ideals and their cardinal characteristics. Trans. Amer. Math. Soc. 351 (1999), no. 7, 2643–2674.

6 H.-D. Donder. Regularity of ultrafilters and the core model. Israel J. Math. 63(1988), no.3, 289–322.

15 A. Kanamori. Weakly normal filters and irregular ultrafilters. Trans. Amer. Math. Soc. 220(1976), 393–399.

17 K. Kunen, K. Prikry, On descendingly incomplete ultrafilters. J. Symbolic Logic 36 (1971), 650–652.

19 P. Lipparini, Decomposable ultrafilters and possible cofinalities. Notre Dame J. Form. Log. 49 (2008), no. 3, 307–312.

20 K. L. Prikry. On descendingly complete ultrafilters. In Cambridge Summer School in Mathematical Logic (1971), Lecture notes in Mathematics, 337, 459–488.

21 D. Raghavan, S. Shelah. A small ultrafilter number at smaller cardinals. Arch. Math. Logic 59(2020), no.3-4, 325–334.

22 E. Schimmerling. Coherent sequences and threads. Adv. Math. 216(2007), no.1, 89–117.

23 S. Shelah. Cardinal arithmetic. Oxford Logic Guides, 29. Oxford University Press, 1994.

Évaluation générale : Ceci est un article de recherche en théorie des ensembles de haute qualité qui étudie de manière pionnière la question de la monotonicité de la fonction nombre d'ultrafiltres. L'article possède une profondeur technique élevée, des résultats complets, avec à la fois des constructions de cohérence et des restrictions ZFC, ainsi que des bornes supérieures et inférieures. Des résultats techniques comme le Théorème 7.3 possèdent une valeur indépendante. Bien que certaines constructions soient complexes et que plusieurs problèmes ouverts subsistent, c'est globalement une contribution importante à la théorie des invariants cardinaux qui aura un impact durable sur les recherches ultérieures.