Linearization of partial quasi-orderings in the Solovay model revisited
Logic
2018-08-16 v1
Abstract
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.
Keywords
Cite
@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}
}
Comments
Partial support of RFFI grant 13-01-00006 acknowledged