Submission date: 7 November 2015

Abstract:

We prove that if T is a complete theory with weak elimination of imaginaries, then there is an explicit bijection between strict independence relations for T and strict independence relations for T^{eq}. We use this observation to show that if T is the theory of the Fraïssé limit of finite metric spaces with integer distances, then T^{eq} has more than one strict independence relation. This answers a question of Adler [1, Question 1.7].

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1511.02379: pdf, ps.