Carlson-Simpson 力迫上解析等价关系的规范化
逻辑
2013-04-11 v1 组合数学
摘要
我们证明了 Carlson-Simpson 力迫的一个规范化结果，其精神契合 \cite{KSZ}。我们推广了处理无自由块划分的 Carlson-Simpson 定理的弱形式（\cite{CaSi}）：我们处理的不是有限 Borel（或 Baire 性质）着色，而是处理（不可数）着色，使得相应的等价关系（如果两个划分被着以相同颜色则等价）是解析的。
引用
@article{arxiv.1304.3019,
title = {Canonization of analytic equivalences on the Carlson-Simpson forcing},
author = {Michal Doucha},
journal= {arXiv preprint arXiv:1304.3019},
year = {2013}
}