@misc{indiciae661eb9076241, title = {Martin's Maximum and tower forcing}, author = {Sean Cox and Matteo Viale}, year = {2011}, url = {https://arxiv.org/abs/1110.1584}, note = {Source identifier: 1110.1584} }