felixpernegger
felixpernegger
I agree with this. I searched it online and while "Brown space" is relatively obscure and most of the references being about Golomb/Kirch space, its still not totally random (unlike...
Very cool, should I make stackexchange question, so you can post it there?
All of the things mentioned in this issue are in pibase now.
Sorry, I guess I got a little bit carried away yesterday, hope its better now
> Informally, what's your idea for P216 (hereditarily paracompact)? > > Btw, suppose A and B are two subspaces of a space X . If A and B are paracompact,...
Im a little bit unhappy with how the definition of _s_ looks but I dont see a nice way around it
> In fact the argument in that paper is more complex than this. However, using a existing justification is a good idea. I think we can keep it all, for...
> Disclaimer: I haven't had the time yet to read it in detail. But if we are going to use that, it would be good that at least one of...
I changed my proof for p82 to just refer to the paper now. When this is done, one could start working on Kirch space. I think all the theorems are...
> @felixpernegger I have added Proposition 1 in https://math.stackexchange.com/questions/5108293 to give details on the implication [ X cozero complemented => same for its Tychonoff reflection ]. Please double check that....