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

Preprint Number 955

Previous Next Preprint server

955. Gabriel Conant
A remark on strict independence relations

Submission date: 7 November 2015


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.

Last updated: November 25 2015 16:09 Please send your corrections to: