Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 58

Preprint Number 58

Previous Next Preprint server

58. Hans Adler
A geometric introduction to forking and thorn-forking

Submission date: 6 March 2007


A ternary relation between subsets of the big model of a complete first-order theory is called an independence relation if it satisfies a certain set of axioms. The primary example is forking in a simple theory, but o-minimal theories are also known to have an interesting independence relation. Our approach in this paper is to treat independence relations as mathematical objects worth studying. The main application is a better understanding of thorn-forking, which turns out to be closely related to modular pairs in the lattice of algebraically closed sets.

Mathematics Subject Classification: 03C45

Keywords and phrases: Independence relation, forking, thorn-forking

Full text: IMUB server.

Last updated: March 8 2007 13:12 Please send your corrections to: