Hi, can someone please tell me, why certain ultrafilters on \omega are called "P-points" : what "P" means here? And the associated property of forcing notions, the "PP property": what "PP" stands for here? I would just like to know what are these named after, not any definitions. Thank you, Jan Pax