A remark on strict independence relations
Logic
2018-09-12 v2
Abstract
We prove that if is a complete theory with weak elimination of imaginaries, then there is an explicit bijection between strict independence relations for and strict independence relations for . We use this observation to show that if is the theory of the Fra\"{i}ss\'{e} limit of finite metric spaces with integer distances, then has more than one strict independence relation. This answers a question of Adler [1, Question 1.7].
Keywords
Cite
@article{arxiv.1511.02379,
title = {A remark on strict independence relations},
author = {Gabriel Conant},
journal= {arXiv preprint arXiv:1511.02379},
year = {2018}
}
Comments
9 pages, to appear in Archive for Mathematical Logic