@misc{indiciaeaa93ea780520, title = {Forcing axioms and the complexity of non-stationary ideals}, author = {Sean Cox and Philipp Lücke}, year = {2022}, url = {https://arxiv.org/abs/2010.01922}, note = {Source identifier: 2010.01922} }