Delta_1-definability of the non-stationary ideal

To upload material, you must first log in.