paper

Precipitous Towers of Normal Filters

arXiv:math/9503209

Abstract

We prove that every tower of normal filters of height $\gd$ ($\gd$ supercompact) is precipitous assuming that each normal filter in the tower is the club filter restricted to a stationary set. We give an example to show that this assumption is necessary. We also prove that every normal filter can be generically extended to a well-founded -ultrafilter (assuming large cardinals).