English

A remark on strict independence relations

Logic 2018-09-12 v2

Abstract

We prove that if TT is a complete theory with weak elimination of imaginaries, then there is an explicit bijection between strict independence relations for TT and strict independence relations for TeqT^{\text{eq}}. We use this observation to show that if TT is the theory of the Fra\"{i}ss\'{e} limit of finite metric spaces with integer distances, then TeqT^{\text{eq}} 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

R2 v1 2026-06-22T11:39:43.966Z