# Does first-order logic admit infinitary (countable) conjunctions? (If not countable disjunctions)

Question: Does "first-order logic" (i.e. any elementary first-order theory, see below) permit infinite conjunctions? (Of only countable cardinality or of arbitrary infinite cardinality?)

It seems like any infinite axiom schema is implicitly an infinite conjunction (cf. this related question), and there are numerous examples of elementary first-order theories with infinite axiom schemas. So probably the answer is yes, but if so this is rarely stated explicitly, so I want to confirm. Many sources actively give the impression that only finite conjunctions are allowed.

Background:
Following Knight and Keisler's introduction to infinitary logic, $$\omega$$ denotes the first infinite ordinal (countable cardinality), and $$\omega_1$$ denotes the first uncountable ordinal, for a given vocabulary $$L$$ and infinite cardinals $$\mu \le \kappa$$, $$L_{\kappa \mu}$$ is the infinitary logic with:

• no greater than $$\kappa$$ variables,
• conjunctions and disjunctions over sets of formulas of size strictly less than $$\kappa$$, and
• existential and universal quantifiers over sets of variables of size strictly less than $$\mu$$.

Based on these definitions, Keisler and Knight claim that $$L_{\omega \omega}$$ is ordinary elementary first order logic with (countably many variables,) finite conjunctions, finite disjunctions, and finite quantifiers.

They define an elementary first-order theory (which is basically what I mean by "first-order logic" in the question title) as any set (of unspecified cardinality?) of sentences in $$L_{\omega \omega}$$ closed under logical consequence.

Infinite disjunctions definitely are NOT allowed in first-order logic, see either [this related question] or [this other related question]. It is also probably not a coincidence that all of the examples of $$L_{\omega_1 \omega}$$ theories given in section 1.1 of Knight and Keisler's introduction to infinitary logic (i.e. "simplest possible" theories expressible in $$L_{\omega_1 \omega}$$ and not $$L_{\omega \omega}$$) use countable disjunctions but do not use infinite conjunctions.

Another related question is about how quantifiers in the elementary first-order object theory correspond to infinitary conjunctions/disjunctions in the metatheory for infinite models. However I am asking about infinitary conjunctions/disjunctions in the object theory, not the metatheory.

For any set of theories $$\{T_i: i\in I\}$$, the theory $$T:=\bigcup_{i\in I}T_i$$ "behaves like the conjunction of the $$T_i$$s" in the following sense: the models of $$T$$ are exactly those structures satisfying each $$T_i$$.
On the other hand, even if each $$T_i$$ consists just of a single sentence $$T_i=\{\varphi_i\}$$, there may be no single sentence $$\psi$$ such that the models of $$\psi$$ are exactly the models of each $$\varphi_i$$. For a concrete example, there is no single sentence true in exactly the infinite structures, even though for each $$n$$ there is a sentence true in exactly the structures of size $$\ge n$$.
• Anyway regarding semantics of non-finitely-axiomatizable theories, and/or how one would specifically define the semantics of "FOL + an infinitary conjunction symbol", I and others can see your answers to previous questions: math.stackexchange.com/a/3287026/606791 , math.stackexchange.com/questions/2611753/… Thank you for all of your help with this! (@JasonSwanson Regarding the union of theories thing, I just interpreted it as the "theory generated by the union", e.g. similar to what you have to do with $\sigma$-algebras.) Jan 8 at 4:32