Publications > Preprint server > Preprint Number 58
Preprint Number 58
58. Hans Adler A geometric introduction to forking and thornforking Email: Submission date: 6 March 2007 Abstract: A ternary relation between subsets of the big model of a complete firstorder theory is called an independence relation if it satisfies a certain set of axioms. The primary example is forking in a simple theory, but ominimal 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 thornforking, 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, thornforking Full text: IMUB
server.

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