The first part of this paper
characterizes the filters whose reduced products are saturated with respect
to quantifler free formulas. It is shown that filters with this property are
exactly good filters whose Boolean algebra is compact. In the second part
we investigate their set-theoretical properties and prove that such filters
exist.