Blog Archives

Topic Archive: independence

Model theory seminarFriday, March 27, 201512:30 pmGC 6417

Independence, via limits

Wesleyan University

Given a large model M of some theory T, I will describe a method for lifting well-behaved notions of independence from the theories of substructures of M to a reasonably well-behaved notion of independence in M. (In essence, we take the limit of the independence relations in the substructures.) The motivating example – two-sorted theories of infinite-dimensional vector spaces over an algebraically closed field and with a bilinear form – was worked out by N. Granger in his thesis. I will outline this example before launching into the more general framework.