  Thus  L(Q0) is, in a natural sense, translatable into  L(ω1,ω). Another language translatable into  L(ω1,ω) in this sense is the weak second-order language obtained by adding a countable set of monadic predicate variables to  L  which are then interpreted as ranging over all finite sets of individuals.