The saturation principle can be derived from ZFC and compactness without requiring ultrafilters, est...
This proposition has not been edited since the history system was added.