Linearization of partial quasi-orderings in the Solovay model revisited

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.

Partial support of RFFI grant 13-01-00006 acknowledged

References in corpus (4)

• On countable cofinality and decomposition of definable thin orderings
• Linearization of partial quasi-orderings in the Solovay model revisited
• Bounding and decomposing thin analytic partial orderings
• On countable cofinality of definable chains in Borel partial orders

Cited by in corpus (7)

• Countable OD sets of reals belong to the ground model
• In Cohen generic extension, every countable OD set of reals belongs to the ground model
• OD elements of countable OD sets in the Solovay model
• On countable cofinality and decomposition of definable thin orderings
• Linearization of partial quasi-orderings in the Solovay model revisited
• Bounding and decomposing thin analytic partial orderings
• On countable cofinality of definable chains in Borel partial orders