Explanation of Independence Export

@misc{citeulike:1224513, abstract = {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.}, archivePrefix = {arXiv}, author = {Adler, Hans}, citeulike-article-id = {1224513}, citeulike-linkout-0 = {http://arxiv.org/abs/math/0511616}, citeulike-linkout-1 = {http://arxiv.org/pdf/math/0511616}, day = {24}, eprint = {math/0511616}, keywords = {model\_theory}, month = {Nov}, posted-at = {2007-04-13 20:22:24}, priority = {2}, title = {Explanation of Independence}, url = {http://arxiv.org/abs/math/0511616}, year = {2005} }

TY - ELEC ID - citeulike:1224513 L3 - citeulike-article-id:1224513 N2 - 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. TI - Explanation of Independence KW - model_theory AU - Adler, Hans PY - 2005/Nov/24/ UR - http://arxiv.org/abs/math/0511616 ER -