Scifaro

中文

关于泛型宇宙中线性 Souslin 关系的 Glimm–Effros 二分定理

逻辑 2018-08-22 v1

作者: Vladimir Kanovei

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

我们证明,如果每个实数都属于可构造宇宙的某个集合泛型扩张,那么实数上的每个 Σ_1^1 等价关系 E 要么容许到所有可数二元序列集合 2^{<ω_1} 上相等关系的 Δ_1^HC 归约,要么连续嵌入 Vitali 等价关系 E_0。证明基于由 OD 集合生成的拓扑。

关键词

Glimm–Effros 二分 Souslin 关系泛型扩张可构造宇宙等价关系 OD 集合

引用

@article{arxiv.math/9508204,
  title  = {On a Glimm -- Effros dichotomy theorem for Souslin relations in generic universes},
  author = {Vladimir Kanovei},
  journal= {arXiv preprint arXiv:math/9508204},
  year   = {2018}
}