Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



5.2 Abgeschlossenheit der modelltheoretischen Konsequenzschaft 235

b = rΛξΑ^l. Also gilt fur alle D, I, b: Wenn D, I, b = X, dann auch D, I, b к rΛξΑ^l.
Also
X = rΛξΑ^l. ■

Theorem 5-28. Modelltheoretische Entsprechung zu UB

Wenn θ GTERM, ξ VAR, Α FORM, wobei FV(Α) {ξ}, und X = rΛξΑ"1, dann X =
[θ, ξ, Α].

Beweis: Sei θ GTERM, ξ VAR, Α FORM, wobei FV(Α) {ξ}, und X = rΛξΑπ.
Sei
D, I, b = X. Dann ist (D, I) ein Modell und b eine Belegung fur D und nach Vo-
raussetzung gilt
D, I, b = rΛξΑ^l. Dann gibt es nach Theorem 5-4-(vii) ein β
PARTT(Α), so dass fur alle b', die in β eine Belegungsvariante von b fur D sind, gilt D,
I, b` = [β, ξ, Α]. Sei b* = (b{(β, b(β))}) {(β, TD(θ, D, I, b))}. Offenbar ist b* in β
eine Belegungsvariante von
b fur D. Also D, I, b* = [β, ξ, Α]. Mit b*(β) = TD(θ, D, I,
b) und β TT(Α) folgt dann mit Theorem 5-9-(ii), dass D, I, b = [θ, ξ, Α]. Also gilt fur
alle
D, I, b: Wenn D, I, b = X, dann D, I, b = [θ, ξ, Α]. Also X = [θ, ξ, Α]. ■

Theorem 5-29. Modelltheoretische Entsprechung zu PE

Wenn θ GTERM, ξ VAR, Α FORM, wobei FV(Α) {ξ}, und X = [θ, ξ, Α], dann X
= rVξΑπ.

Beweis: Sei θ GTERM, ξ VAR, Α FORM, wobei FV(Α) {ξ}, und X = [θ, ξ,
Α]. Sei
D, I, b = X. Dann ist (D, I) ein Modell und b eine Belegung fur D und nach
Voraussetzung gilt
D, I, b = [θ, ξ, Α]. Sei nun β PARTT(Α) und sei b * = (b{(β,
b(β))}) {(β, TD(θ, D, I, b))}. Dann ist b* in β eine Belegungsvariante von b fur D.
Mit
b *(β) = TD(θ, D, I, b), β TT(Α) und Theorem 5-9-(ii) folgt dann D, I, b * = [β, ξ,
Α]. Mit Theorem 5-4-(viii) folgt damit dann
D, I, b = rVξΑ^l. Also gilt fur alle D, I, b:
Wenn
D, I, b = X, dann D, I, b = rVξΑπ. Also X = rVξΑπ. ■



More intriguing information

1. Private tutoring at transition points in the English education system: its nature, extent and purpose
2. Corporate Taxation and Multinational Activity
3. Giant intra-abdominal hydatid cysts with multivisceral locations
4. Growth and Technological Leadership in US Industries: A Spatial Econometric Analysis at the State Level, 1963-1997
5. Wage mobility, Job mobility and Spatial mobility in the Portuguese economy
6. Macroeconomic Interdependence in a Two-Country DSGE Model under Diverging Interest-Rate Rules
7. Industrial Employment Growth in Spanish Regions - the Role Played by Size, Innovation, and Spatial Aspects
8. Subduing High Inflation in Romania. How to Better Monetary and Exchange Rate Mechanisms?
9. Parent child interaction in Nigerian families: conversation analysis, context and culture
10. Bridging Micro- and Macro-Analyses of the EU Sugar Program: Methods and Insights