构造 Wadge 类
逻辑
2022-03-22 v2 一般拓扑
摘要
我们证明，在假定决定性公理的前提下，每一个非自对偶的 Wadge 类都可以通过从 层次的那些类（即在对 Borel 原像下封闭的类）出发，并迭代地施加扩张运算与分离差运算来构造。该证明本质上归功于 Louveau，并且它同时给出了 Van Wesep 一个定理的新证明（即：每一个非自对偶的 Wadge 类都可表示为施加于开集的 Hausdorff 运算的结果）。除经典描述集合论中的事实外，本论述是自包含的。
引用
@article{arxiv.1907.07612,
title = {Constructing Wadge classes},
author = {Raphaël Carroy and Andrea Medini and Sandra Müller},
journal= {arXiv preprint arXiv:1907.07612},
year = {2022}
}
备注
45 pages. arXiv admin note: text overlap with arXiv:1806.00332