The complexity of non-stationary ideals - Philipp Lücke (2024)