Infinitary language ($L_{\kappa ,\lambda }$)

The infinitary language $L_{\kappa ,\lambda }$ permits conjunctions and disjunctions of fewer than $\kappa$ formulas and simultaneous quantification over fewer than $\lambda$ variables. Ordinary first-order logic is $L_{\omega ,\omega }$.