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. Rent-Seeking in Noxious Weed Regulations: Evidence from US States
2. Modelling Transport in an Interregional General Equilibrium Model with Externalities
3. Quality practices, priorities and performance: an international study
4. he Virtual Playground: an Educational Virtual Reality Environment for Evaluating Interactivity and Conceptual Learning
5. Towards a framework for critical citizenship education
6. Discourse Patterns in First Language Use at Hcme and Second Language Learning at School: an Ethnographic Approach
7. The name is absent
8. The Employment Impact of Differences in Dmand and Production
9. The value-added of primary schools: what is it really measuring?
10. BODY LANGUAGE IS OF PARTICULAR IMPORTANCE IN LARGE GROUPS