Moniker1998
Moniker1998
"Obvious", "understandable", "simple", "not as bad", "difficult" Those are all subjective things, on which we all will disagree on. If you want consistency then we need specific rules being put...
I've closed my recent cleanup PR's, I will not participate in cleanups in the future if no rules or guidelines for them will be made Subjective editorial judgement to me...
There is a very easy way to make any topological space to be completely regular without modifying its continuous functions. Namely, given a topological space $(X, \tau)$ simply let $\tau_c$...
I would love this PR to be finished for the sake of establishing which properties are known with more ease.
I've checked the changes again, and I approve of all these changes
Slightly ad hoc, but I suppose it satisfies this search: https://topology.pi-base.org/spaces?q=P-space+%2B+ultraparacompact%2B+Tychonoff+%2B+not+T_5 Ultraparacompact P-space which is $T_1$ needs to be $T_4$, and Fortissimo space on reals is the only non-discrete example....
> It seems that you forgot to add ~T5. Yes, although #1135 is still open, so I'm not sure if I want to add this in this PR
@prabau Just as "compactification" doesn't always refer to Stone-Cech compactification, similarly "realcompactification" doesn't always refer to Hewitt realcompactification.
@yhx-12243 hi, are you going to review this PR?
Yes. My primary goal was to obtain separation properties for this space, but then I've seen one could just prove it has countable network, i.e. it's a cosmic space (which...