Logic & Set Theory seminar: Independence, via limits

12 April 2016, 3.00 PM - 12 April 2016, 4.00 PM

Gwyneth Harrison-Shermoen, University of Leeds

Howard House 4th floor seminar room

The concept of an independence relation (a ternary relation among sets, satisfying certain properties) generalises that of linear independence in vector spaces and algebraic independence in fields, and gives us a way to determine what behaviour is "generic" in a given theory. Kim and Pillay showed that if a theory has an abstract independence relation satisfying an extra property (the “independence theorem over a model”), then the theory is simple and the independence relation is non-forking independence.There are, however, non-simple theories with relations that satisfy quite a few of the desired properties for a notion of independence.Given a large model M of some theory T, and following work of N. Granger (on two-sorted theories of infinite-dimensional vector spaces over an algebraically closed field and with a bilinear form), we describe a method of lifting independence relations from the (tame) theories of substructures of M to a reasonably well-behaved notion of independence in M. 

Contact information

Organiser: Andrew Brooke-Taylor

Edit this page