连续逻辑中的Thorn分叉
逻辑
2009-11-19 v1
摘要
我们在连续逻辑的背景下研究thorn分叉和rosiness。我们证明了Urysohn球是rosy的（关于有限虚元），提供了第一个具有良好独立性概念的本质上连续的不稳定理论的例子。在此过程中，我们证明了一个具有弱消去有限虚元性质的实rosy理论关于有限虚元是rosy的，这一事实即使对于经典的实rosy理论也是新的。
引用
@article{arxiv.0911.3446,
title = {Thorn-Forking in Continuous Logic},
author = {Clifton Ealy and Isaac Goldbring},
journal= {arXiv preprint arXiv:0911.3446},
year = {2009}
}
备注
36 pages