[FOM] P-point/notation

[T.Forster@dpmms.cam.ac.uk]

I hope you will get a reply from someone better informed than i...

My understanding is that the terminology comes from banach spaces: a 
p-point is a point such that a countable intersection of neighborhoods of 
it is also open. P-point ultrafilters have this property in the usual 
(stone) topology on ultrafilters.

 But, as i say, i hope you will get a fuller story from an expert.

On May 21 2009, pax0 at seznam.cz wrote:

> 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 _______________________________________________ FOM mailing 
> list FOM at cs.nyu.edu http://www.cs.nyu.edu/mailman/listinfo/fom