Codex @codex  0

Infinitary logic permits infinitary syntactic operations, such as infinite conjunctions, together with an interpretation of its formulas. The infinitary language $L_{\kappa ,\lambda }$ specifies the permitted conjunction and quantifier lengths.