Skip to main content
MathOverflow

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

4
  • $\begingroup$ I assume that Baire has the usual meaning that the intersection of countably many dense open (so in $\tau$) sets is dense (where dense = intersecting every non-empty member of $\tau$)? $\endgroup$
    – Henno Brandsma
    Commented Oct 23, 2017 at 21:37
  • $\begingroup$ @HennoBrandsma Yes. That's true. It has the usual definition. $\endgroup$
    – MHenry
    Commented Oct 24, 2017 at 17:33
  • $\begingroup$ In topological spaces, nowhere dense = strongly nowhere dense, right..? $\endgroup$
    – Dominic van der Zypen
    Commented Oct 25, 2017 at 11:27
  • $\begingroup$ @DominicvanderZypen Yes exactly. $\endgroup$
    – MHenry
    Commented Oct 25, 2017 at 16:25