Hello all:
        I need help to answer the following question ( or indications where
it appears: I have looked in the classical books about infinitary languages,
but until now I havent find it ) :

Is it possible to express “there are at least \omega_{1} elements”
in L_{\omega_{2} \omega_{1}}?

Is it possible to express `there are exactly \omega_{1} elements”
in L_{\omega_{2} \omega_{1}} ?

        Thanks in advance
                        Claudio