Filters and large cardinals (Q1842128)

A cardinal \(\kappa\) is the critical cardinal if it is the first infinite cardinal \(\gamma\) such that \(2^ \gamma > \gamma^ +\). Of course the critical cardinal need not exist. The author is concerned with the question: ``how much of measurability can the critical cardinal retain, and at what consistency price?'' From the author's abstract: Assuming the consistency of the theory ``ZFC+ there exists a measurable cardinal'', we construct (1) a model in which the first cardinal \(\kappa\), such that \(2^ \kappa > \kappa^ +\), bears a normal filter \(F\) whose associated boolean algebra is \(\kappa^ +\)- distributive (and indeed strongly \(\kappa^ +\)-distributive as defined in Section 5), (2) a model where there is a measurable cardinal \(\kappa\) such that, for every regular cardinal \(\rho < \kappa\), \(2^ \rho = \rho^{++}\) holds, (3) a model of ``ZFC+GCH'' where there exists a nonmeasurable cardinal \(\kappa\) bearing a normal filter \(F\) whose associated boolean algebra is \(\kappa^ +\)-distributive (and \(\kappa^ +\)-saturated as well).