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