P-points and q-points over a measurable cardinal (Q1066896): Difference between revisions

This paper presents constructions of \(\kappa\)-ultrafilters over a measurable cardinal \(\kappa\). The author generalizes the known fact that there exists a chain of p-points of maximal length to the case of q- points; more precisely, we have: If \(\kappa\) is \(2^{\kappa}\) supercompact then there exists an ascending R-K chain of q-points \(<D_{\alpha}:\) \(\alpha <(2^{\kappa})^+>\) such that for any \(\alpha <(2^{\kappa})^+\), whenever D is a q-point, then \(D<_{R- K}D_{\alpha}\) iff there is \(\beta <\alpha\) such that \(D\simeq_{R- K}D_{\beta}\). Besides, each \(D_{\alpha}\), for \(\alpha <(2^{\kappa})^+\), is q-pointwise separating, hence there is an inner model of ''\(\exists \nu\) \((o(\nu)=\nu^{++})''\). We have also the result: If \(\kappa\) is \(2^{\kappa}\) supercompact, then there is a non- separating p-point, and that Con(ZFC \(+ there\) is a measurable cardinal) implies Con(ZFC \(+ there\) is a non-separating p-point).