连续逻辑中的刺分叉
Thorn-Forking in Continuous Logic
摘要：
我们在连续逻辑的背景下研究刺分叉和rosiness。我们证明了Urysohn领域是玫瑰色的（相对于finitary quantaries），提供了第一个例子，一个基本上连续的不稳定的理论与一个很好的概念的独立性。在这个过程中，我们表明，一个真正的玫瑰理论，具有弱消除的有限性矩阵是玫瑰的有限性矩阵，这是一个新的事实，即使是经典的真正玫瑰理论。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
