TY  - RPRT
TI  - Forcing axioms and the complexity of non-stationary ideals
AU  - Sean Cox
AU  - Philipp Lücke
PY  - 2022
UR  - https://arxiv.org/abs/2010.01922
ID  - 2010.01922
ER  -