Patrick Rabau
Patrick Rabau
In [this comment](https://github.com/pi-base/data/pull/547#issuecomment-1920580779) @marswill suggested introducing the notion of "totally arc disconnected", as it would allow to unify some theorems related to biconnected. After giving it some thought, I think...
There are a few subtly different strengthenings of the Frechet-Urysohn property (P80) that would be interesting to have in pi-base. In particular: - strictly Frechet (Gerlits & Nagy 1982: https://doi.org/10.1016/0166-8641(82)90065-7)...
I think it would be good to have as an example space the one mentioned in the answer to https://math.stackexchange.com/questions/3088994/examples-of-connected-door-spaces. It's case (3) of Theorem 1 in https://arxiv.org/abs/1809.03085 and provides...
As we have remarked multiple times in the past, it would be a nice long-term goal if pi-base understood meta-properties of properties (like hereditary, hereditary for closed sets, preserved by...
@GeoffreySangston I re-read the proof of Lemma 5.9.6 in the Stacks project (https://stacks.math.columbia.edu/tag/0050) that shows that (locally) Noetherian spaces are locally compact (T651). Our definition of locally connected (P41) is...
## Property Suggestion A space is said to be **Brown** if for any two open sets $U$ and $V$, $\overline U\cap\overline V\ne\emptyset$. Arguably, this is not the most important property...
What should the guidelines be when cleaning up traits for a space? On the one hand, it is logically pleasing to have a minimal set of asserted traits. It also...