A remark on strict independence relations

作者：Conant Gabriel^*

来源：Archive for Mathematical Logic, 2016, 55(3-4): 535-544.

DOI：10.1007/s00153-016-0479-6

• Thorn-forking
• Rosy theories
• Strict independence relations
• Urysohn space

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-eq. We use this observation to show that if T is the theory of the Fraisse limit of finite metric spaces with integer distances, then T-eq has more than one strict independence relation. This answers a question of Adler (J Math Log 9(1):1-20, 2009, Question 1.7).

• 出版日期2016-5