Moniker1998
Moniker1998
You didn't include where this is located. It's exercise V.8. Nagata uses Hausdorff assumption. Also different types of local compactness matter. One has to carefully check that proof goes through...
https://math.stackexchange.com/questions/3246970/connected-locally-compact-paracompact-hausdorff-space-is-exhaustible-by-compac/5028016#5028016 I believe it actually should be weakly locally compact + para-Lindelof + regular => strongly paracompact We probably can't get rid of the regularity assumption. Why I think that...
Novak space is indeed not first countable as character of Stone-Cech compactification of N at any point of the remainder is uncountable. But we probably will be adding a stronger/weaker...
I would try to work on it if @prabau were to review my already existing PR's for this space
So what I think that the best property to answer instead of this one is if Novak space and $\beta\omega$ have countable tightness, first countability is false So far I've...
@yhx-12243 we could, but we won't be introducing any spaces of size larger than the first measurable cardinal, as far as I know
P164 has its use, and this is the reason why the extent property is not needed
@prabau wikipedia, which cites Kelley
@prabau I don't think another alias is bad, I did the same thing with ultranormal property. There shouldn't be confusion as those are just aliases. Thanks for the references by...
T382 could be replaced by $R_0$ + normal + submetacompact $\implies$ Dieudonne complete, perhaps T386 we can replace with pseudocompact + Dieudonne complete $\implies$ compact