关于广义 Baire 空间上的\Sigma^1_1-完全等价关系
逻辑
2012-09-19 v1
摘要
在处理固定基数的不可数结构时，我们研究了某些等价关系的复杂性，并表明若 V = L，则其中许多关系是\Sigma^1_1-完全的，特别是稠密线性序的同构关系。随后我们证明，在 ZFC 中无法判定某个行为良好的理论（稳定、NDOP、NOTOP）的同构关系是否为\Sigma^1_1-完全（若 V = L 则为完全，但可通过力迫使其不为完全）。
引用
@article{arxiv.1209.3932,
title = {On \Sigma^1_1-complete Equivalence Relations on the Generalized Baire Space},
author = {Tapani Hyttinen and Vadim Kulikov},
journal= {arXiv preprint arXiv:1209.3932},
year = {2012}
}
备注
22 pages