可 disjointly 组合的理论集合的特征

我们研究了第一阶理论能够进行 disjointly 组合的性质，包括稳定无限性、 shininess、strong politeness 与温和性。具体而言，我们描述了一组可判决理论之间的 Galois 连接，该连接从给定一组可判决理论中挑选出能够与之 disjointly 组合的最大可判决理论集合。利用此关系，我们准确地特征化了能够与满足众所周知理论组合性质的可判决理论集合进行 disjointly 组合的集合。这加强了先前的结果，并对若干长期悬置的关于是否可以改进现有理论组合方法以适用于更大理论集合的问题作出了否定回答。此外，Galois 连接引出了一组理论组合性质的完备格，允许通过取该格中元素的 meet 与 join 来生成新的理论组合方法。我们提供此过程的示例，引入新的组合定理。我们将新旧组合方法置于该格中。