  Now the formulas of  L(ω1, ω) can be coded as members of  H(ω1), and it is clear that  H(ω1) is closed under the formation of countable subsets and sequences. Accordingly (5.3) and (5.4) may be written: 