3 problems

Consider the Nelson–Oppen combination procedure for two component theories, where stable infiniteness is the standard requirement ensuring its correctness. Tinelli–Harandi conjectu…

Let a theory have the property introduced by Toledo, Zohar, and Barrett in 2023, which is described as seemingly weaker than strong politeness and sufficient for combination with a…

Let $\Sigma_1$ and $\Sigma_2$ be disjoint signatures, and let ${\mathcal{T}}_1$ and ${\mathcal{T}}_2$ be decidable theories over them. Let ${\mathcal{T}}_1\oplus{\mathcal{T}}_2$ be…