实数集上的鼠集猜想
逻辑
2021-10-13 v1
摘要
回顾鼠集猜想（Mouse Set Conjecture）指出，在AD++V=L(P(R))下，一个实数是序数可定义的当且仅当它属于一个可迭代鼠（iterable mouse）。实数集上的鼠集猜想说，在同一理论下，一个实数集是从一个实数序数可定义的当且仅当它属于实数上的一个鼠。我们证明鼠集猜想蕴含实数集上的鼠集猜想。
引用
@article{arxiv.2110.06083,
title = {The mouse set conjecture for sets of reals},
author = {Grigor Sargsyan and John Steel},
journal= {arXiv preprint arXiv:2110.06083},
year = {2021}
}