English

Thorn-Forking in Continuous Logic

Logic 2009-11-19 v1

Abstract

We study thorn forking and rosiness in the context of continuous logic. We prove that the Urysohn sphere is rosy (with respect to finitary imaginaries), providing the first example of an essentially continuous unstable theory with a nice notion of independence. In the process, we show that a real rosy theory which has weak elimination of finitary imaginaries is rosy with respect to finitary imaginaries, a fact which is new even for classical real rosy theories.

Cite

@article{arxiv.0911.3446,
  title  = {Thorn-Forking in Continuous Logic},
  author = {Clifton Ealy and Isaac Goldbring},
  journal= {arXiv preprint arXiv:0911.3446},
  year   = {2009}
}

Comments

36 pages

R2 v1 2026-06-21T14:13:00.446Z