独立的解释
摘要：关于完全一阶理论的“独立关系”（独立概念）的公理化处理被提出，主要的例子是forking（由Shelah提出）和thorn-forking（由Onshuus提出）。通过代数闭集格中的模对，对thorn-forking进行了表征。在可能的情况下，forking和thorn-forking以统一的方式进行处理。它们是对偶的，即forking是最精细（最严格）的，而thorn-forking是值得研究的最粗糙的独立关系。我们最后定义了一个序列的不可分辨元的核并研究其与规范基的关系。
作者：Hans Adler
论文ID：math/0511616
分类：Logic
分类简称：math.LO
提交时间：2007-05-23