Solovay 模型中偏拟序的线性化再探
逻辑
2018-08-16 v1
摘要
我们修改了 Vladimir Kanovei 在《可定义序关系的线性化》（APAL, 102(1-2):69--100, 2000）中的论证，以重新证明 Solovay 模型中关于实数 - 序数可定义偏拟序的线性化定理。
引用
@article{arxiv.1408.1202,
title = {Linearization of partial quasi-orderings in the Solovay model revisited},
author = {Vladimir Kanovei and Vassily Lyubetsky},
journal= {arXiv preprint arXiv:1408.1202},
year = {2018}
}
备注
Partial support of RFFI grant 13-01-00006 acknowledged