218 5 Modelltheorie
gdw
D, I', b' к Γ.
Zweitens: Sei Γ = rΑ ∧ Βπ. Also FGRAD(A) < FGRAD(Γ) und FGRAD(B) <
FGRAD(Γ). Dann ist nach Annahme fur Γ auch A, B ∈ GTERM, I((TA(A) ∪ TA(B)) =
I'((TA(A) ∪ TA(B)) und b((TT(A) ∪ TT(B)) = b'((TT(A) ∪ TT(B)). Mit Theorem
5-4-(iii) und I.V. gilt:
D, I, b к Γ
gdw
D, I, b к rA ∧ B1
gdw
D, I, b к A und D, I, b к B
gdw
D, I', b' к A und D, I', b' к B
gdw
D, I', b' к rA ∧ B1
gdw
D, I', b' к Γ.
Der dritte bis funfte Fall verlaufen analog.
Sechstens: Sei Γ = rΛζΔ^l. Nach der Annahme fur Γ gilt dann FV(Δ) ⊆ {ζ}, I (TA(Δ) =
I'(TA(Δ) und b(TT(Δ) = b'(TT(Δ). Gelte nun D, I, b к rΛζΔ^l. Dann gibt es mit
Theorem 5-4-(vii) ein β ∈ PAR∖TT(Δ), so dass fur alle b+, die in β Belegungsvarianten
von b fur D sind, gilt: D, I, b+ к [β, ζ, Δ]. Sei nun b'1 in β eine Belegungsvariante von
b' fur D. Sei nun b 1 = (b ∖{(β, b (β))}) ∪ {(β, b '1(β))}. Dann ist b 1 in β eine Belegungsva-
riante von b fur D und somit gilt: D, I, b 1 к [β, ζ, Δ]. Da β ∉ TT(Δ) gilt sodann mit
b(TT(Δ) = b'(TT(Δ) fur alle β' ∈ TT(Δ) ∩ PAR: b 1(β') = b(β') = b'(β') = b'1(β'). Da so-
dann auch b 1(β) = b '1(β) gilt damit wegen TT([β, ζ, Δ]) ⊆ TT(Δ) ∪ {β}, dass b 1(TT([β,
ζ, Δ]) = b'1(([β, ζ, Δ]). Sodann gilt I(TA([β, ζ, Δ]) = I((TA([β, ζ, Δ]) ∩ (KONST ∪
FUNK ∪ PRA)) = I((TA(Δ) ∩ (KONST ∪ FUNK ∪ PRA)) = I(TA(Δ) = I'(TA(Δ) =
I'((TA(Δ) ∩ (KONST ∪ FUNK ∪ PRA)) = I,((TA([β, ζ, Δ]) ∩ (KONST ∪ FUNK ∪
PRA)) = I'((TA([β, ζ, Δ]) und somit I(TA([β, ζ, Δ]) = Il(TA([β, ζ, Δ]). Ferner ist [β, ζ, Δ]
∈ GFORM und mit Theorem 1-13 ist FGRAD([β, ζ, Δ]) = FGRAD(Δ) < FGRAD(Γ).
Damit gilt nach I.V. mit D, I, b 1 к [β, ζ, Δ] auch: D, I', b '1 к [β, ζ, Δ]. Also gilt fur alle
More intriguing information
1. The name is absent2. The name is absent
3. The name is absent
4. Herman Melville and the Problem of Evil
5. AN EMPIRICAL INVESTIGATION OF THE PRODUCTION EFFECTS OF ADOPTING GM SEED TECHNOLOGY: THE CASE OF FARMERS IN ARGENTINA
6. Studying How E-Markets Evaluation Can Enhance Trust in Virtual Business Communities
7. The name is absent
8. 101 Proposals to reform the Stability and Growth Pact. Why so many? A Survey
9. Multiple Arrhythmogenic Substrate for Tachycardia in a
10. Outline of a new approach to the nature of mind