Brians example S171 is not pseudocompact P22

[felixpernegger]

redoing #1503 (which was closed due to me missing perms back then)

This PR has low priority!

[Moniker1998]

I think the definition of this space should point at the answer itself, not the question, also maybe we could make it more self-contained.
I don't think it's a good idea to refer to a definition on mathoverflow or math.SE

[prabau]

I agree totally.

[prabau]

@felixpernegger thanks for updating the README. Since we are touching that file, it would be great if we could find a slightly more descriptive name for the space. The current "Brian's example" is not very enlightening.
(@StevenClontz I think you came up with the previous name?)

"Brian's stack of Bernstein sets" ?

@Moniker1998 and others FYI

[prabau]

In his post Brian talks about $U$ being " a rational open interval in $\mathbb R$" several times. What does he really mean by that?

[felixpernegger]

In his post Brian talks about U being " a rational open interval in R " several times. What does he really mean by that?

Most likely interval with rational endpoints, but that ought to be equivalent to the definition I gave ($U$ being open)

[StevenClontz]

I have no emotional attachment to the name I made up for this space and agree a more semantic name is best.

[felixpernegger]

"Brian's stack of Bernstein sets" ?

Let's just go with this name? I like it.

[prabau]

I can review this, probably tomorrow.