3 problems

Let $T_{1}$ be the base theory for list concatenation. For a finite sequence of pairwise distinct list variables $\vec{X}=(X_{1},\dots,X_{m})$ and a sequence of non-zero natural nu…

Let $T_{1}$ be the base theory for list concatenation, and let $\mathrm{Open}(\mathcal{L}_{1})$ denote the set of open formulas in its language. Let…

Let $m \geq 2$. By $\mathrm{Clause}(\mathcal{L})$ denote the set of all clauses, that is, disjunctions of atoms and their negations, over the language $\mathcal{L}$. Let $T_{0}$ be…