  Thus  L(κ,λ)  is the infinitary language obtained from  L  by permitting conjunctions and disjunctions of length &lt; κ and quantifications[1]  of length &lt; λ. Languages  L(κ,ω)  are called finite-quantifier languages, the rest infinite-quantifier languages. Observe that  L(ω,ω)  is  just  L itself.