GDST中论非超稳定理论
逻辑
2025-02-05 v1
摘要
我们利用着色树研究完全一阶理论同构关系的-Borel可归约性。在某些基数假设下,我们证明如下结论:对所有理论T与T',若T是可分类的且T'是非超稳定的,则关于-Borel可归约性,T'的模型同构严格高于T的模型同构。
引用
@article{arxiv.2203.14292,
title = {On unsuperstable theories in GDST},
author = {Miguel Moreno},
journal= {arXiv preprint arXiv:2203.14292},
year = {2025}
}