Thorn-Forking in Continuous Logic

Details Thorn-Forking in Continuous Logic Thorn-Forking in Continuous Logic

2009-11-18

arxiv.org/abs/0911.3446v1

Mathematics

Logic

36 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Thorn-Forking in Continuous Logic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Thorn-Forking in Continuous Logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Thorn-Forking in Continuous Logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-240227