Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 77, Issue 1 (2012), 63-93.
Thorn-forking in continuous logic
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 discrete first-order real rosy theories.
J. Symbolic Logic, Volume 77, Issue 1 (2012), 63-93.
First available in Project Euclid: 20 January 2012
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Ealy, Clifton; Goldbring, Isaac. Thorn-forking in continuous logic. J. Symbolic Logic 77 (2012), no. 1, 63--93. doi:10.2178/jsl/1327068692. https://projecteuclid.org/euclid.jsl/1327068692