Martin's Maximum, Saturated Ideals, and Non-Regular Ultrafilters. Part I

Abstract

We prove, assuming the existence of a huge cardinal, the consistency of fully non-regular ultrafilters on the successor of any regular cardinal. We also construct ultrafilters with ultraproducts of small cardinality. Part II is logically independent of Part I.