Moniker1998
Moniker1998
> Question: If one starts with a Hausdorff space that is not locally compact, its "Alexandrov extension" is not Hausdorff. Would you also describe this case as a "one-point compactification"...
@GeoffreySangston "Wallman-Shanin compactification" that I found in Encyclopedia of General Topology seems to always be Hausdorff though, even though the construction is a bit more general as they mention. They...
> Do you at least agree that the general term "compactification" can be applied the general case of a space embedded as a dense subspace of a compact space? (that...
So have we all agreed on the usage of the word compactification and can unblock #1176 ?
@prabau since Steven is not available lately, I think you could check the modifications I've added
I would say to not aim for proving traits that could be resolved in a more efficient manner. That is, lets try to prove more about a space before doing...
I'm saying this because we are already piling up in terms of raised issues (over 80 open ones). So lets try to be efficient. I've mentioned this just to make...
I don't think that raising an issue for addition of a weaker property is a good place to determine if we can prove a stronger property or not. Perhaps there...
> To allow the community an opportunity to refine that information. In my view, it's not a problem if a trait gets added to pi-base which is eventually removed, if...
> I think if the position you advocate is adopted, then it gate keeps contribution to the website to only those members with strong knowledge of all 200 properties in...