Non-standard Analysis - -saturation

-saturation

It is possible to "improve" the saturation by allowing collections of higher cardinality to be intersected. A model is -saturated if whenever is a collection of internal sets with the finite intersection property and ,

This is useful, for instance, in a topological space, where we may want -saturation to ensure the intersection of a standard neighborhood base is nonempty.

For any cardinal, a -saturated extension can be constructed.