MacBook-Pro-de-Oscar.local 2026-3-22:18:9:57

fonction d'ackermann de cori et lascar.md

@@ -126,8 +126,8 @@ aliases:
 > On appellera $C_{n}$ l'ensemble des fonctions qui sont dominées par au moins une itérée de $\xi _{n}$ :
 > $\boxed{C_{n} = \{ g \mid \exists k \in \mathbb{N} ,\quad \xi _{n}^{k} \text{ domine } g \}}$
 
-> [!proposition]+ $C_{0}$ contient les fonctions élémentaires
-> Il est clair que les fonctions primitives appartiennent à $C_0$ :
+> [!proposition]+ Quelques fonctions dans $C_{0}$
+> Les fonctions suivantes appartiennent à $C_0$ :
 >  - Les fonctions de projection $P_{p}^{i}$
 >      - dem $P_{p}^{i}(\overline{x}) \leq \xi _{0}^{0}(\sup\limits(\overline{x}, 0))$ puisque $\xi _{0}^{0} = \lambda x.x$
 >  - Les fonctions constantes
@@ -138,6 +138,8 @@ aliases:
 >      - dem $(\lambda xy. x+y)(x, y) \leq \xi _{0}^{1}(\sup\limits(x, y, 1))$ puisque $x+y \leq 2^{\sup\limits(x, y, 1)}$
 >  - Les fonction linéaires $\lambda x. kx$ où $k$ est un entier quelconque
 >      - dem $(\lambda x. kx)(x) \leq f(\sup\limits(x, k))$ 
+>  - La fonction $\xi _{n}$
+>      - dem 
 
 # Exemples