Back to Search
Start Over
A remark on strict independence relations
- 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
- Subjects :
- bepress|Physical Sciences and Mathematics|Mathematics
Logic
010102 general mathematics
bepress|Arts and Humanities|Philosophy|Logic and Foundations of Mathematics
Mathematics - Logic
0102 computer and information sciences
Independence relation
Urysohn and completely Hausdorff spaces
01 natural sciences
Combinatorics
Philosophy
Metric space
Integer
010201 computation theory & mathematics
FOS: Mathematics
Bijection
Complete theory
Independence (mathematical logic)
Limit (mathematics)
0101 mathematics
Logic (math.LO)
Mathematics
Subjects
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