Back to Search Start Over

A remark on strict independence relations

Authors :
Conant, Gabriel
Source :
Archive for Mathematical Logic. 55:535-544
Publication Year :
2016
Publisher :
Springer Science and Business Media LLC, 2016.

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^{\text{eq}}$. We use this observation to show that if $T$ is the theory of the Fra\"{i}ss\'{e} limit of finite metric spaces with integer distances, then $T^{\text{eq}}$ has more than one strict independence relation. This answers a question of Adler [1, Question 1.7].<br />Comment: 9 pages, to appear in Archive for Mathematical Logic

Details

ISSN :
14320665 and 09335846
Volume :
55
Database :
OpenAIRE
Journal :
Archive for Mathematical Logic
Accession number :
edsair.doi.dedup.....f2e1a1ffc3de7477341fba5c331d8e07
Full Text :
https://doi.org/10.1007/s00153-016-0479-6