Solovay模型中部分拟序的线性化
Linearization of partial quasi-orderings in the Solovay model revisited
摘要:
本文修改了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分析而来,可能存在错误,请以论文正文为准。