Separating properties for normal ultrafilters

Shimon Garti
DOI: https://doi.org/10.48550/arXiv.1212.1542
2012-12-07
Logic
Abstract:We define separating properties for normal ultrafilters. We prove that compactness and supercompactness are separable, yet compactness and measurability are not. We describe how to use separating properties in order to elicit distinct normal ultrafilters which do not contain the measurables.
What problem does this paper attempt to address?