A remark on strict independence relations
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 Teq. We use this observation to show that if T is the theory of the Fra\"iss\'e limit of finite metric spaces with integer distances, then Teq has more than one strict independence relation. This answers a question of Adler [1, Question 1.7].
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.