Models of PA: Standard Systems without Minimal Ultrafilters

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