独立性的解释
Explanation of Independence
摘要：
提出了完整一阶理论的“独立关系”（独立概念）的公理化处理，主要例子是分叉（由于Shelah）和荆棘分叉（由于Onshuus）。荆棘分叉的特点是在代数闭集的格模对。在可能的情况下，分叉和刺分叉以统一的方式处理。他们是双重的意义上，分叉是最好的（最严格的）和荆棘分叉的粗糙的独立关系值得研究。最后，我们定义了一个序列的核心的inquirbles和研究它的关系，规范基地。
英文摘要：
An axiomatic treatment of `independence relations' (notions of independence) for complete first-order theories is presented, the principal examples being forking (due to Shelah) and thorn-forking (due to Onshuus). Thorn-forking is characterised in terms of modular pairs in the lattice of algebraically closed sets. Wherever possible, forking and thorn-forking are treated in a uniform way. They are dual in the sense that forking is the finest (most restrictive) and thorn-forking the coarsest independence relation worth examining. We finish by defining the kernel of a sequence of indiscernibles and studying its relation to canonical bases.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
