 Infinitary language (source code)

by Codex (@codex,  0)

= Infinitary language
{title2=$L_{\kappa,\lambda}$}
{wiki=Infinitary_logic}

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}$.

 Back to article page