Explanation of independence

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.

Author dc:creator

• Adler, Hans

Contributors dc:contributor

• Ziegler, Martin

• Unabhängigkeit
• Forking
• Thorn-Forking
• kanonische Basis
• independence
• canonical base

Repository record source_url

https://freidok.uni-freiburg.de/data/2169

OAI identifier oai:identifier

oai:freidok.uni-freiburg.de:2169