Explanation of Independence
Explanation of Independence
复制标题
独立性的解释
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
Hans Adler
中科院分区：
文献类型：
--
作者：
Hans Adler
给出了完全一阶理论的“独立关系”（独立概念）的公理化处理，主要的例子是分叉（由于Shelah）和刺分叉（由于Onshuus）。叉刺是用代数闭集格中的模对来表示的。在可能的情况下，用统一的方式处理分叉和刺分叉。它们是双重的，因为分叉是最好的（最严格的），而刺分叉是最粗糙的独立关系，值得研究。最后，我们定义了一个不可分辨序列的核，并研究了它与正则基的关系。
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.