Linearization of analytic order relations
Logic
2018-08-22 v1
Abstract
We prove that if is an analytic partial order then either can be extended to a (boldface) linear order similar to an antichain in ordered lexicographically or a certain Borel partial order embeds in Some corollaries for analytic equivalence relations are given, for instance, if is a equivalence relation such that does not embed in then is determined by intersections with E-invariand Borel sets coded in .
Cite
@article{arxiv.math/9706204,
title = {Linearization of analytic order relations},
author = {Vladimir Kanovei},
journal= {arXiv preprint arXiv:math/9706204},
year = {2018}
}