Program Semantics and Classical Logic



continuity while the second lemma proves a generalisation related to weak
anticontinuity. Lemma 6 will be applied immediately in the proof of lemma
8 below, but the application of lemma 7 will have to wait a bit, until we come
to the proof of Scott’s Induction Rule.

Lemma 6 Let Aα be continuous in ξ1 , . . . , ξn, then

[ V (A, α[RJ7ξι,..., Rn∙∕ξn]) = V (A[RT∕ξι,     R£∕ξn])

m

Proof. Repeated application of continuity gives us that

[ ... [ V (A, a[R∕ξι,..., Rnmn ∕ξn]) = V (A, a[Rω ∕ξι,..., R ∕ξn])

m1 mn

That the lefthand side of this equation is equal to

[ V (A, a[R1m ∕ξ1,...,Rnm∕ξn])
m

follows by the monotonicity of A in each of the variables ξ1,..., ξn.   

Lemma 7 Let Aα be continuous in ξ1 , . . . , ξn , while B is weakly anticontin-
uous in
ζα, and ξ1 , . . . , ξn are not free in B. For each k (1 k n), let
R0k R1k . . . Rkm . . . be a chain, then

\ V([A∕ζ]B, a[R1m∕ξ1,..., Rnm∕ξn]) ⊆V([A∕ζ]B,a[R1ω∕ξ1,...,Rnω∕ξn])
m

Proof. For each m ∈ N let Sm  = V(A, a[R1m ∕ξ1 , . . . , Rnm ∕ξn ]). From the

monotonicity of A in each ξk we obtain that S0 S1 . . . Sm ⊆ ....

Hence, by the usual Substitution Theorem and the weak anticontinuity of B
in ζ,

\ V ([A∕ζ]B, a[RT∕ξι,..., Rn∙∕ξJ) = \ V (B, a[S m∕ζ ]) ⊆ V (B, a[Sω ∕ζ ])
mm

From Lemma 6 it follows that Sω = V(A, a [R1ω∕ξ1, . . . , Rnω∕ξn ]) for each m,
so that

V(B, a[Sω∕ζ]) =V([A∕ζ]B,a[R1ω∕ξ1,...,Rnω∕ξn])

18



More intriguing information

1. Emissions Trading, Electricity Industry Restructuring and Investment in Pollution Abatement
2. CONSUMER ACCEPTANCE OF GENETICALLY MODIFIED FOODS
3. The Dictator and the Parties A Study on Policy Co-operation in Mineral Economies
4. BILL 187 - THE AGRICULTURAL EMPLOYEES PROTECTION ACT: A SPECIAL REPORT
5. THE ANDEAN PRICE BAND SYSTEM: EFFECTS ON PRICES, PROTECTION AND PRODUCER WELFARE
6. The name is absent
7. PROJECTED COSTS FOR SELECTED LOUISIANA VEGETABLE CROPS - 1997 SEASON
8. Constrained School Choice
9. Evolution of cognitive function via redeployment of brain areas
10. ANTI-COMPETITIVE FINANCIAL CONTRACTING: THE DESIGN OF FINANCIAL CLAIMS.
11. Antidote Stocking at Hospitals in North Palestine
12. Implementation of the Ordinal Shapley Value for a three-agent economy
13. Internationalization of Universities as Internationalization of Bildung
14. THE DIGITAL DIVIDE: COMPUTER USE, BASIC SKILLS AND EMPLOYMENT
15. The name is absent
16. Olfactory Neuroblastoma: Diagnostic Difficulty
17. The Nobel Memorial Prize for Robert F. Engle
18. Nach der Einführung von Arbeitslosengeld II: deutlich mehr Verlierer als Gewinner unter den Hilfeempfängern
19. Evaluation of the Development Potential of Russian Cities
20. FDI Implications of Recent European Court of Justice Decision on Corporation Tax Matters