arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1408.1202math.LO
收藏

Solovay模型中部分拟序的线性化

Linearization of partial quasi-orderings in the Solovay model revisited

Vladimir Kanovei, Vassily Lyubetsky

摘要:

本文修改了Vladimir Kanovei,Linearization of definable order relations,APAL,102(1-2):69- 100,2000中的论点,重新证明了Solovay模型中实序可定义部分拟序的线性化定理.

英文摘要:

We modify arguments in Vladimir Kanovei, Linearization of definable order relations, APAL, 102(1-2):69--100, 2000, to reprove a linearization theorem on real-ordinal definable partial quasi-orderings in the Solovay model.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑