Π^1_1 is sufficient to express all relevant model-theoretic cardinal properties in standard set-theo...
This proposition has not been edited since the history system was added.