Follow
Forcing More DC Over the Chang Model Using the Thorn Sequence. (arXiv:2210.16359v1 [math.LO]) http://arxiv.org/abs/2210.16359
Forcing More DC Over the Chang Model Using the Thorn Sequence. (arXiv:2210.16359v1 [math.LO]) http://arxiv.org/abs/2210.16359