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

Preprint Number 702

Previous Next Preprint server

702. Will Boney, Rami Grossberg, Alexei Kolesnikov and Sebastien Vasey
Canonical forking in AECs

Submission date: 5 Aapril 2014


Boney and Grossberg [BG] proved that every nice AEC has an independence relation. We prove that this relation is unique: In any given AEC, there can exist at most one independence relation that satisfies existence, extension, uniqueness and local character. While doing this, we study more generally properties of independence relations for AECs and also prove a canonicity result for Shelah's good frames. The usual tools of first-order logic (like the finite equivalence relation theorem or the type amalgamation theorem in simple theories) are not available in this context. In addition to the loss of the compactness theorem, we have the added difficulty of not being able to assume that types are sets of formulas. We work axiomatically and develop new tools to understand this general framework.

Mathematics Subject Classification: 03C48, 03C45, 03C52 (Primary) 03C55, 03C75, 03C85, 03E55 (Secondary)

Keywords and phrases:

Full text arXiv 1404.1494: pdf, ps.

Last updated: April 14 2014 06:08 Please send your corrections to: