### Models of PA: Standard Systems without Minimal Ultrafilters

by Shelah. [Sh:944]

We prove that N has an uncountable elementary
extension N such that there is no ultrafilter on the
Boolean Algebra of subsets of N represented in N
which is so called minimal.

Back to the list of publications