广义 Baire 空间中具有 S-DOP 理论的同构关系
逻辑
2021-09-29 v5
摘要
我们研究了广义 Baire 空间 中同构关系的 Borel 归约。在主要结果中，我们证明了对于不可达基数 ，如果 是可类分理论且 是具有强维度序性质（S-DOP）的超稳定理论，则 的模型的同构 Borel 可归约到 的模型的同构。事实上，我们证明了以下一致性：如果 是不可达的且 是具有 S-DOP 的超稳定理论，则 的模型的同构是 -完全的。
引用
@article{arxiv.1803.08070,
title = {The isomorphism relation of theories with S-DOP in generalized Baire spaces},
author = {Miguel Moreno},
journal= {arXiv preprint arXiv:1803.08070},
year = {2021}
}