Thursday 14 August 2008, 16h00 M 111 (Seminar Room)
Abstract
I shall present some history and basic theory around notions of independence
in model theory and then focus specifically on a class of first order theories
for which I recently established the existence of a notion of independence.
This particular example is also part of a general approach to trying to better
understand notions of independence.
© 2008 Vasco Brattka