2000 character limit reached
Good ultrafilters and highly saturated models: a friendly explanation (1512.01827v1)
Published 6 Dec 2015 in math.LO
Abstract: Highly saturated models are a fundamental part of the model-theoretic machinery of nonstandard analysis. Of the two methods for producing them, ultrapowers constructed with the aid of $\kappa+$-good ultrafilters seems by far the less popular. Motivated by the hypothesis that this is partly due to the standard exposition being somewhat dense, a presentation is given which is designed to be easier to digest.