pith. sign in

arxiv: 1511.02379 · v2 · pith:4SSAVUFHnew · submitted 2015-11-07 · 🧮 math.LO

A remark on strict independence relations

classification 🧮 math.LO
keywords independencestrictrelationsquestiontextthentheoryadler
0
0 comments X
read the original 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].

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.