解析序关系的线性化
逻辑
2018-08-22 v1
摘要
我们证明，如果 是一个解析偏序，则要么 可扩充为一个（粗体） 线性序，其类似于 中按字典序排列的反链，要么某个 Borel 偏序 嵌入到 中。给出了一些关于解析等价关系的推论，例如，如果 是一个 等价关系且 不嵌入到 中，则 由与在 中编码的 E-不变 Borel 集的交所确定。
引用
@article{arxiv.math/9706204,
title = {Linearization of analytic order relations},
author = {Vladimir Kanovei},
journal= {arXiv preprint arXiv:math/9706204},
year = {2018}
}