Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



222   5 Modelltheorie

gdw

D, I', b' = [θ', ξ, rAπ]

gdw

D, I', b' = [θ', ξ, Δ].

Zweitens: Sei Δ = rA Bπ. Also FGRAD(A) < FGRAD(Δ) und FGRAD(B) <
FGRAD(Δ). Dann ist nach Annahme fur Δ auch FV(A)
FV(B) {ξ}, I((TA(A)
TA(B)) = I'((TA(A) TA(B)) und b((TT(A) TT(B)) = b'((TT(A) TT(B)). Mit I.V.
und Theorem 5-4-(iii) gilt dann:

D, I, b = [θ, ξ, Δ]

gdw

D, I, b = [θ, ξ, γa

D, I, b = r[θ, ξ, A] [θ, ξ, BΓ

D, I, b = [θ, ξ, A] und D, I, b = [θ, ξ, B]
gdw

D, I', b' = [θ`, ξ, A] und D, I', b' = [θ', ξ, B]

D, I', b' = r[θ', ξ, A] [θ', ξ, BΓ

gdw

D, I,, b' = [θ', ξ, γa
gdw

D, I', b' = [θ', ξ, Δ].

Der dritte bis funfte Fall verlaufen analog.

Sechstens: Sei Δ = rΛζA^l. Nach der Annahme fur Δ ist dann FV(A) {ξ, ζ}, I (TA(A)
=
I l(TA(A) und b (TT(A) = b l(TT(A). Angenommen ζ = ξ. Dann ist [θ, ξ, Δ] = [θ, ζ,
rΛζA^l ] = rΛζA^l = [θ', ζ, rΛζA^l ] = [θ', ξ, Δ] und somit [θ, ξ, Δ] = Δ = [θ', ξ, Δ]. Sodann
gilt FV(Δ) =
0 und somit Δ GFORM. Da nach Annahme I(TA(Δ) = Il(TA(Δ) und
b (TT(Δ) = b l(TT(Δ) gilt damit mit Theorem 5-5-(ii): D, I, b = [θ, ξ, Δ] gdw D, I, b = Δ
gdw
D, I,, b' = Δ gdw D, I,, b' = [θ', ξ, Δ]. Sei nun ζ ≠ ξ. Dann ist [θ, ξ, Δ] = rΛζ[θ, ξ,
A]
π und [θ', ξ, Δ] = rΛζ[θ,, ξ, A]π. Sodann gilt mit ζ ≠ ξ und ζ, ξ TT(θ*) fur alle θ#
GTERM nach Theorem 1-25-(ii) fur alle β+ PAR: [β+, ζ, [θ, ξ, A]] = [θ, ξ, [β+, ζ, A]]
und [β+, ζ, [θ', ξ, A]] = [θ', ξ, [β+, ζ, A]].



More intriguing information

1. Passing the burden: corporate tax incidence in open economies
2. Convergence in TFP among Italian Regions - Panel Unit Roots with Heterogeneity and Cross Sectional Dependence
3. Smith and Rawls Share a Room
4. Response speeds of direct and securitized real estate to shocks in the fundamentals
5. Benefits of travel time savings for freight transportation : beyond the costs
6. Foreign Direct Investment and the Single Market
7. A Rare Presentation of Crohn's Disease
8. ‘I’m so much more myself now, coming back to work’ - working class mothers, paid work and childcare.
9. Yield curve analysis
10. Cyclical Changes in Short-Run Earnings Mobility in Canada, 1982-1996