Résultats de préservation
Teacher: Tomas Ibarlucia
\[f \leadsto f': 𝒩 → 𝒩\]Prop: Si $f$ est une application élémentaire partielle de $ℳ$ dans $ℳ$, alors elle s’étend en un automorphisme d’une extension élémentaire $𝒩 \succcurlyeq ℳ$
On a prouvé qu’une telle $f$ s’étend en un plongement élementaire $f_1: 𝒩 ⟶ 𝒩, \; 𝒩\succcurlyeq ℳ$.
Maintenant, on considère $f_1^{-1}: {\rm Im} \, f ⊆ 𝒩 ⟶ 𝒩$, qui est une application élémentaire partielle de $𝒩 ⟶ 𝒩$.
Alors elle s’étend à un plongement $g_2: 𝒩_2 ⟶ 𝒩_2, \; 𝒩_2 \succcurlyeq 𝒩$
On prend
\[f_2 = g_2^{-1}: {\rm Im } \, g_2 ⊆ 𝒩_2 ⟶ 𝒩_2\]NB: $𝒩_2 = {\rm Im } \, f_2$
On étend $f_2$ à un plongement $f_3: 𝒩_3 ⟶ 𝒩_3$, et ainsi de suite.
Donc on obtient une suite $f_n$ d’appli élémentaires partielles de $𝒩_n ⟶ 𝒩_n$ tq
\[𝒩_{2n} = {\rm Im } \, f_{2n}\\ 𝒩_{2n+1} = {\rm dom } \, f_{2n+1}\]on prend
\[𝒩' ≝ \bigcup\limits_{n} f_n \qquad f' = \bigcup\limits_{n} f_n\]et on obtient un automorphisme $f: 𝒩 ⟶ 𝒩’$.
Résultats de préservation
\[ℒ_{Grp} ≝ \lbrace \cdot, (-)^{-1}, \rbrace\\ ℒ_{sGrp} ≝ \lbrace \cdot \rbrace\\ ℒ_{an} ≝ \lbrace +, -, \cdot, 0, 1 \rbrace\]Déf: Une formule $φ$ est universelle (resp. existentielle) si elle est de la forme:
\[φ \; \underbrace{≡}_{\text{éq. dans tous les modèles}} \; ∀x_1, …, ∀x_n. ψ\]où $φ$ n’a pas de quantificateurs.
(resp. $φ \; ≡ \; ∃x_1, …, ∃x_n. ψ$ où $ψ$ n’a pas de quantificateurs)
NB: Les formules universelles et existentielles sont closes par conjonctions et disjonctions:
\[∀ \overline x, φ ∧ ∀ \overline y, ψ ≡ ∀ \overline x ∀ \overline y, (φ ∧ ψ)\]et
\[∃ \overline x, φ ∨ ∃ \overline y, ψ ≡ ∃ \overline x ∃ \overline y, (φ ∨ ψ)\]à condition que les variables dans $\overline{x}$ et $\overline{y}$ soient distinctes.
Déf: Si $T$ est une théorie, alors la partie universelle de $T$ est
\[T_∀ \; ≝ \; \lbrace φ \text{ énoncés universels : } T ⊨ φ\rbrace\]De même, on définit
\[T_∃ \; ≝ \; \lbrace φ \text{ énoncé existentiel : } T ⊨ φ\rbrace\]On note
\[Th_∀(ℳ) ≝ (Th(ℳ))_∀\\ Th_∃(ℳ) ≝ (Th(ℳ))_∃\]On dit que $T$ est universellement axiomatisable (resp. existentiellement axiomatisable) s’il existe une théorie $T’$ composée d’énoncés universels (resp. existentiels) tq
\[T ≡ T'\]NB: C’est ssi
\[T_∀ ⊨ T \qquad \text{ (resp. } T_∃ ⊨ T \text{)}\]Prop: Sont équivalents:
- $ℳ ⊨ T_∀$
- Il existe $𝒩 ⊨ T$ tq $ℳ ⊆ 𝒩$
En particulier, sont équivalents:
- $ℳ ⊨ Th_∀(𝒩)$
- $𝒩 ⊨ Th_∃(ℳ)$
- $Th_∀(𝒩) ⊆ Th_∀(ℳ)$
- $Th_∃(ℳ) ⊆ Th_∃(𝒩)$
- $⊛⊛ \quad$ Il existe $𝒩’ \succcurlyeq 𝒩$ et un plongement $ℳ \hookrightarrow 𝒩’$
- Il existe $𝒩’ \supseteq ℳ$ et un plongement élémentaire $𝒩 \hookrightarrow 𝒩’$
Preuve:
$⟸$: Si $ℳ ⊆ 𝒩$, $𝒩 ⊨ T$ et $φ ∈ T_∀$, alors on a $φ = ∀ \overline{x} ψ$, $ψ$ sans quantificateurs.
Donc: $𝒩 ⊨ ∀ \overline{x} ψ$, i.e. pour tout $\overline{a} ∈ N^n$, \(𝒩 ⊨ ψ(\overline{a})\)
En particulier, si $\overline{a} ∈ M^n$, on a $𝒩 ⊨ ψ(\overline{a})$ et donc $ℳ ⊨ ψ(\overline{a})$ car $ψ$ est une combinaison booléenne de formules atomiques et $ℳ ⊆ 𝒩$.
Donc
\[ℳ ⊨ ψ(\overline{a}) \text{ pour tout } \overline{a} ∈ M^n\]i.e. \(ℳ ⊨ φ\)
$⟹$: On veut montrer que $T ∪ Diag(ℳ)$ est satisfaisable, puisqu’alors tout modèle $𝒩 ⊨ T ∪ Diag(ℳ)$ satisfait l’énoncé.
Si $T ∪ Diag(ℳ)$ est inconsistant, il existe $φ(c_{\overline{a}}) ∈ Diag(ℳ)$ tq
\[T ⊨ ¬ φ(c_{\overline{a}}) \qquad \text{( } φ \text{ sans quantificateurs )}\]Comme $c_{\overline{a}}$ n’est pas dans le langage de $T$, cela donne
\[T ⊨ \underbrace{∀ \overline{x} ¬ φ(\overline{x})}_{∈ T_∀}\]Donc
\[ℳ ⊨ ∀ \overline{x} ¬ φ(\overline{x}) \qquad \text{( car } ℳ ⊨ T_∀ \text{ par hypothèse )}\]Absurde car $ℳ ⊨ φ(\overline{a})$
2e partie:
\[ℳ ⊨ Th_∀(𝒩) \quad ⟹ \quad Th_∀(𝒩) ⊆ Th_∀(ℳ)\\ 𝒩 ⊨ Th_∃(ℳ) \quad ⟹ \quad Th_∃(ℳ) ⊆ Th_∃(𝒩)\\\]NB: Si $φ$ est universelle, alors $¬ φ$ est existentielle, et réciproquement. Donc si $ℳ ⊨ ψ$ et $ψ$ existentielle mais $𝒩 \not ⊨ ψ$, alors $𝒩 ⊨ ¬ ψ$, donc $¬ ψ ∈ Th_∀(𝒩)$, donc $ℳ ⊨ ¬ ψ$ (sous l’hypothèse que $ℳ ⊨ Th_∀(𝒩)$). Contradiction.
L’équivalence de $ℳ ⊨ Th_∀(𝒩)$ avec $⊛⊛$ suit de la partie 1, en considérant $T = Th(𝒩)$
Cela donne (pour $ℳ ⊨ Th_∀(𝒩) ⟹ ⊛⊛$) une structure $\widetilde{𝒩} ≡ 𝒩$ tq $M ⊆ \widetilde{𝒩}$.
Puis par les théorèmes de l’extension élémentaire commune, on obtient $𝒩’$ telle que
\[ℳ \hookrightarrow \widetilde{𝒩} \; \overset{\text{élém.}}{\hookrightarrow} \; 𝒩'\\ 𝒩 \; \overset{\text{élém.}}{\hookrightarrow} \; 𝒩'\\\]donc
\[𝒩 \; \overset{\text{élém.}}{\hookrightarrow} \; 𝒩' \\ ℳ \; \hookrightarrow \; 𝒩'\]Thm (de préservation pour $∀$): Soit $T$ une théorie. Sont équivalents:
- $T$ est universellement axiomatisable
- Si $ℳ ⊨ T$ et $𝒩 ⊆ ℳ$, alors $𝒩 ⊨ T$
Preuve:
$⟹$: clair.
$⟸$: On veut voir que \(T_∀ ⊨ T\)
Soit $ℳ ⊨ T_∀$. Par la proposition 1, il existe $𝒩 ⊨ T$ tq $ℳ ⊆ 𝒩$.
Alors par hypothèse, $ℳ ⊨ T$.
Prop 2: Sont équivalents:
- $𝒩 ⊨ T_∃$
- Il existe un $ℳ ⊨ T$ et $𝒩’ ≡ 𝒩$ tq $ℳ ⊆ 𝒩’$.
Preuve:
$⟸$: clair.
$⟹$: On remarque que $T ∪ Th_∀(𝒩)$ est consistante: sinon, il existe $∀ \overline{x} φ ∈ Th_∀(𝒩)$ où $φ$ est sans quantificateurs tq
\[T ⊨ \underbrace{¬ ∀ \overline{x} φ}_{\text{c'est existentiel !}}\]donc $¬ ∀ \overline{x} φ ∈ T_∃$.
Comme $𝒩 ⊨ T_∃$, $𝒩 ⊨ ¬ ∀ \overline{x} φ$: absurde car $∀ \overline{x} φ ∈ Th_∀(𝒩)$.
Donc il existe un modèle
\[ℳ ⊨ T ∪ Th_∀(𝒩)\]Comme $ℳ ⊨ Th_∀(𝒩)$, par la proposition 1, il existe $𝒩’ ⊨ Th(𝒩)$ tq $ℳ ⊆ 𝒩’$.
Thm (de présevation pour $∃$): Soit $T$ une théorie. Sont équivalents:
- $T$ est existentiellement axiomatisable
- A chaque fois qu’on a $ℳ ⊆ 𝒩$ et $ℳ ⊨ T$, alors $𝒩 ⊨ T$
Preuve:
$⟹$: Clair.
$⟸$: On veut montrer que la partie existentielle implique déjà tout $T$:
\[T_∃ ⊨ T\]Soit $𝒩 ⊨ T_∃$, alors par la proposition 2, il existe $ℳ ⊨ T$ et $𝒩’ ≡ 𝒩$ tq $ℳ ⊆ 𝒩’$.
Alors par hypothèse, $𝒩’ ⊨ T$. Comme $𝒩’ ≡ 𝒩$, $𝒩 ⊨ T$.
Version locale (formule par formule)
Déf: Soient $T$ une théorie, $φ(\overline{x})$ une formule. On dit que $φ(\overline{x})$ est universelle (resp. existentielle) modulo $T$ s’il existe une formule universelle (resp. existentielle) $ψ(\overline{x})$ tq
\[T ⊨ ∀ \overline{x} (φ(\overline{x}) \leftrightarrow ψ(\overline{x}))\]Thm: Sont équivalents
- $φ(\overline{x})$ est universelle modulo $T$
- A chaque fois que $ℳ ⊆ 𝒩$ et $ℳ, 𝒩 ⊨ T$, $\overline{a} ∈ M^{\vert \overline{x} \vert}$ et $𝒩 ⊨ φ(\overline{a})$, alors on a $ℳ ⊨ φ(\overline{a})$.
De même, sont équivalents
- $φ(\overline{x})$ est existentielle modulo T
- Si l’on a $ℳ ⊆ 𝒩$ et $ℳ, 𝒩 ⊨ T$, $a ∈ M^{\vert x \vert}, ℳ ⊨ φ(\overline{a})$, alors $𝒩 ⊨ φ(\overline{a})$
Preuve:
NB: La deuxième partie découle de la première en prenant des négations (exercice).
1ère partie: (même stratégie qu’avant)
$⟹$: clair
$⟸$:
Soit
\[Σ(\overline{x}) \; ≝ \; \underbrace{\lbrace ψ(\overline{x}) \text{ universelle : } T ⊨ ∀ \overline{x} \, (φ(\overline{x}) → ψ(\overline{x})) \rbrace}_{\text{clos par conjonction}}\]On prétend que
\[T ∪ Σ(\overline{c}) ⊨ φ(\overline{c}) \qquad \text{ où } \overline{c} \text{ est une constante fraîche}\]En effet, si
\[(ℳ, \overline{a}) ⊨ T ∪ Σ(\overline{c})\]alors
\[T ∪ \lbrace φ(\overline{c}) \rbrace ∪ Diag_{ℒ ∪ \lbrace \overline{c}\rbrace}(ℳ, \overline{a})\]est satisfaisable: sinon,
\[T ∪ \lbrace φ(\overline{c}) \rbrace ⊨ ¬ ψ(\overline{c}, \overline{d})\]pour une certaine formule
\[ψ(\overline{c}, \overline{d}) ∈ Diag_{ℒ ∪ \lbrace \overline{c}\rbrace}(ℳ, \overline{a})\]et alors
\[T ∪ \lbrace φ(\overline{c}) \rbrace ⊨ ∀ \overline{y}, \, ¬ ψ(\overline{c}, \overline{y})\]puis
\[T ⊨ φ(\overline{c}) → ∀ \overline{y}, \, ¬ ψ(\overline{c}, \overline{y})\]donc
\[T ⊨ ∀ \overline{x}, \; (φ(\overline{x}) → \underbrace{∀ \overline{y}, \, ¬ ψ(\overline{x}, \overline{y}}_{∈ Σ(\overline{x})}))\]Soit donc
\[(𝒩, \overline{b}) ⊨ T ∪ \lbrace φ(\overline{c}) \rbrace ∪ Diag_{ℒ ∪ \lbrace \overline{c}\rbrace}(ℳ, \overline{a})\]Alors
\[ℳ ⊆ 𝒩, \, \overline{a} = \overline{b}, \, \begin{cases} N ⊨ T \\ M ⊨ T \end{cases}, \; 𝒩 ⊨ φ(\overline{a})\]Par hypothèse, $ℳ ⊨ φ(\overline{a})$. Cela montre
\[T ∪ Σ(\underbrace{\overline{c}}_{\text{constante fraîche}}) ⊨ φ(\overline{c})\]Par compacité, il y a $ψ(\overline{x}) ∈ Σ(\overline{x})$ tq
\[T ∪ \lbrace ψ(\overline{c}) \rbrace ⊨ φ(\overline{c})\]i.e.
\[T ⊨ ∀ \overline{x} \, (ψ(\overline{x}) → φ(\overline{x}))\]Donc on a bien $ψ ≡ φ \mod T$, où $ψ$ est universelle.
Déf: Une formule $φ$ est une $∀∃$-formule (resp. $∃∀$-formule) si
\[φ ≡ ∀ \overline{x} \, ∃ \overline{y} \, \underbrace{ψ}_{\text{sans quantif.}}\]resp.
\[φ ≡ ∃ \overline{x} \, ∀ \overline{y} \, \underbrace{ψ}_{\text{sans quantif.}}\]Comme avant, on définit
\[T_{∀ ∃} \; ≝ \; \lbrace φ \; ∀∃ \text{-énoncé : } T ⊨ φ\rbrace\\ T_{∃∀} \; ≝ \; \lbrace φ \; ∃∀ \text{-énoncé : } T ⊨ φ\rbrace\\ Th_{∀∃}(ℳ) = (Th(ℳ))_{∀∃} \quad \text{, etc.}\]On définit aussi:
\[Diag_∀(ℳ) \; ≝ \; \lbrace φ(c_{\overline{m}}) \quad ℒ_M \text{-énoncés universels : } ℳ ⊨ φ(\overline{m})\rbrace\]NB:
\[Diag_∀(ℳ) = (Diag_{el}(ℳ))_∀ = Th_∀^{ℒ_M}(ℳ)\]Déf: Soit $ℳ ⊆ 𝒩$.
On dit que $ℳ$ est existentiellement close dans $𝒩$, noté $ℳ \preccurlyeq_1 𝒩$, si $∀ a ∈ M^n$, $φ(\overline{x})$ existentielle, si $𝒩 ⊨ φ(\overline{a})$, alors $ℳ ⊨ φ(\overline{a})$.
NB: $ℳ \preccurlyeq_1 𝒩$ si $ℳ ⊆ 𝒩$ et $𝒩_M ⊨ Diag_∀(ℳ)$
Leave a comment