ABSTRACT
For the finite disjunction step, assume the implication holds for φ and for ψ . Suppose p |1-(φ V ψ)((χ„)). Any approximation of φ V ψ has the form φο V ψο where φο E Λ(φ) and ψο E Α{ψ). We must show that ļ= {φο\Ζψο)[χη] for almost all n e p.
